相关疑难解决方法(0)

回答完这个问题后,我试图is_complete在Boost库中找到模板,我意识到Boost.TypeTraits中没有这样的模板.为什么Boost库中没有这样的模板？应该怎么样？

//! Check whether type complete
template<typename T>
struct is_complete
{   
  static const bool value = ( sizeof(T) > 0 );
};

...

// so I could use it in such a way
BOOST_STATIC_ASSERT( boost::is_complete<T>::value );

上面的代码不正确,因为应用于sizeof不完整类型是非法的.什么是好的解决方案？在某种程度上可以在这种情况下应用SFINAE吗？

嗯,这个问题一般不会在不违反ODR规则的情况下解决,但是有一个特定于平台的解决方案对我有用.

我希望下面的NDR形成不良,但似乎不是:-(

#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

演示

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

如果已经隐式实例化了隐式实例化的特殊化,它是代码的变体吗？,程序已被宣布为格式错误的程序,无需诊断(NDR),因为该方法 is_complete_helper<X>::test<X> 具有2种不同的含义,具体取决于实例化点.

似乎附近的参考文件使程序形成不良,但并不像我所理解的那样:

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

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

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

函数模板,成员函数模板或类模板的成员函数或静态数据成员的特化可以在翻译单元内具有多个实例化点,并且除了上述实例化的点之外,对于任何这样的实例化.在翻译单元内具有实例化点的专门化,翻译单元的末尾也被认为是实例化的点.类模板的专门化在翻译单元中最多只有一个实例化点.任何模板的特化可以在多个翻译单元中具有实例化点.如果两个不同的实例化点根据单定义规则给出模板特化的不同含义,则程序形成错误,不需要诊断.

我错了 ？或者不幸的是这个程序是正确的.