首页 > 代码库 > C 语言Struct 实现运行类型识别 RTTI

C 语言Struct 实现运行类型识别 RTTI

2024-08-18 14:25:43   222人阅读

通过RTTI，能够通过基类的指针或引用来检索其所指对象的实际类型。c++通过下面两个操作符提供RTTI。
（1）typeid：返回指针或引用所指对象的实际类型。   

（2）dynamic_cast：将基类类型的指针或引用安全的转换为派生类型的指针或引用。

对于带虚函数的类，在运行时执行RTTI操作符，返回动态类型信息；对于其他类型，在编译时执行RTTI，返回静态类型信息。

当具有基类的指针或引用，但需要执行派生类操作时，需要动态的强制类型转换（dynamic_cast）。这种机制的使用容易出错，最好以虚函数机制代替之。
 

dynamic_cast 操作符

如果dynamic_cast转换指针类型失败，则返回0；如果转换引用类型失败，则抛出一个bad_cast的异常。

可以对值为0的指针使用dynamic_cast，结果为0。
 
class People
{
public:
    People(){}
    People(int size):m_size(m_size){}
    virtual ~People(){}
private:
    int m_size;
};

class Son : public People
{
public:
    Son(int type):m_type(type){}
    virtual ~Son(){}
    int getType(){return this->m_type ; }
private:
    int m_type;

};


int main()
{

  People *p = new People(12);
  Son  *s = new Son(10); //
  People *p1 = new Son(34);


  s = dynamic_cast<Son*>(p1) ; 

  cout << typeid(*s).name() << endl; 
  cout << typeid(*p1).name() << endl;

    try{
        Son &tmp = dynamic_cast<Son &>(*p1);

        cout <<  tmp.getType() << endl;
    }catch(bad_cast)
    {
         // ???д???;
    }

　　

 
 
 

typeid操作符

typeid能够获取一个表达式的类型：typeid(e)。

如果操作数不是类类型或者是没有虚函数的类，则获取其静态类型；
如果操作数是定义了虚函数的类类型，则计算运行时类型。
         
 
 — 静态  

　　typeid最常见的用途是比较两个表达式的类型，或者将表达式的类型与特定类型相比较。 

　　包含  #include <typeinfo>　　

struct B {} b, c;
struct D : B {} d;

int main(){
    const std::type_info& tb = typeid(b); 
    const std::type_info& tc = typeid(c); 
    const std::type_info& td = typeid(d);
    assert(tb == tc);   // b和c具有相同的类型
    assert(&tb == &tc); // tb和tc引用的是相同的对象
    assert(tb != td);   // 虽然D是B的子类，但是b和d的类型却不同
    assert(&tb != &td); // tb和td引用的是不同的对象
}

 

二 运行时运行识别

　　typeid 实现运行时类型识别，必须时一个动态类(含有虚函数 virtual)

struct B { virtual void foo() {} };
struct C { virtual void bar() {} };
struct D : B, C {};
void test() {
    D d;
    B& rb = d;
    C& rc = d;
    assert(typeid(rb) == typeid(d));  // rb引用的类型与d相同
    assert(typeid(rb) == typeid(rc)); // rb引用的类型与rc引用的类型相同
}

　技术分享

技术分享

 

C 语言Struct 实现运行类型识别 RTTI


联系
我们