将左值到右值转换应用于变量 `x` 不会在下面的代码中产生常量表达式为什么？

问题描述

以下代码段由 Hubert Tong 从 DR 2083 获得。

extern int globx;
int main() {
    const int &x = globx;
    struct A {
        const int *foo() { return &x; }
    } a;
    return *a.foo();
}

然后作者写道：

x 满足出现在常量表达式中的要求， 但是将左值到右值的转换应用到 x 不会产生 常量表达式。

为什么将左值到右值转换应用于 x 不会产生常量表达式？

解决方法

将左值到右值转换应用于 x 读取可变全局变量 globx 的值，这使得它不是常量表达式，因为 globx 的值受制于更改（并且，即使它是 const，也会存在编译时不知道其值的问题）。当然，这并不奇怪：没有人会期望 int{x} 是一个常量表达式。 DR 指出，尽管如此，这个事实应该不会导致 x 的 odr 使用，因此代码应该是格式良好的：由于 x 具有常量初始化，编译器可以只翻译 {{ 1}} 到 &x。