執行しっこう期き型がた態たい訊息

在ざい程ほど式しき設計せっけい中ちゅう，所謂いわゆる的てき執行しっこう期き型がた態たい訊息（Runtime type information，RTTI）指ゆび的てき是ぜ在ざい程ほど式しき執行しっこう時どき保存ほぞん其物件ぶっけん的てき型かた態たい訊息的てき行為こうい。某ぼう些語言げん實み作さく僅保留ほりゅう有限ゆうげん的てき型がた態たい訊息，例れい如繼承けいしょう樹じゅ資し訊，而某些實み作さく會かい保留ほりゅう較多資し訊，例れい如物件ぶっけん的てき屬性ぞくせい及方法ほうほう訊息。

執行しっこう期き型がた態たい訊息是ぜ一いち個こ電腦でんのう術語じゅつご，用よう以標示ひょうじ一いち個こ電腦でんのう語ご言げん是ぜ否ひ有能ゆうのう力りょく在ざい執行しっこう期き保持ほじ或ある判別はんべつ其物件けん或ある變數へんすう的てき型がた態たい訊息。

C++

雖然執行しっこう期き型がた態たい訊息是ぜ一いち個こ通用つうよう的てき電腦でんのう術語じゅつご，但ただし是ぜ通どおり常用じょうよう來らい稱呼しょうこC++的てき特質とくしつ。為ため了りょう讓ゆずるC++的てき指令しれい達たち到いた動態どうたい指ゆび派は（dynamic_cast）、型かた態たい識別しきべつ碼（typeid）操作そうさ與あずか例外れいがい處理しょり的てき能力のうりょく，執行しっこう期き型がた態たい訊息是ぜ必須ひっす的てき。

C++语言提供ていきょう了りょうdynamic_cast和わtypeid两种运算符ふ，typeid用よう于在运行时识别类型がた信しん息いき，dynamic_cast具有ぐゆう运行时类型がた识别和わ类型转换匹ひき配はい2个功能のう。实现方法ほうほう为每个类型がた对应一いち个const type_info类型对象，存そん储了这个确切类型信しん息いき。在ざいC++标准头文件けん<typeinfo>中なか，type_info类重载了operator=()、operator!=()、name()等とう成なり员函数すう。

dynamic_cast的てき语法形がた如：

dynamic_cast<dest>(src);

dest和わsrc都と必须为指针或者しゃ引用いんよう。如果运行时src和わdest所しょ引用いんよう的てき对象，是ぜ相しょう同どう类型，或ある者もの存在そんざいis-a关系（public继承），则转换成功せいこう；否いや则转换失败。dynamic_cast只ただ能のう用よう来らい转换多た态类型がた（即そく定てい义了虚きょ函数かんすう）的てき对象的てき指ゆび针或引用いんよう。如果操作そうさ数すう是ぜ指ゆび针，成功せいこう则返回かい目め标类型がた的てき指ゆび针，失しつ败返回かいNULL。如果操作そうさ数すう是ぜ引用いんよう，成功せいこう则返回かい目め标类型がた的てき引用いんよう，失しつ败抛出でstd::bad_cast异常。

dynamic_cast的てき“运行时类型がた的てき转换匹ひき配はい”，是ぜ通どおり过维护一棵由type_info类型对象作さく为节点てん的てき类型继承关系的てき树，遍へん历这棵继承树来确定一个待转换的对象的类型和目标类型之间是否存在is-a关系。

下しも列れつ是ぜ一いちC++的てき執行しっこう期き型がた態たい訊息應用おうよう範はん例れい：

class base {
  virtual ~base(){}
};

class derived : public base {
  public:
    virtual ~derived(){}
    int compare (derived &ref);
};

int my_comparison_method_for_generic_sort (base &ref1, base &ref2)
{
  derived & d = dynamic_cast<derived &>(ref1); // rtti used here
  // rtti enables the process to throw a bad_cast exception
  // if the cast is not successful
  return d.compare (dynamic_cast<derived &>(ref2));
}

Visual C++

在ざい类的虚きょ表ひょう的てき前面ぜんめん存そん放ひRTTI数すう据すえ块的指ゆび针。因よし此，类必须有虚きょ函数かんすう，才さい会かい有ゆうRTTI。数かず据すえ结构如下：

struct TypeDescriptor
{
	DWORD ptrToVTable;
	DWORD spare;
	char name[8];
};
struct PMD
{
	int mdisp;  //member displacement
	int pdisp;  //vbtable displacement
	int vdisp;  //displacement inside vbtable
};
struct RTTIBaseClassDescriptor
{
	struct TypeDescriptor* pTypeDescriptor; //type descriptor of the class
	DWORD numContainedBases; //number of nested classes following in the Base Class Array
	struct PMD where;        //pointer-to-member displacement info
	DWORD attributes;        //flags, usually 0
};
struct RTTIClassHierarchyDescriptor
{
	DWORD signature;      //always zero?
	DWORD attributes;     //bit 0 set = multiple inheritance, bit 1 set = virtual inheritance
	DWORD numBaseClasses; //number of classes in pBaseClassArray
	struct RTTIBaseClassArray* pBaseClassArray;
};
struct RTTICompleteObjectLocator
{
	DWORD signature; //always zero ?
	DWORD offset;    //offset of this vtable in the complete class
	DWORD cdOffset;  //constructor displacement offset
	struct TypeDescriptor* pTypeDescriptor; //TypeDescriptor of the complete class
	struct RTTIClassHierarchyDescriptor* pClassDescriptor; //describes inheritance hierarchy
};

參まいり閱