使用局部变量的引用来初始化 constexpr 变量是否有效？

Question

以下代码只能在 GCC 上编译（在 godbolt.org 上检查了 10.4 和 13.2），但不能在 Clang 上编译（在我尝试过的所有版本上都失败，例如 godbolt.org 上的 17.0.1）：

struct A {
  static constexpr int b{1};
};

int main(int argc, char *argv[]) { 
    A a;
    A& aref{a};
    constexpr auto bb1{a.b};
    constexpr auto bb2{aref.b};
    return bb1+bb2; 
}

叮当输出：

struct A {
  static constexpr int b{1};
};

int main(int argc, char *argv[]) { 
    A a;
    A& aref{a};
    constexpr auto bb1{a.b};
    constexpr auto bb2{aref.b};
    return bb1+bb2; 
}

https://godbolt.org/z/nG4j3KefE

为什么？

Answer 1

bb1总是被允许的。

bb2自P2280起就允许使用， P2280也被 C++23 接受为早期修订版的缺陷报告。

最初有一个特定的规则，在常量表达式中禁止使用在常量表达式中不可用的引用变量（但仅限于引用变量！）（即用常量表达式初始化）或在常量表达式求值期间开始其生命周期。即使没有应用左值到右值转换并且没有其他任何东西依赖于特定的引用对象，这种情况也成立。这与非参考变量的使用不一致，缺陷报告修复了这个问题。你的例子说明了这种不一致。constexpr

从技术上讲，GCC 在缺陷报告之前并没有表现出一致，而 Clang 自报告以来也没有表现出一致，但可能只是还没有实现它。