Detectar si un tipo se puede derivar de en C++

Question

tengo la siguiente clase de plantilla y una variable (global) de su tipo:

template <typename ClassT> 
struct ClassTester : public ClassT { 
    typedef ClassT type; 
}; 

ClassTester<int> *aaa; // No error here 

me esperaba un error de compilación porque int no se puede derivar de, pero este compila bien en Visual C++ 2010.

Si quito el puntero, me sale el error esperado compilación (int no se puede derivar de):

ClassTester<int> bbb; // Error here 

I w anted a utilizar esta clase para las pruebas SFINAE si el tipo dado es una clase que se puede derivar de:

template <typename T> 
struct CanBeDerivedFrom { 

    template <typename C> 
    static int test(ClassTester<T> *) { } 

    template <typename> 
    static char test(...) { } 

    static const bool value = (sizeof(test<T>(0)) == sizeof(int)); 
}; 

Esto, sin embargo, siempre informa cierto, incluso para tipos primitivos como int debido a la razón anterior. ¿Es este un comportamiento esperado/válido de C++?

Answer 1

Creo que es no es posible en su totalidad para obtener un class que se puede derivar a través de SFINAE (que también incluye los casos de final class en C++ 11). Lo mejor que se puede hacer es tener un SFINAE para encontrar si un tipo es un class y confiar en eso.

template<typename T> 
struct void_ { typedef void type; }; 

template<typename T, typename = void> 
struct CanBeDerivedFrom { 
    static const bool value = false; 
}; 

template<typename T> 
struct CanBeDerivedFrom<T, typename void_<int T::*>::type> { 
    static const bool value = true; 
}; 

Este metaprograma encontrará si el tipo dado es class/union o no. demo.

Answer 2

Puede usar RTTI (Información de tipo de tiempo de ejecución) para saber a qué tipo pertenece la clase, y si la clase es de tipo básico puede decir que no se puede derivar la clase.

Ex: si (typeid (T) == typeid (int) || typeid (T) == typeid (float)) { cout < < "La clase no se puede derivar de"; }

Puede añadir más tipos si se quiere, con la condición IF

Answer 3

No reinventar la rueda. Use boost :: is_class boost reference manual

Esos tipos saben mejor que usted.

Answer 4

Iba a sugerir como visitante. No creo que declarar un puntero instanciará la plantilla, por lo que puede compilarse. Intente acceder a un miembro utilizando la plantilla mediante el puntero, lo que obligaría al compilador a crear una instancia de la plantilla. De lo contrario, no estoy muy seguro, pero sé que no puedes heredar un tipo entero.

Entonces, la respuesta que supongo sería que no es necesario, ya que el código probablemente no se compilará en caso de que intente crear una instancia de una clase de plantilla que hereda un tipo de entero. Puedo estar equivocado, pero creo que la única razón por la que se está compilando es porque la creación de un tipo de puntero no crea una instancia de la plantilla.

Answer 5

#include <typeinfo> 

main() 
{ 
int i; 
int * pi; 
cout << int is: << typeid(int).name() << endl; 
cout << i is: << typeid(i).name() << endl; 
cout << pi is: << typeid(pi).name() << endl; 
cout << *pi is: << typeid(*pi).name() << endl << endl; 

}

imprime:

 

int 
int 
int* 
int 

como se esperaba ..

alguien necesita ser independiente dotado de otra biblioteca ... así impulsar la biblioteca no es una buena respuesta ..

Answer 6

Lamentablemente, creo que esto es realmente imposible.

Muchos problemas pueden evitar la derivación (o al menos, la derivación útil), la adición de final al estándar es uno.

Por ejemplo, vea this thread en la lista de correo de Clang donde Howard Hinnant requiere un compilador intrínseco para comprobar si la clase está marcada como final o no.