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

 

  • 0
    点赞
  • 0
    收藏
  • 打赏
    打赏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
©️2022 CSDN 皮肤主题:编程工作室 设计师:CSDN官方博客 返回首页
评论

打赏作者

conetwo

你的鼓励将是我创作的最大动力

¥2 ¥4 ¥6 ¥10 ¥20
输入1-500的整数
余额支付 (余额:-- )
扫码支付
扫码支付:¥2
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值