C++ 参考手册
- C++11
 - C++14
 - C++17
 - C++20
 - C++ 编译器支持情况表
 - 独立与宿主实现
 - C++ 语言
 - 变量模板(C++14 起)
 - 整数字面量
 - 聚合初始化
 - 比较运算符
 - 默认比较(C++20 起)
 - 转义序列
 - for 循环
 - while 循环
 - 用户定义转换
 - SFINAE
 - 主函数
 - ASCII 码表
 - 标识符
 - 类型
 - 内存模型
 - 对象
 - 基本概念
 - 表达式
 - 声明
 - 初始化
 - 函数
 - 语句
 - 类
 - 运算符重载
 - 模板
 - 异常
 - 事务性内存
 - 占位符类型说明符 (C++11 起)
 - decltype 说明符
 - 函数声明
 - final 说明符 (C++11 起)
 - override 说明符(C++11 起)
 - 引用声明
 - 移动构造函数
 - 移动赋值运算符
 - 枚举声明
 - constexpr 说明符(C++11 起)
 - 列表初始化 (C++11 起)
 - 构造函数与成员初始化器列表
 - using 声明
 - nullptr,指针字面量
 - 基础类型
 - 类型别名,别名模版 (C++11 起)
 - 形参包
 - 联合体声明
 - 字符串字面量
 - 用户定义字面量 (C++11 起)
 - 属性说明符序列(C++11 起)
 - Lambda 表达式 (C++11 起)
 - noexcept 说明符 (C++11 起)
 - noexcept 运算符 (C++11 起)
 - alignof 运算符(C++11 起)
 - alignas 说明符 (C++11 起)
 - 存储类说明符
 - 基于范围的 for 循环 (C++11 起)
 - static_assert 声明
 - 隐式转换
 - 代用运算符表示
 - 自增/自减运算符
 - 折叠表达式(C++17 起)
 - 类模板实参推导(C++17 起)
 - 模板形参与模板实参
 - if 语句
 - inline 说明符
 - 结构化绑定声明 (C++17 起)
 - switch 语句
 - 字符字面量
 - 命名空间
 - 求值顺序
 - 复制消除
 - consteval 说明符 (C++20 起)
 - constinit 说明符 (C++20 起)
 - 协程 (C++20)
 - 模块 (C++20 起)
 - 约束与概念 (C++20 起)
 - new 表达式
 - do-while 循环
 - continue 语句
 - break 语句
 - goto 语句
 - return 语句
 - 动态异常说明
 - throw 表达式
 - try 块
 - 命名空间别名
 - 类声明
 - cv(const 与 volatile)类型限定符
 - 默认初始化
 - 值初始化(C++03 起)
 - 零初始化
 - 复制初始化
 - 直接初始化
 - 常量初始化
 - 引用初始化
 - 值类别
 - C++ 运算符优先级
 - 布尔字面量
 - 浮点字面量
 - typedef 说明符
 - 显式类型转换
 - static_cast 转换
 - dynamic_cast 转换
 - const_cast 转换
 - reinterpret_cast 转换
 - delete 表达式
 - 构造函数与成员初始化器列表
 - this 指针
 - 访问说明符
 - 友元声明
 - virtual 函数说明符
 - explicit 说明符
 - 静态成员
 - 默认构造函数
 - 复制构造函数
 - 复制赋值运算符
 - 析构函数
 - 类模板
 - 函数模板
 - 显式(全)模板特化
 - 汇编声明
 - C++ 的历史
 - 作用域
 - 生存期
 - 定义与单一定义规则(ODR)
 - 名字查找
 - 有限定的名字查找
 - 无限定的名字查找
 - 如同规则
 - 未定义行为
 - 翻译阶段
 - 常量表达式
 - 赋值运算符
 - 算术运算符
 - 逻辑运算符
 - 成员访问运算符
 - 其他运算符
 - sizeof 运算符
 - typeid 运算符
 - 指针声明
 - 数组声明
 - 语言链接
 - 详述类型说明符
 - 默认实参
 - 变长实参
 - 实参依赖查找
 - 重载决议
 - 重载函数的地址
 - 注入类名
 - 非静态数据成员
 - 非静态成员函数
 - 嵌套类
 - 派生类
 - 空基类优化
 - 抽象类
 - 位域
 - 转换构造函数
 - 成员模板
 - 模板实参推导
 - 部分模板特化
 - sizeof... 运算符
 - 待决名
 - 函数 try 块
 - 扩充命名空间 std
 - 字母缩写
 - RAII
 - 三/五/零之法则
 - PImpl
 - 零开销原则
 - 类型
 - 隐式转换
 - 注释
 - C++ 关键词
 - 预处理器
 - C++ 标准库头文件
 - 具名要求
 - 功能特性测试 (C++20)
 - 工具库
 - 类型支持(基本类型、RTTI、类型特性)
 - 概念库 (C++20)
 - 错误处理
 - 动态内存管理
 - 日期和时间工具
 - 字符串库
 - 容器库
 - 迭代器库
 - 范围库 (C++20)
 - 算法库
 - 数值库
 - 输入/输出库
 - 文件系统库
 - 本地化库
 - 正则表达式库
 - 原子操作库
 - 线程支持库
 - 实验性 C++ 特性
 - 有用的资源
 - 索引
 - std 符号索引
 - 协程支持 (C++20)
 - C++ 关键词
 
