Restringir el parámetro de plantilla de C++ a la subclase

Question

¿Cómo puedo forzar que un parámetro de plantilla T sea una subclase de una clase específica Baseclass? Algo como esto:

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

} 

Answer 1

En este caso se puede hacer:

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

} 

Esto no va a compilar si T no es una subclase de la clase base (o T es BaseClass).

Answer 2

Llamando a funciones dentro de su plantilla que existen en la clase base.

Si intentas crear una instancia de tu plantilla con un tipo que no tiene acceso a esta función, recibirás un error en tiempo de compilación.

Answer 3

Usted podría utilizar 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

No es necesario conceptos, pero se puede usar 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 
} 

Tenga en cuenta que esto va a crear una instancia de la función sólo cuando la condición se cumple, pero no proporcionará un error sensible si la condición no se cumple.

Answer 5

para ejecutar código menos inútil en tiempo de ejecución se puede ver en: http://www.stroustrup.com/bs_faq2.html#constraints que proporciona algunas clases que realizan la prueba de tiempo de compilación de manera eficiente, y producir mensajes de error más agradables.

En particular:

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

Con un compilador compatible con C++ 11, se puede hacer algo como esto:

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... 
     ... 
    } 
} 

He probado esto a cabo usando el compilador gcc 4.8.1 dentro de un entorno CYGWIN, por lo que también debería funcionar en entornos * nix.