是否允许类范围内的常量表达式变量的初始值设定项引用该变量？ [英] Is the initializer of a constexpr variable at class scope allowed to reference the variable?

问题描述

以下代码：

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代码。

这篇关于是否允许类范围内的常量表达式变量的初始值设定项引用该变量？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！