dynamic_cast 转换
沿继承层级向上、向下及侧向,安全地转换到其他类的指针和引用。
语法
 dynamic_cast < 新类型 > ( 表达式 )
 | 
|||||||||
| 新类型 | - | 指向完整类类型的指针、到完整类类型的引用,或指向(可选的 cv 限定)void 的指针 | 
| 表达式 | - | 若 新类型 为引用,则为完整类类型的左值 (C++11 前)泛左值 (C++11 起)表达式,若 新类型 为指针,则为指向完整类类型的指针纯右值。 | 
若转型成功,则 dynamic_cast 返回 新类型 类型的值。若转型失败且 新类型 是指针类型,则它返回该类型的空指针。若转型失败且 新类型 是引用类型,则它抛出与类型 std::bad_cast 的处理块匹配的异常。
解释
唯有下列转换能用 dynamic_cast 进行,但若这种转换会转换走常量性或易变性则亦不允许。
1) 若 表达式 的类型恰是 新类型 或 新类型 的较少 cv 限定版本,则结果是 表达式 具有 新类型 类型的值。(换言之,dynamic_cast 可用以添加常量性。隐式转换和 static_cast 亦能进行此转换。)
2) 若 表达式 的值是空指针值,则结果是 新类型 类型的空指针值。
3) 若 新类型 是到 
Base 的指针或引用,且 表达式 的类型是到 Derived 的指针或引用,其中 Base 是 Derived 的唯一可访问基类,则结果是到 表达式 所标识的对象中 Base 类子对象的指针或引用。(注意:隐式转换和 static_cast 亦能进行此转换。)a) 检验 表达式 所指向/标识的最终派生对象。若在该对象中 表达式 指向/指代 
Derived 的公开基类,且只有一个 Derived 类型对象从 表达式 所指向/标识的子对象派生,则转型结果指向/指代该 Derived 对象。(此之谓“向下转型(downcast)”。)b) 否则,若 表达式 指向/指代最终派生对象的公开基类,而同时最终派生对象拥有 
Derived 类型的无歧义公开基类,则转型结果指向/指代该 Derived(此之谓“侧向转型(sidecast)”。)6) 当在构造函数或析构函数中(直接或间接)使用 dynamic_cast,且 表达式 指代正在构造/销毁的对象时,该对象被认为是最终派生对象。若 新类型 不是到构造函数/析构函数自身的类或其基类之一的指针或引用,则行为未定义。
与其他转型表达式相似:
- 若 新类型 是左值引用类型(表达式 必为左值),则其结果为左值
 - 若 新类型 是右值引用类型(表达式 为完整类类型,可以是左值或右值 (C++17 前)必为泛左值(纯右值被实质化) (C++17 起)),则其结果为亡值
 - 若 新类型 是指针类型,则其结果为纯右值
 
注解
- 亦可用 static_cast 进行向下转型,它避免运行时检查的开销,但只有在程序(通过某些其他逻辑)能够保证 表达式 所指向的对象肯定是 
Derived时才是安全的。 - 某些形式的 dynamic_cast 依赖于运行时类型鉴别( RTTI ),即编译的程序中关于每个多态类的信息。编译器通常有选项禁用此信息。
 
关键词
示例
运行此代码
#include <iostream> struct V { virtual void f() {}; // 必须为多态以使用运行时检查的 dynamic_cast }; struct A : virtual V {}; struct B : virtual V { B(V* v, A* a) { // 构造中转型(见后述 D 的构造函数中的调用) dynamic_cast<B*>(v); // 良好定义:v 有类型 V*,B 的 V 基类,产生 B* dynamic_cast<B*>(a); // 未定义行为:a 有类型 A*,A 非 B 的基类 } }; struct D : A, B { D() : B((A*)this, this) { } }; struct Base { virtual ~Base() {} }; struct Derived: Base { virtual void name() {} }; int main() { D d; // 最终派生对象 A& a = d; // 向上转型,可以用 dynamic_cast,但不必须 D& new_d = dynamic_cast<D&>(a); // 向下转型 B& new_b = dynamic_cast<B&>(a); // 侧向转型 Base* b1 = new Base; if(Derived* d = dynamic_cast<Derived*>(b1)) { std::cout << "downcast from b1 to d successful\n"; d->name(); // 可以安全调用 } Base* b2 = new Derived; if(Derived* d = dynamic_cast<Derived*>(b2)) { std::cout << "downcast from b2 to d successful\n"; d->name(); // 可以安全调用 } delete b1; delete b2; }
输出:
downcast from b2 to d successful