当编译器没有看到可以实现强制转换的可能类型时，是否允许编译器优化volatile指针的dynamic_cast？

Question

struct A {
    virtual ~A() { }
};

struct B { };

bool fn() {
    A *volatile a = new A;
    return dynamic_cast<B *>(a); 
}

Answer 1

是的。dynamic_cast没有超出其返回值的可观察行为。

编译器知道a指向的静态类型。

因此，在as-if规则下，编译器可以在编译时自由地计算动态强制转换。

struct A { virtual ~A() {} };
struct B:A {};

bool foo() {
  A* a = new A;
  return dynamic_cast<B*>(a);
}