这是一个错误吗？Constexpr 构造函数静默地变为非 constexpr

Question

看看这段代码：

struct NonConstexpr {
    NonConstexpr() { }
};

template <typename T>
struct Bar {
    NonConstexpr nonConstexpr;

    constexpr Bar() { }
};

struct Foo {
    Bar<void> bar;

    constexpr Foo() { }
};

< code>Foo有一个成员< code > Foo::bar::nonConstexpr ，它有一个非Constexpr构造函数。所以，我的期望是，这不应该编译。但是它用gcc，clang和msvc编译。这是编译器的bug，还是某个规则允许这段代码编译？

如果我直接将 Nonconsexpr 成员添加到 Foo 中，代码将不再编译。

（我遇到了这个问题，因为我期望对全局Foo对象进行静态初始化，但它得到了动态初始化，并且由于“静态初始化顺序惨败”而引起了问题）

Answer 1

这是一个编译器错误，还是某些规则允许编译此代码？

允许编译的规则是：

10.1.5 constexpr指定符[dcl.constexpr]
…
6.如果constexpr函数模板或类模板的成员函数的实例化模板专用化无法满足constexprfunction或constexpr构造函数的要求，这种特殊化仍然是一个constexpr函数或constexpr构造函数，即使对这种函数的调用不能出现在常量表达式中。如果将模板作为非模板函数或构造函数时，模板的任何专门化都不能满足constexpr函数或constexpr构造函数的要求，则模板格式不正确，不需要诊断。

以上引用摘自CPP标准草案N4713。

从引用中可能不清楚Bar