Determinación del tipo de expresión

Question

A veces necesito aprender el tipo de expresión mientras programo en C o C++. A veces hay un buen IDE o documentación existente para ayudarme, pero a veces no. A menudo me siento una construcción de este tipo podría ser útil:

void (*myFunc)(int); 
printf("%s", nameoftype(myFunc)); //"void (*)(int)" 
int i, unsigned int u; 
printf("%s", nameoftype(i+u)); //"unsigned int" 

Esto es especialmente cierto para C++; pensar en los descriptores de los objetos const: ¿devuelven una referencia constante o una copia? Piense en moldes dinámicos y clases con plantillas.

¿Cómo puedo hacer esto? (es decir, aprender el tipo de una expresión)

Uso GCC pero, hasta donde yo sé, no tiene esa extensión. Así que supongo que tengo curiosidad sobre cómo las personas resuelven este problema. (Tanto las soluciones en tiempo de compilación como en tiempo de ejecución son bienvenidas.)

Answer 1

¿Qué estás buscando? ¿Inferencia de tipo automática o buscando el tipo para que pueda declarar una variable correctamente de forma manual? (sus propias respuestas parecen que quiere tener la segunda). En este caso, considere el uso de Geordi:

<litb> make type pointer to function taking pointer to array of 10 int returning void 
<geordi> void (*)(int (*)[10]) 

<litb> geordi: { int a = -1; unsigned int b = 0; cout << ETYPE(a + b), ETYPE_DESC(a + b), (a + b); } 
<geordi> rvalue unsigned int, rvalue unsigned integer, 4294967295 

<litb> geordi: << TYPE_DESC(void (*)(int (*)[10])) 
<geordi> pointer to a function taking a pointer to an array of 10 integers and returning nothing 

tipo automático de la inferencia no es actualmente posible sin bibliotecas cooperadoras como boost.typeof, que utilizará como extensiones del compilador __typeof__ para GCC. Siguiente C++ obtendrá auto (con semántica diferente a la actual auto) y podrá hacerlo, junto con decltype para obtener el tipo de una expresión.

Si se puede vivir con salir del contexto local, siempre se puede crear una plantilla de función como esta:

template<typename T> void f(T t) { /* ... */ } 
int main() { int a = -1; unsigned int b = 0; f(a + b); } 

Answer 2

C++ tiene un operador typeid;

typeid(expression).name() 

devolvería un nombre definido por la implementación del tipo de la expresión. Por desgracia, por lo general no es legible por humanos.

Answer 3

veces simplemente hacer:

int ***a = expression; 

y buscar la "< tipo de expresión > no se pueden asignar a puntero a int^3" de error. Esta parece ser la solución más portátil.

Answer 4

Pruebe Boost.Typeof para ver si se ajusta.

Answer 5

gcc tiene typeof() en tiempo de compilación. Funciona como sizeof().

http://gcc.gnu.org/onlinedocs/gcc/Typeof.html tiene más información.