当前位置：首页 > news >正文

dynamic_cast的理解

news 2025/3/30 7:24:03

dynamic_cast：（具体使用就不详细说明了）

C++ 中用于安全的类层次结构转换的类型转换运算符，主要用于多态类型（即包含虚函数的类）的指针或引用之间的转换

前提条件：

必须要有虚函数才能使用 dynamic_cast。即使存在单纯的继承关系，如果基类没有虚函数，dynamic_cast 无法使用

原因：

1. 为什么必须要有虚函数？

dynamic_cast 依赖 运行时类型信息（RTTI），而 RTTI 是通过虚函数表（vtable）实现的。

虚函数表（vtable）：当一个类包含虚函数时，编译器会为该类生成虚函数表，并在对象中插入指向该表的指针（vptr）。
RTTI 的存储：虚函数表中会保存类的类型信息（如类型名称、继承关系等），供 dynamic_cast 在运行时查询。
没有虚函数 → 没有虚函数表 → 没有 RTTI → dynamic_cast 无法工作。

2. 示例验证

代码示例（基类无虚函数）

#include <iostream>class Base {};  // 基类没有虚函数
class Derived : public Base {};int main() {Base* base = new Derived();// 尝试使用 dynamic_cast（编译错误！）Derived* derived = dynamic_cast<Derived*>(base);  delete base;return 0;
}

编译错误信息

error: 'Base' is not polymorphicDerived* derived = dynamic_cast<Derived*>(base);^

3. 单纯继承无法使用 `dynamic_cast`

即使存在继承关系，只要基类没有虚函数：

dynamic_cast 无法编译通过，因为基类不是多态类型。
无法进行安全的运行时类型检查。

工作原理：

首先，dynamic_cast的核心在于运行时类型检查。这通常通过对象的虚函数表（vtable）中的RTTI指针来实现。每个多态类（即有虚函数的类）的虚函数表都包含一个指向type_info的指针，该指针提供了类的类型信息。当进行dynamic_cast时，编译器生成的代码会遍历继承树，检查目标类型是否是当前类型或其派生类(个人觉得是比较 hash_code（），而不是name())

class type_info
{
public:type_info(const type_info&) = delete;type_info& operator=(const type_info&) = delete;size_t hash_code() const noexcept{return __std_type_info_hash(&_Data);}bool operator==(const type_info& _Other) const noexcept{return __std_type_info_compare(&_Data, &_Other._Data) == 0;}#if !_HAS_CXX20bool operator!=(const type_info& _Other) const noexcept{return __std_type_info_compare(&_Data, &_Other._Data) != 0;}
#endif // !_HAS_CXX20bool before(const type_info& _Other) const noexcept{return __std_type_info_compare(&_Data, &_Other._Data) < 0;}const char* name() const noexcept{#ifdef _M_CEE_PUREreturn __std_type_info_name(&_Data, static_cast<__type_info_node*>(__type_info_root_node.ToPointer()));#elsereturn __std_type_info_name(&_Data, &__type_info_root_node);#endif}const char* raw_name() const noexcept{return _Data._DecoratedName;}virtual ~type_info() noexcept;private:mutable __std_type_info_data _Data;
};

性能开销来源:

虚表访问: 需通过虚表获取 type_info，可能引发缓存未命中。

// 伪代码：获取动态类型
const __class_type_info* __get_dynamic_type(const void* obj) {// 获取虚表指针（通常位于对象起始位置）const void** vtable = *reinterpret_cast<const void***>(obj);// 虚表中存储了 type_info 指针（通常位于固定位置，如 -1 偏移）const __class_type_info* type_info = vtable[-1];return type_info;
}

继承链遍历： 递归检查继承关系的复杂度为 O(继承深度)。

// 伪代码：检查继承关系
bool __do_find(const __class_type_info* target) const {if (this == target) {return true;  // 当前类型就是目标类型}// 遍历基类列表if (is_single_inheritance()) {return __base_type->__do_find(target);  // 单继承递归} else {for (each base in __base_info) {         // 多继承递归if (base.__base_type->__do_find(target)) {return true;}}}return false;
}

指针调整计算： 多重继承中可能需要复杂偏移计算。(在多重继承中，不同基类的子对象可能有不同的偏移量，需调整指针：)

// 伪代码：调整指针偏移
void* adjust_pointer(const void* src, const __class_type_info* src_type, const __class_type_info* target_type) {// 计算从源类型到目标类型的偏移量ptrdiff_t offset = calculate_offset(src_type, target_type);return reinterpret_cast<char*>(src) + offset;
}

判断两个类是否有继承关系：

方法	检查时机	适用范围	优点	缺点
`std::is_base_of`	编译时	任意类之间的继承关系	简单、标准	不能检查多态对象的具体类型
`typeid` 和 `dynamic_cast`	运行时	多态类型的具体对象	可以检查实际对象类型	依赖 RTTI，性能开销