C++RTTI小總結
RTTI算是C++的一大特性之一了，但也是一個不太好懂的特性。以前一直沒有理解清楚RTTI。通過最近的學習，似乎掌握了一點皮毛，這裡做一個小總結。首先是《C++編程思想》上的一個例子，由於缺頭文件，我把容器改成了vector。
#include
#include
#include
#include
#include //for srand() and rand()
using namespace std;
class shape {
protected:
static int count;
public:
shape() { count++; }
virtual ~shape() { count--; }
virtual void draw() const = 0;
static int quantity() {return count;}
};
int shape::count = 0;
class rectangle:public shape {
void operator=(rectangle&);
protected:
static int count;
public:
rectangle() {count++;}
~rectangle() {count--;}
rectangle(const rectangle&) {count++;}
void draw() const {
cout << "rectangle::draw()"< shapes;
time_t t;
srand((unsigned)time(&t));
const int mod = 12;
for(int i = 0;idraw();
if(dynamic_cast(shapes[u]))
Ncircles++;
if(dynamic_cast(shapes[u]))
Nellipses++;
if(dynamic_cast(shapes[u]))
Nrects++;
if(dynamic_cast(shapes[u]))
Nshapes++;
}
cout << endl <class B {
public:
virtual float f() {return 1.0;}
};
class D : public B {
};
B* p = new D;
B& r = *p;
typeid()看到的指針類型是基類而不是派生類，這證明了第一條結論，此時的p是一個B型的指針類型，typeid()不會去管指針實際指向的目標。typeid()它看到的引用類型則是派生類，*p是使用p進行了一次指針運算操作，然後r就綁定到了一個D型的實例，也就是說引用的關注點在對象上。
typeid(p) == typeid(B*)
typeid(p) != typeid(D*)
typeid(r) == typeid(D)
與此相反，指針指向的類型在typeid()看來是派生類而不是基類，而用一個引用的地址時產生的是基類而不是派生類。這是因為*p依然是一次指針運算操作，它指向了一個對象，而對引用取地址得到的是一個指針類型，相當於對類型實例做了一次取地址運算。
typeid(*p) == typeid(D)
typeid(*p) != typeid(B)
typeid(&r) == typeid(B*)
typeid(&r) != typeid(D*)
（3）、RTTI一般用於多態類型；
多態類型指的是基類中沒有虛函數的類型。典型的RTTI是通過在 VTABLE中放一個額外的指針來實現的。這個指針指向一個描述該特定類型的 typeinfo結構（每個新類只產生一個typeinfo的實例），所以typeid()表達式的作用實際上很簡單。VPTR用來取typeinfo的指針，然後產生一個結果typeinfo結構的一個引用。dynamic_cast()的過程稍微復雜點，但也需要利用VTABLE中的信息來進行類型轉換。
我不知道怎麼去訪問到VTABLE的typeinfo信息，倒是在找到了一個訪問VTABLE中函數信息的例子。這個例子告訴我們VTABLE不止在書上，感興趣的可以運行一下，或者改改，有可能能找到typeinfo喲！
#include
using namespace std;
class Base
{
private:
int a;
public:
virtual void fun1()
{
cout<<"Base::fun1()"<
