运行时类型识别由两个运算符实现:
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
{
//
}