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
{
    //。。。
}