C++ 运行时类型识别


运行时类型识别由两个运算符实现:

typeid运算符,用于返回表达式的类型

dynamic_cast 运算符,用于将基类的指针或引用安全的转换成派生类的指针或引用

这两个运算符用于某种类型的指针或引用时,如果该类含有虚函数,运算符将使用指针或者引用的动态类型。


dynamic_cast运算符:

dynamic_cast<type*>(e);  // e是一个有效指针

dynamic_cast<type&>(e);  // e必须是一个左值

dynamic_cast<type&&>(e);  // e不能是左值

  type必须是一个类类型,通常情况下该类应该含有虚函数。e的类型必须是type的共有派生类或type的共有基类或e的类型就是目标type的类型。如果一条dynamic_cast语句的转换目标类型是指针类型并且失败了,则结果为0,若是引用类型,失败则抛出bad_cast异常。对一个空指针执行dynamic_cast结果是所需类型的空指针。


typeid运算符:

typeid(e); e是一个常量对象的引用,该对象的类型是type_info或type_info的共有派生类型

当运算对象不属于类类型或者是一个不包含任何虚函数的类时,typeid运算符指示的是对象的静态类型,当运算对象至少定义了一个虚函数类的左值时,typeid的结果直到运行时才会求得。


RTTI为具有继承关系的类实现相等运算符:

class Base {
friend bool operator==(const Base&, const Base &);
public:
protected:
virtual bool equal(const Base&) const;
};


class  Derived: public Base
{
public:
protected:
bool equal(const Base&) const;
private:


};


bool operator==(const Base &lhs, const Base &rhs)
{
return (typeid(lhs) == typeid(rhs)) && lhs.equal(rhs);

}


bool Derived::equal(const Base &rhs) const
{
auto r = dynamic_cast<Derived&>(rhs);
// 。。。

}


bool Base::equal(const Base &rhs) const
{
    //。。。
}






注意!

本站转载的文章为个人学习借鉴使用,本站对版权不负任何法律责任。如果侵犯了您的隐私权益,请联系我们删除。



 
  © 2014-2022 ITdaan.com 联系我们: