代码之家 › 专栏 › 技术社区 › geza

当编译器看不到可以实现转换的可能类型时,是否允许编译器优化可变指针的动态转换?

dynamic-cast volatile language-lawyer c++

geza · 技术社区 · 7 年前

看看这个小片段:

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

struct B { };

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

是否允许编译器删除 dynamic_cast 一起改变 nullptr;

这个问题的原因是 answer .

假设volatile意味着编译器不能假设 a ,因为它是不稳定的。这是一个 question 为什么?
动态播放 可能不允许删除的是程序中可能有一个类型,它从这两者派生 A 和 B .

2 回复 | 直到 7 年前

Yakk - Adam Nevraumont 7 年前

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

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

事实上:

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

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

上面的dynamic cast语句也可以优化为 return false; new 在没有整个程序优化的情况下不能忽略,因为有人可能会重载全局运算符new;一旦证明没有全局运算符new重载,它甚至可以优化调用 new A operator new ,也不会创建 A 也没有任何明显的副作用。

bolov 7 年前

dynamic_cast 按好像规则 ^(一) 当且仅当它能证明调用的唯一有效结果是 false . 很简单。

是 . 您可以证明iff在整个程序中没有继承这两个的类 A 和 B .

^(一) 动态播放

推荐文章

Paul J. Lucas · _C中任意大小的原子结构体赋值?

1 年前

ä½å½è¯ · 如果在命名空间中声明的枚举是在命名空间之外定义的,那么它的枚举值在外部可见吗?

1 年前

Oliver Schönrock · 将泛型函数指针强制转换为具有指向不同类型的void*params的特定签名是否定义良好

1 年前

Thomas Weller · 我在这里有什么样的UB,删除运算符new[]的数组?

1 年前

user17732522 · 使用显式默认构造函数从空大括号复制列表初始化

1 年前

nore · 为什么C标准禁止在源文件末尾使用部分预处理令牌?

1 年前

user17732522 · C中是否允许以命名返回值优化的形式进行复制省略?

1 年前

cppBeginner · 从lambda函数中获取constexpr变量是可以的,但当这样的语句位于新的lambda中时,编译失败(Visual C++)和编译失败(gcc)是可以的

1 年前

Gene · 是否允许使用受约束的别名模板?

1 年前

yg-i · C的“基本执行字符集”中的字符总数究竟是多少?

1 年前