Comprueba si el argumento de la plantilla se hereda de la clase

Question

Quiero verificar si el tipo dado a una plantilla se hereda de una clase base en mi proyecto.

que debería funcionar como cabría esperar desde el siguiente ejemplo:

template< class T : public CBaseClass > 

• ¿Es posible hacer esto con las plantillas, si no es así, de qué otra manera puedo hacerlo?

Answer 1

Puede utilizar boost::is_base_and_derived de Boost, combinado con BOOST_STATIC_ASSERT. Si está utilizando un compilador con soporte TR1 o C++ 0x, existen equivalentes de esos constructos en la biblioteca estándar (std::is_base_of, y la declaración static_assert en C++ 0x).

Answer 2

Supongo que esto es casi un problema no. 3 de this GotW item.

Answer 3

Following un example from Stroustrup:

template<class Test, class Base> 
struct AssertSameOrDerivedFrom { 
    AssertSameOrDerivedFrom() { &constraints; } 
public: 
    static void constraints() { 
    Test *pd = 0; 
    Base *pb = pd; 
    } 
}; 

template<class T> 
struct YourClass { 
    YourClass() { 
    AssertSameOrDerivedFrom<T, CBaseClass>(); 
    } 
}; 

En C++ 0x, esto se convierte en:

template<class T> 
struct YourClass { 
    static_assert(std::is_base_of<CBaseClass, T>::value); 
}; 

Answer 4

Si quiere hacer valer, hacerlo a la manera de Nurk. Si desea verificar, use is_base_of de boost o C++ 0x. Si no puede utilizar cualquiera de ellos, utilizar SFINAE:

template < typename Base, typename PotentialDerived > 
struct is_base 
{ 
    typedef char (&no) [1]; 
    typedef char (&yes) [2]; 

    static yes check(Base*); 
    static no check(...); 

    enum { value = sizeof(check(static_cast<PotentialDerived*>(0))) == sizeof(yes) }; 
};