c++ - 为什么我需要在 constexpr 类中对非静态数组成员进行成员初始化？

Question

下面的代码迫切需要 : values() 来编译，至少在 ideone::C++14 中是这样:

#include <iostream>

template<int N>
struct Table
{
    constexpr Table() : values()
    {
        for (auto i = 0; i < N; ++i)
        {
            values[i] = i * i * i;
        }
    }
    int values[N];
};

int main() {
    constexpr auto a = Table<1000>();
    for (auto x : a.values)
        std::cout << x << '\n';
}

但是为什么？我有过这样的想法:“值也可以以非 constexpr 方式初始化，而 values() 确实明确表示我们以符合 constexpr 的方式初始化它”。但是省略 : values() 是不是同样清楚？

Answer 1

考虑语义。

从初始化列表中省略成员将执行默认初始化，在这种情况下，这会使数组具有未指定的值。这否定了 constexpr 的目的。

初始化数组的值对每个数组元素执行零初始化(因为这是一个内置类型的数组)。