Boost type_traits is_array

Question

He estado tratando de leer los encabezados de los rasgos de los tipos de Boost, y ahora me siento bastante enfermo dada la intensa falta de lectura proporcionada por innumerables #define. Y luego un poco más #definir.

Para ser específico, estoy interesado en averiguar sobre los siguientes 3 rasgos: si un tipo T es una matriz, una clase o una enumeración.

¿Alguien puede ayudar a sugerir alguna forma de descifrar el método detrás de la aparente locura? Al igual que la teoría detrás de cómo averiguar el rasgo de un tipo, cualquier material de lectura relevante etc.

Answer 1

is_array es bastante simple y directo:

template<class T> 
struct is_array{ 
    static const bool value = false; 
}; 

template<class T, std::size_t N> 
struct is_array< T (&)[N] >{ 
    static const bool value = true; 
}; 

Sólo una especialización parcial simple en una referencia-a tipo de matriz

is_class es un poco más complicado y se basa en la resolución de sobrecarga y en el hecho de que las clases y struct poseen constructores (o destructores). Como estoy actualmente en mi iPod Touch, realmente no puedo mostrar un ejemplo. Editaré una tan pronto como tenga acceso a una PC nuevamente.

is_enum depende de los intrínsecos del compilador Creo, así que no hay ningún ejemplo allí.

Nota: Todo aquí es de memoria, podría estar equivocado con la enumeración.