C++ 中RTTI的使用方法詳解
RTTI是運行階段類型識別(Runtime Type Identification)的簡稱。這是新添加到c++中的特性之一，很多老式實現不支持。另一些實現可能包含開關RTTI的編譯器設置。RTTI旨在為程序在運行階段確定對象類型提供一種標準方式。很多類庫已經成為其父類對象提供了實現這種方式的功能。但由于c++內部并不支持，因此各個廠商的機制通常互不兼容。創建一種RTTI語言標準將使得未來的庫能夠彼此兼容。
c++有3個支持RTTI的元素
如果可能的話，dynamic_cast 運算符將使用一個指向基類的指針來生成一個指向派生類的指針；否則，該運算符返回0――空指針
typied運算符返回一個指出對象的類型的值
type_info結構存儲了有關特定類型的信息
假設我們有下面的類層次結構:
class Grand{ //has virtual methods};class Super:public Grand {...}class Magnificent : public Superb{...}假設有下面的指針:
Grand *pg = new Grand ;Grand *ps = new Superd;Grand *pm = new Manificent;
1、dynamic_cast
我們來看一下dynamic_cast的語法，該語法用法如下,其中pg指向一個對象
Superb pm = dynamic_cast< Superb > (pg) ;
這樣 指針 pg 如果可以安全的轉換為Superb * 則返回對象地址，否則返回一個空指針。
示例:
// test1002.cpp : 定義控制臺應用程序的入口點。//#include "stdafx.h"#include <cstdlib>#include <ctime>#include<iostream>using std::cout;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"; } virtual void Say() const { cout << "I hold the superb value of " << Value() << "! /n"; }};class Magnificent : public Superb{private : char ch;public : Magnificent(int h = 0, char c = 'A') :Superb(h), ch(c) { } void Speak() const { cout << "I am a magnificent class !!!! /n"; } void Say() const { cout << "I hold the character " << ch << " and the integer " << Value() <<"! /n"; }};Grand * GetOne();int main(){ std::srand(static_cast<unsigned int>(std::time(0))); Grand * pg; Superb * ps; for (int i = 0; i < 5; i++) { pg = GetOne(); pg->Speak(); if (ps = dynamic_cast<Superb *>(pg)) { ps->Say(); } } system("pause"); return 0;}Grand * GetOne(){ Grand * p = new Grand(); switch (std::rand() % 3) { delete p; case 0:p = new Grand(std::rand() % 100); break; case 1:p = new Superb(std::rand() % 100); break; case 2:p = new Magnificent(std::rand() % 100, std::rand() % 26); break; } return p;}運行結果:I am a superb class !I hold the superb value of 3!I am a magnificent class !!!!I hold the character and the integer 5!I am a grand classI am a grand classI am a magnificent class !!!!I hold the character and the integer 87!請按任意鍵繼續. . .2、typied運算符合type_info 類
typied 運算符能夠確定兩個對象是否為同類型。他接收兩種參數：1、類名、2、結果為對象的表達式
typied運算符返回的是一個type_info對象的引用，type_info在頭文件typeinfo(以前是typeinfo.h)的文件中定義。type_info類重載了== 和！=運算符，以便可以使用這些運算符來對類型進行比較。
示例: typeid(Manificnent) == typeid(*pg) 這個表達式結果為 bool值
如果pg是一個空指針，程序將引發bad_typied異常。該異常類型是從exception類中派生而來的。是在typeinfo中聲明的。
type_info類的實現隨廠商而異，但包含一個name()成員，該函數返回一個隨實現而異的字符串:通常是類的名字。
示例
// test1002.cpp : 定義控制臺應用程序的入口點。//#include "stdafx.h"#include <cstdlib>#include <ctime>#include<iostream>#include <typeinfo>using std::cout;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"; } virtual void Say() const { cout << "I hold the superb value of " << Value() << "! /n"; }};class Magnificent : public Superb{private : char ch;public : Magnificent(int h = 0, char c = 'A') :Superb(h), ch(c) { } void Speak() const { cout << "I am a magnificent class !!!! /n"; } void Say() const { cout << "I hold the character " << ch << " and the integer " << Value() <<"! /n"; }};Grand * GetOne();int main(){ std::srand(static_cast<unsigned int>(std::time(0))); Grand * pg; Superb * ps; for (int i = 0; i < 5; i++) { pg = GetOne(); cout << "Now Process type " << typeid (*pg).name() << ". /n"; //顯示 pg->Speak(); if (ps = dynamic_cast<Superb *>(pg)) { ps->Say(); } } system("pause"); return 0;}Grand * GetOne(){ Grand * p = new Grand(); switch (std::rand() % 3) { delete p; case 0:p = new Grand(std::rand() % 100); break; case 1:p = new Superb(std::rand() % 100); break; case 2:p = new Magnificent(std::rand() % 100, std::rand() % 26); break; } return p;}運行結果:Now Process type class Superb.I am a superb class !I hold the superb value of 86!Now Process type class Grand.I am a grand classNow Process type class Superb.I am a superb class !I hold the superb value of 48!Now Process type class Grand.I am a grand classNow Process type class Magnificent.I am a magnificent class !!!!I hold the character and the integer 75!請按任意鍵繼續. . .上述代碼添加了一句 typied(*pg).name() 用于輸出類型信息，一般輸出為類名。
如有疑問請留言或者到本站社區交流討論，感謝閱讀，希望能幫助到大家，謝謝大家對本站的支持！
新聞熱點
疑難解答
圖片精選
