'typeid' versus 'typeof' en C++

Question

Me pregunto cuál es la diferencia entre typeid y typeof en C++. Esto es lo que sé:

• typeid se menciona en la documentación para type_info que se define en el archivo de cabecera C++ typeinfo.

• typeof se define en la extensión GCC para C y en la biblioteca C++ Boost.

Además, aquí es prueba de código de prueba que he creado, donde he descubierto que typeid no devuelve lo que esperaba. ¿Por qué?

main.cpp

#include <iostream> 
#include <typeinfo> //for 'typeid' to work 

class Person { 
    public: 
    // ... Person members ... 
    virtual ~Person() {} 
}; 

class Employee : public Person { 
    // ... Employee members ... 
}; 

int main() { 
    Person person; 
    Employee employee; 
    Person *ptr = &employee; 
    int t = 3; 

    std::cout << typeid(t).name() << std::endl; 
    std::cout << typeid(person).name() << std::endl; // Person (statically known at compile-time) 
    std::cout << typeid(employee).name() << std::endl; // Employee (statically known at compile-time) 
    std::cout << typeid(ptr).name() << std::endl;  // Person * (statically known at compile-time) 
    std::cout << typeid(*ptr).name() << std::endl;  // Employee (looked up dynamically at run-time 
                 // because it is the dereference of a pointer 
                 // to a polymorphic class) 
} 

salida:

bash-3.2$ g++ -Wall main.cpp -o main 
bash-3.2$ ./main 
i 
6Person 
8Employee 
P6Person 
8Employee 

Answer 1

lenguaje C++ no tiene tal cosa como typeof. Debe estar mirando alguna extensión específica del compilador. Si está hablando de typeof de GCC, una característica similar está presente en C++ 11 a través de la palabra clave decltype. Nuevamente, C++ no tiene dicha palabra clave typeof.

typeid es un operador de lenguaje C++ que devuelve información de identificación de tipo en tiempo de ejecución. Básicamente devuelve un objeto type_info, que es comparable a la igualdad con otros objetos type_info.

Note, que la propiedad única definida de la type_info objeto devuelto tiene es su ser igualdad- y no igualdad-comparable, es decir, type_info objetos que describen diferentes tipos deberá comparar no igual, mientras que type_info objetos que describe el mismo tipo tienen que compare igual. Todo lo demás está definido por la implementación. No se garantiza que los métodos que devuelven varios "nombres" devuelvan algo legible para los humanos, e incluso no se garantiza que devuelvan nada.

Tenga en cuenta también, que lo anterior implica probablemente (aunque no parece el estándar mencionar explícitamente) que las aplicaciones consecutivas de typeid al mismo tipo pueden devolver diferentes type_info objetos (que, por supuesto, todavía tiene que comparar la igualdad)

Answer 2

La principal diferencia entre los dos es la siguiente

• typeof es un constructo tiempo de compilación y vuelve el tipo como se define en tiempo de compilación
• typeid es una construcción en tiempo de ejecución y, por lo tanto, proporciona información sobre el tipo de tiempo de ejecución del valor.

typeof Refenence: http://www.delorie.com/gnu/docs/gcc/gcc_36.html

typeid Rfeerence: http://en.wikipedia.org/wiki/Typeid

Answer 3

typeid puede operar en tiempo de ejecución, y devolver un objeto que describe el tipo de tiempo de ejecución del objeto, que debe ser un puntero a un objeto de una clase con métodos virtuales para que RTTI (run-time type information) se almacene en la clase. También puede dar el tipo de tiempo de compilación de una expresión o un nombre de tipo, si no se le da un puntero a una clase con información de tipo de tiempo de ejecución.

typeof es una extensión de GNU y le proporciona el tipo de cualquier expresión en tiempo de compilación. Esto puede ser útil, por ejemplo, para declarar variables temporales en macros que pueden usarse en múltiples tipos. En C++, generalmente usaría templates.

Answer 4

Respondiendo a la pregunta adicional:

mi siguiente código de prueba para typeid hace no emitirá el nombre del tipo correcto. ¿Qué pasa?

No hay nada de malo. Lo que ves es la representación de cadena del nombre de tipo. El C++ estándar no obliga a los compiladores a emitir el nombre exacto de la clase, sino que depende del implementador (proveedor del compilador) decidir qué es lo adecuado. En resumen, los nombres dependen del compilador.

---

Estas son dos herramientas diferentes.typeof devuelve el tipo de una expresión, pero no es estándar. En C++ 0x hay algo llamado decltype que hace el mismo trabajo AFAIK.

decltype(0xdeedbeef) number = 0; // number is of type int! 
decltype(someArray[0]) element = someArray[0]; 

Mientras typeid se utiliza con los tipos polimórficos. Por ejemplo, supongamos que un cat deriva animal:

animal* a = new cat; // animal has to have at least one virtual function 
... 
if(typeid(*a) == typeid(cat)) 
{ 
    // the object is of type cat! but the pointer is base pointer. 
} 

Answer 5

Puede utilizar demangle Boost para lograr un buen nombre buscando:

#include <boost/units/detail/utility.hpp> 

y algo así como

To_main_msg_evt ev("Failed to initialize cards in " + boost::units::detail::demangle(typeid(*_IO_card.get()).name()) + ".\n", true, this); 

Answer 6

typeid proporciona el tipo de los datos en tiempo de ejecución, cuando se le preguntó por. Typedef es una construcción de tiempo de compilación que define un nuevo tipo como se indica después de eso. No hay ninguna typeof en C++ salida aparece como (mostrado como comentarios inscritas):

std::cout << typeid(t).name() << std::endl; // i 
std::cout << typeid(person).name() << std::endl; // 6Person 
std::cout << typeid(employee).name() << std::endl; // 8Employee 
std::cout << typeid(ptr).name() << std::endl;  // P6Person 
std::cout << typeid(*ptr).name() << std::endl;  //8Employee