dynamic_cast和typeid

1. C++有三个支持RTTI的元素。

• 如果可能的话，dynamic_cast运算符将使用一个指向基类的指针来生成一个指向派生类的指针，否则，该运算符返回0——空指针。
• typeid运算符返回一个对type_info对象的引用。
• type_info结构存储了有关特定类型的信息。

只能将RTTI用于包含虚函数的类层次结构，原因在于只有对于这种类层次结构，才应该将派生对象的地址赋给基类指针。

2. 通常，如果指向的对象（*pt）的类型为Type或者是从Type直接或间接派生而来的类型，则下面的表达式将指针pt转换为Type类型的指针：

dynamic_cast<Type *> (pt)

否则，结果为0，即空指针。

3. typeid运算符使得能够确定两个对象是否为同种类型。它与sizeof有些相像，可以接受两种参数：

• 类名
• 结果为对象的表达式

typeid运算符返回一个对type_info对象的引用，其中，type_info是在头文件typeinfo中定义的一个类。type_info类重载了==和!=运算符，以便可以使用这些运算符来对类型进行比较。如果pg指向的是一个Magnificent对象，则下述表达式的结果为true，否则为false:

   typeid(Magnificent) == typeid(*pg)

如果pg是一个空指针，程序将引发bad_typeid异常。该异常类型是从exception类派生而来的，是在头文件typeinfo中声明的。

   type_info类的实现随厂商而异，但包含一个name()成员，该函数返回一个随实现而异的字符串，通常是类的名称。例如，下面的语句显示指针pg指向的对象所属的类定义的字符串：

cout << “Now processing type ” << typeid(*pg).name() << “.\n”;

#include <iostream>
#include <cstdlib>
#include <ctime>
#include <typeinfo>

using namespace std;

class Grand
{
private:
	int hold;
public:
	Grand(int h = 0) : hold(h){}
	virtual void Speak() const { cout << "I am a grand class!\n"; }
	virtual int Value() const { return hold; }
};

class Superb : public Grand
{
public:
	Superb(int h = 0) :Grand(h){}
	void Speak() const{ cout << "I am a Superb class!!\n"; }//const可以删除
	virtual void Say() const
	{
		cout << "I hold the superb value of " << Value() << endl;
	}
};

class Magnificent : public Superb
{
private:
	char ch;
public:
	Magnificent(int h = 0, char cv = 'A') : Superb(h), ch(cv){}
	void Speak() const
	{
		cout << "I am a magnificent class!!!\n";
	}
	void Say() const
	{
		cout << "I hold the character " << ch << " and the integer " << Value() << "!" <<endl;
	}
};

Grand * Getone();

int main()
{
	srand(time(0));
	Grand *pg;
	Superb *ps;
	for (int i = 0; i < 5; i++)
	{
		pg = Getone();
		cout << "Now processing type " << typeid(*pg).name() << ".\n";
		pg->Speak();
		if (ps = dynamic_cast<Superb *>(pg))
			ps->Say();
		if (typeid(Magnificent) == typeid(*pg))
			cout << "You are really Magnificent.\n";
	}
	return 0;
}

Grand * Getone()
{
	Grand *p;
	switch (rand() % 3)
	{
	case 0:
		p = new Grand(rand() % 100);
		break;
	case 1:
		p = new Superb(rand() % 100);
		break;
	case 2:
		p = new Magnificent(rand() % 100, 'A' + rand() % 26);
		break;
	default:
		break;
	}

	return p;
}

　　运行得到结果如下：