在优化期间对有符号和无符号整数进行别名

Question

signed& 不能从 unsigned& 初始化（反之亦然），但严格的别名规则允许通过 unsigned& 读取/写入 signed 对象（反之亦然），请参阅 C++20 标准 @ 987654321@。如果不违反as-if rule，这理论上可以用于编译器优化。

示例 1。如果我是正确的，f 可以通过跳转到foo 来实现：

void foo(const unsigned&);

void f(const signed& par)
{
    foo(par);
}

但是所有编译器都将par 加载到寄存器中，将寄存器存储在堆栈中，并将堆栈位置传递给foo。 Live demo。

示例 2。同样，我认为g1 和g2 可以指向相同的内存位置：

const signed&   g1 = 1;
const unsigned& g2 = g1;

但是编译器倾向于分配两个不同的位置。 Live demo。

问题。这是为什么？这不是错过了优化的机会吗？

Answer 1

const signed&   g1 = 1;
const unsigned& g2 = g1;

但是编译器倾向于分配两个不同的位置。

在这里，发生的事情是g1 被转换为临时unsigned int 并且g2 绑定到这个临时。而C++保证不同的对象有不同的地址，因此g1和g2需要不同的存储。

与您的函数示例相同。从技术上讲，这些函数可以依赖于它们的参数地址不相同的事实。