c++ - 具有未初始化成员的结构的 constexpr 默认构造函数仅在模板化时有效

Question

似乎我可以显式默认一个带有未初始化成员的 constexpr 默认构造函数当且仅当该结构是一个模板。即使实例化模板结构也是如此。

这是正确的吗？

示例:

struct SFoo
  {
    constexpr SFoo() =default; // disallowed
    int x;
  };

template <typename tTYPE>
struct SBar
  {
    constexpr SBar() =default; // accepted
    int x;
  };

int main(int argc, char const* const argv[])
  {
    SBar<int> bar; // also accepted
    constexpr SBar<int> bar2; // disallowed (correctly)

    return 0;
  }

LLVM 输出:

3:3: error: defaulted definition of default constructor is not constexpr
constexpr SFoo() =default;

LLVM 和 GCC 都拒绝 SFoo 并接受 SBar

Answer 1

if and only if

让我给你数学家的答案。不。尝试将 IIF 应用于 1300 页的文档是一个 NP 难题。

Is this correct?

不管怎样你的程序都是无效的。

[dcl.init/7] If a program calls for the default initialization of an object of a const-qualified type T, T shall be a class type with a user-provided default constructor.

是否是模板无关紧要。