typeid(第二篇)

typeid运算符使得我们可以在程序运行期间来确定一个对象的类型。预算符typeid的结果是一个const type_info&，即一个type_info的常量引用。该引用代表type-id或者expression的类型，这取决与我们使用typeid的哪一种形式。要获取更多信息请参考type_info类。当用一个多态类类型作为左值时，typeid就会在运行时执行类型检查。typeid通常用于对象的真正的类型无法通过所提供的静态信息确定的情况。例如：类的引用
一个指针，用*提领
下标指针（如【】）
如果expression指向一个基类类型，然而对象确实是一个派生自基类的对象那么typeid将返回一个派生类的type_info引用。但是expression必须指向一个多态类，否则返回的将是静态类信息。此外，指针必须被提领，以便使用它所指向的对象，没有提领指针，结果将是指针的type_info（这是一个静态信息），而不是它所指向的对象的type_info如 ：class Derived : public Base {};

using namespace std;
int main() {
   Derived* pd = new Derived;
   Base* pb = pd;
   cout << typeid( pb ).name() << endl;   //prints "class Base *"
   cout << typeid( *pb ).name() << endl;   //提领，prints "class Derived"
   cout << typeid( pd ).name() << endl;   //prints "class Derived *"
   cout << typeid( *pd ).name() << endl;   //提领 prints "class Derived"
   delete pd;
}

本文来自CSDN博客，转载请标明出处：http://blog.csdn.net/luogailong/archive/2008/11/18/3324163.aspx