typeid详解_type什么接口

typeid是C++的关键字之一，等同于sizeof这类的操作符。typeid操作符的返回结果是名为type_info的标准库类型的对象的引用（在头文件typeinfo中定义，稍后我们看一下vs和gcc库里面的源码），它的表达式有下图两种形式。
    
    
    如果表达式的类型是类类型且至少包含有一个虚函数，则typeid操作符返回表达式的动态类型，需要在运行时计算；否则，typeid操作符返回表达式的静态类型，在编译时就可以计算。

     gcc v4.4下typeinfo的源码如下：

        class type_info { public: virtual ~type_info(); const char* name() const { return __name; } #if !__GXX_TYPEINFO_EQUALITY_INLINE bool before(const type_info& __arg) const; bool operator==(const type_info& __arg) const; #else #if !__GXX_MERGED_TYPEINFO_NAMES #error "Inline implementation of type_info comparision requires merging of type_info objects" #endif bool before(const type_info& __arg) const { return __name < __arg.__name; } bool operator==(const type_info& __arg) const { return __name == __arg.__name; } #endif bool operator!=(const type_info& __arg) const { return !operator==(__arg); } virtual bool __is_pointer_p() const; virtual bool __is_function_p() const; virtual bool __do_catch(const type_info *__thr_type, void **__thr_obj, unsigned __outer) const; virtual bool __do_upcast(const __cxxabiv1::__class_type_info *__target, void **__obj_ptr) const; protected: const char *__name; explicit type_info(const char *__n): __name(__n) { } private: /// Assigning type_info is not supported. type_info& operator=(const type_info&); type_info(const type_info&); }; 

ISO C++标准并没有确切定义type_info，它的确切定义编译器相关的，但是标准却规定了其实现必需提供如下四种操作（在之后的章节中我会来分析type_info类文件的源码）：

    type_info类提供了public虚 析构函数，以使用户能够用其作为基类。它的默认构造函数和拷贝构造函数及赋值操作符都定义为private，所以不能定义或复制type_info类型的对象。程序中创建type_info对象的唯一方法是使用typeid操作符（由此可见，如果把typeid看作函数的话，其应该是type_info的 友元）。type_info的name成员函数返回C-style的字符串，用来表示相应的类型名，但务必注意这个返回的类型名与程序中使用的相应类型名并不一定一致（往往如此，见后面的程序），这具体由编译器的实现所决定的，标准只要求实现为每个类型返回唯一的字符串。type_info的==、！=和before() 等主要是对于name字符串的比对。

    下面通过代码来展示：

#include <iostream> #include <typeinfo> using namespace std; class base { public: // virtual void say() { cout << "Base" << endl;} }; class child : public base { public: // virtual void say() { cout << "child" << endl;} }; int main(int argc, char* argv[]) { base* p = NULL; child d; p = &d; base& d_d = d; cout << typeid(int).name() <<endl << typeid(unsigned int).name() << endl << typeid(double).name() << endl << typeid(string).name() << endl << typeid(base).name() << endl << typeid(p).name() << endl << typeid(child).name() << endl << typeid(d).name() << endl << typeid(d_d).name() << endl; }  

gcc下运行结果：

i

j

d

Ss

4base

P4base

5child

5child

4base