c++ - S 不是文字类型吗？

Question

此代码无法在 Coliru 中编译，尽管它似乎符合 iso §5.19 p2 第 9 个要点和 iso §3.9 p10，即 S 是文字类型，因此 S a(1);应该被认为是一个常量表达式。特别是，iso §3.9 p10 bullet point 3 没有提及任何关于非初始化成员的内容。

#include <iostream>

struct S
{
    int i;
    float x;

    constexpr S(int j) : i{j} {}
};    

int main()
{
    constexpr S a(1);
}

Answer 1

这是在 7.1.5/4 中标准化的([dcl.constexpr]，“constexpr 说明符”):

The definition of a constexpr constructor shall satisfy the following constraints:

• [...]

• every non-static data member and base class sub-object shall be initialized

• [...]