Ogranicz parametr szablonu C++ do podklasy

Question

Jak wymusić, aby parametr szablonu T był podklasą określonej klasy Baseclass? coś takiego:

template <class T : Baseclass> void function(){ 
    T *object = new T(); 

} 

Answer 1

W tym przypadku można zrobić:

template <class T> void function(){ 
    Baseclass *object = new T(); 

} 

Nie będzie to skompilować jeśli T nie jest podklasą klasy bazowej (lub T jest klasy bazowej).

Answer 2

Wywołanie funkcji wewnątrz szablonu istniejących w klasie bazowej.

Jeśli spróbujesz utworzyć szablon z typem, który nie ma dostępu do tej funkcji, pojawi się błąd podczas kompilacji.

Answer 3

Można użyć Boost Concept Check „s BOOST_CONCEPT_REQUIRES:

#include <boost/concept_check.hpp> 
#include <boost/concept/requires.hpp> 

template <class T> 
BOOST_CONCEPT_REQUIRES(
    ((boost::Convertible<T, BaseClass>)), 
(void)) function() 
{ 
    //... 
} 

Answer 4

Nie trzeba koncepcje, ale można użyć SFINAE:

template <typename T> 
boost::enable_if< boost::is_base_of<Base,T>::value >::type function() { 
    // This function will only be considered by the compiler if 
    // T actualy derived from Base 
} 

Zauważ, że to będzie instancję funkcję tylko wtedy, gdy warunek jest spełniony, ale nie zapewni rozsądnego błędu, jeśli warunek nie zostanie spełniony.

Answer 5

Aby wykonać mniej niepotrzebnego kodu w czasie wykonywania można spojrzeć na: http://www.stroustrup.com/bs_faq2.html#constraints który zapewnia niektórych klas, które wykonują próbę czasu kompilacji wydajnie produkować ładniejsze i komunikaty o błędach.

W szczególności:

template<class T, class B> struct Derived_from { 
     static void constraints(T* p) { B* pb = p; } 
     Derived_from() { void(*p)(T*) = constraints; } 
}; 

template<class T> void function() { 
    Derived_from<T,Baseclass>(); 
} 

Answer 6

Z kompilatora zgodnego C++ 11, można zrobić coś takiego:

template<class Derived> class MyClass { 

    MyClass() { 
     // Compile-time sanity check 
     static_assert(std::is_base_of<BaseClass, Derived>::value, "Derived not derived from BaseClass"); 

     // Do other construction related stuff... 
     ... 
    } 
} 

Przetestowałem to z wykorzystaniem kompilatora gcc 4.8.1 w środowisku CYGWIN - więc powinno działać również w środowiskach * nix.