为什么is_default_constructible <Class> ::值相同的类范围内的失败

Question

以下工作正常：

struct X { }; // OK 
static_assert(std::is_default_constructible<X>::value, "Error"); 

继断言失败编译：

struct X { static_assert(std::is_default_constructible<X>::value, "Error"); }; // Fails 

为什么在类中的static_assert失败？

---

端QN：是std::is_default_constructible应该失败与private构造函数的类的讨论：
std::is_default_constructible<T> error, if constructor is private

Answer 1

的documentation page说，对于std::is_default_constructible<T>：

牛逼应一个完整的类型，（可能是cv-qualified）void或一个未知边界数组。否则，行为是不确定的。

由于您是在您的班级内，类型尚未完全定义，我想这就是差异的原因。

---

至于侧的问题，这个特性似乎是基于std::is_constructible这似乎意味着，如果变量定义

T obj(); 

是well formed构件恒定value等于true。在所有其他情况下，value是false。

所以我对这个和我坦率的基于语义的本能的理解会说如果默认的构造函数是私有的，它会失败。