'typeid' versus 'typeof' en C ++

Me pregunto cuál es la diferencia entre typeidy typeofen C ++. Esto es lo que sé:

• typeidse menciona en la documentación de type_info que se define en el archivo de encabezado C ++ typeinfo .

• typeofse define en la extensión GCC para C y en la biblioteca Boost de C ++ .

Además, aquí está la prueba de código de prueba que he creado donde descubrí que typeidno 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

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

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

Tenga en cuenta que la única propiedad definida del type_infoobjeto devuelto es que es comparable a la igualdad y no a la igualdad, es decir, los type_infoobjetos que describen diferentes tipos deben comparar no iguales, mientras que los type_infoobjetos que describen el mismo tipo tienen que comparar iguales. Todo lo demás está definido por la implementación. No se garantiza que los métodos que devuelven varios "nombres" devuelvan nada legible para los humanos, e incluso no se garantiza que devuelvan nada en absoluto.

Tenga en cuenta también que lo anterior probablemente implica (aunque el estándar no parece mencionarlo explícitamente) que las aplicaciones consecutivas typeiddel mismo tipo podrían devolver diferentes type_infoobjetos (que, por supuesto, todavía tienen que comparar iguales).

La principal diferencia entre los dos es la siguiente

• typeof es una construcción en tiempo de compilación y devuelve el tipo definido 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.

Tipo de referencia: http://www.delorie.com/gnu/docs/gcc/gcc_36.html

Referencia typeid: https://en.wikipedia.org/wiki/Typeid

typeidpuede 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 (información de tipo de tiempo de ejecución) 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.

typeofes una extensión de GNU y le da 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 plantillas en su lugar.

Respondiendo la pregunta adicional:

mi siguiente código de prueba para typeid no muestra el nombre de tipo correcto. que pasa

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

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

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

Mientras que typeidse usa con tipos polimórficos. Por ejemplo, digamos que catderiva 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.
}

typeid proporciona el tipo de datos en tiempo de ejecución, cuando se solicita. Typedef es una construcción en tiempo de compilación que define un nuevo tipo como se indica después de eso. No hay typeof en C ++ La salida aparece como (se muestra como comentarios inscritos):

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

Puede usar Boost demangle para lograr un nombre bonito:

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

y algo como

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