Tim*_*imo 0 c++ language-lawyer
这是一个后续问题:当目标指针不是基类的类型时,为什么允许 dynamic_cast 为多态类产生空指针?.
C++17 标准dynamic_cast
在§8.2.7 [expr.dynamic.cast]下指定。
§8.2.7 (1) 状态
表达式
dynamic_cast<T>(v)
的结果是将表达式 v 转换为类型 T 的结果。 T 应是指向完整类类型的指针或引用,或“指向 cv void 的指针”。[...]
(2) 指定值类别,(3) 同一类型内的 cv 转换和 (4)nullptr
大小写。[expr.dynamic.cast] 的每个其他段落都与同一类型层次结构中的多态类型相关联。
dynamic_cast
除了在同一类型层次结构中的类型之间进行转换之外,我不知道任何用例。鉴于以下类型:
struct A
{
virtual ~A() = default;
};
struct B : A
{
virtual ~B() = default;
};
Run Code Online (Sandbox Code Playgroud)
A*
可以强制转换为B*
,这可能是最常见的用例dynamic_cast
:
A* ptr = new B;
dynamic_cast<B*>(ptr);
Run Code Online (Sandbox Code Playgroud)
我期望这将编译,因为B
和A
在同一类型层次(B
源自A
)。在定义良好的程序中,类型指针A*
可以指向类型对象B
。
现在让我们删除基类:
struct C
{
virtual ~C() = default;
};
struct D
{
virtual ~D() = default;
};
Run Code Online (Sandbox Code Playgroud)
令人惊讶的dynamic_cast
是,仍然允许:
C* ptr;
dynamic_cast<D*>(ptr);
Run Code Online (Sandbox Code Playgroud)
我看不出有任何理由为什么这样的演员不能格式错误(从而导致编译器错误)。据我所知,在定义良好的程序中,没有可能ptr
指向类型为 的对象的方法D
。
为什么允许这样的演员阵容?为什么标准不禁止这样做?
编译器不能拒绝从C*
toD*
的转换,因为dynamic_cast
不仅可以“向上”和“向下”转换类层次结构,还可以“横向”转换。例如,假设我们有
struct E : C, D { };
C* p = new E;
auto q = dynamic_cast<D*>(p);
Run Code Online (Sandbox Code Playgroud)
然后q
将指向包含指向的D
对象的完整E
对象的子C
对象p
。
这在[expr.dynamic.cast]/(8.2) 中指定。
当然,在某些情况下,足够聪明的编译器仍然可以警告您 adynamic_cast
肯定会失败(如果它知道指针来自哪里)。
归档时间: |
|
查看次数: |
69 次 |
最近记录: |