C++动态与静态转换区别详解

---

媒介

在 C++ 中，dynamic_cast 和 static_cast 是两种差别的范例转换使用符，重要区别体如今范例查抄的机会、安全性和实用场景上。以下是它们的焦点区别：

---

一、 范例查抄的机会

• dynamic_cast：
  运行时查抄。它会验证转换的合法性（好比指针或引用是否指向目标范例的有用对象）。如果转换非法，对指针返回 nullptr，对引用抛出 std::bad_cast 非常。
  要求类必须有虚函数（即多态范例），否则无法使用。
  
• static_cast：
  编译时查抄。它信托开辟者对范例安全的包管，不实验运行时查抄。如果转换非法（好比无关类之间的转换），大概导致未界说举动（UB）。
  实用于编译时已知范例关系的场景。
  

二、安全性

• dynamic_cast：
  更安全，但须要运行时开销（RTTI）。
  重要用于多态范例的向下转型（downcast）或交织转型（crosscast）。
  
• static_cast：
  不安全，但性能更高（无运行时开销）。
  须要开辟者自行确保范例兼容性，否则大概导致错误。
  

三、实用场景

dynamic_cast 的范例用途

• 多态范例（有虚函数的类）的向下转型：
  

1. class Base { virtual void foo() {} };
2. class Derived : public Base {};
4. Base* ptr = new Derived;
5. Derived* derived_ptr = dynamic_cast<Derived*>(ptr); // 安全向下转型

复制代码

• 处置处罚继承条理中的交织转换（如多重继承中的兄弟类转换）。
  

static_cast 的范例用途

• 根本范例的显式转换（如 double → int）：
  

1. double d = 3.14;
2. int i = static_cast<int>(d);

复制代码

• 非多态范例的指针/引用转换（需确保范例兼容）：
  

1. Derived* d = new Derived;
2. Base* b = static_cast<Base*>(d); // 向上转型（安全，无需 dynamic_cast）

复制代码

• 显式反向转换（如 void* → int*）：
  

1. void* vptr = some_address;
2. int* iptr = static_cast<int*>(vptr);

复制代码

四、代码示例对比

向下转型（多态范例）

1. class Base { virtual void foo() {} }; // 必须有多态性（虚函数）
2. class Derived : public Base {};
4. Base* base_ptr = new Derived;
6. // 使用 dynamic_cast（安全，但需要虚函数）
7. Derived* derived_ptr1 = dynamic_cast<Derived*>(base_ptr); // 成功
9. // 使用 static_cast（不安全，但强制转换）
10. Derived* derived_ptr2 = static_cast<Derived*>(base_ptr); // 可能未定义行为（若实际类型不匹配）

复制代码

1. class Base { virtual void foo() {} };
2. class Derived : public Base {};
4. Base* ptr = new Derived;
5. Derived* derived_ptr = dynamic_cast<Derived*>(ptr); // 安全向下转型

复制代码

非多态范例转换

1. class A {};
2. class B : public A {};
4. A* a_ptr = new B;
5. B* b_ptr = static_cast<B*>(a_ptr);   // 编译通过，但无运行时检查
6. // B* b_ptr = dynamic_cast<B*>(a_ptr); // 错误：A 不是多态类型（无虚函数）

复制代码

---

总结

特性dynamic_caststatic_cast范例查抄机会运行时编译时安全性高（失败返回 nullptr 或抛非常）低（依赖开辟者包管）性能有运行时开销（RTTI）无开销实用范例多态范例（需虚函数）恣意范例（包罗非多态）范例用途向下转型、交织转型根本范例转换、显式向上/向下转型优先选择 static_cast，除非须要处置处罚多态范例的不确定转换（此时用 dynamic_cast）。