c – 不正确的强制转换 – 是未定义行为的强制转换或使用

如果我从Base转换为Derived类型,但Base类型不是派生类型的实例,但只使用结果,是否会得到未定义的行为？

很难理解我在问什么？看看这个例子：

struct Animal { int GetType(){...} };
struct Dog : Animal { bool HasLoudBark(){...}};
struct Cat : Animal { bool HasEvilStare(){...} };

Animal * a = ...;
Dog* d = static_cast<Dog*>(a);

if(a->GetType() == DogType && d->HasLoudBark())
    ....

在这种情况下,可能是或不是狗.我们总是对狗* d进行静态播放但我们从不使用d,除非我们确定它是一只狗.

假设a不是狗,那么这个未定义的行为是否在演员阵容中？或者它被定义为我们实际上不使用d除非它真的是一只狗？

赞赏参考标准的相关部分.

(是的,我知道我可以使用dynamic_cast和RTTI,可能这不是很好的代码,但我对这是否有效更感兴趣)

解决方法:

演员本身有不确定的行为.引用C 17(n4659)[expr.static.cast] 8.2.10 / 11：

A prvalue of type “pointer to cv1 B”, where B is a class type, can be converted to a prvalue of type “pointer
to cv2 D”, where D is a class derived (Clause 13) from B, if cv2 is the same cv-qualification as, or greater
cv-qualification than, cv1. … If the prvalue of
type “pointer to cv1 B” points to a B that is actually a subobject of an object of type D, the resulting pointer
points to the enclosing object of type D. Otherwise, the behavior is undefined.

标签：c,language-lawyer,undefined-behavior,casting
来源： https://codeday.me/bug/20191004/1853101.html