需要不同的类型,具体取决于实例化点

#include <type_traits>

template <typename T, typename Enabler = void>
struct is_complete : std::false_type {};

template <typename T>
struct is_complete<T, std::void_t<decltype(sizeof(T) != 0)>> : std::true_type {};

class X;

static_assert(!is_complete<X>::type{}); // incomplete type

class X {};

static_assert(!is_complete<X>::type{}); // complete, but already instantiated

Demo

注意 :假设 sizeof(T) != 0 对于完整性特征有效(因为没有类型可以具有 sizeof(T) == 0 ,使用其他常量将强制为这些特征找到更好的名称:-)

Is a specialization implicitly instantiated if it has already been implicitly instantiated? ,其中程序被声明为格式错误的程序,无需诊断(NDR),作为 方法 is_complete_helper<X>::test<X>

参考资料似乎会使程序格式不正确,但据我所知:

• http://eel.is/c++draft/temp.res#8.5

在假设的实例化中对这种构造的解释不同于在模板的任何实际实例化中对相应构造的解释。

• http://eel.is/c++draft/temp.res#temp.point-8

我错了?或者不幸的是这个程序是正确的。