是否允许类范围内的常量表达式变量的初始值设定项引用该变量？

以下代码：

struct S {
    static constexpr int rolling_sum[4]{
        0,
        rolling_sum[0] + 1,
        rolling_sum[1] + 2,
        rolling_sum[2] + 3
    };
};

被clang接受(版本12测试)，但被GCC拒绝(版本11测试)，错误如下：

test.cpp:4:9: error: ‘rolling_sum’ was not declared in this scope
    4 |         rolling_sum[0] + 1,
      |         ^~~~~~~~~~~
test.cpp:5:9: error: ‘rolling_sum’ was not declared in this scope
    5 |         rolling_sum[1] + 2,
      |         ^~~~~~~~~~~
test.cpp:6:9: error: ‘rolling_sum’ was not declared in this scope
    6 |         rolling_sum[2] + 3
      |         ^~~~~~~~~~~

此代码是否有效的C++？

我的猜测是它应该是有效的，因为 [basic.scope.pdecl] p1 声明变量的声明点正好在其初始值设定项之前，这意味着变量应该在其初始值设定项的作用域内；但我不确定我是否忽略了可能与此相关的其他内容。

---

解决方案

您没有错过任何内容。这是GCC bug 99059，报道于GCC 11。

您的情况也适用，因为就像static inline一样，constexpr变量必须在声明时初始化。同样的查找相关错误也会影响C++14代码。