如何编写`is_complete`模板?

2021-12-13 00:00:00 templates c++ typetraits c++03

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

After answering this question I was trying to find is_complete template in Boost library and I realized that there is no such template in Boost.TypeTraits. Why there is no such template in Boost library? How it should look like?

//! 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?

The code above is not correct, because it is illegal to apply sizeof to an incomplete type. What will be a good solution? Is it possible to apply SFINAE in this case somehow?

好吧,如果不违反ODR 规则,一般无法解决这个问题,但是有一个特定于平台的解决方案对我有用.

Well, this problem couldn't be solved in general without violating the ODR rule, but there is there a platform specific solution which works for me.

推荐答案

Alexey Malistov 给出的答案稍加修改即可用于 MSVC:

The answer given by Alexey Malistov can be used on MSVC with a minor modification:

namespace 
{
    template<class T, int discriminator>
    struct is_complete {  
      static T & getT();   
      static char (& pass(T))[2]; 
      static char pass(...);   
      static const bool value = sizeof(pass(getT()))==2;
    };
}
#define IS_COMPLETE(X) is_complete<X,__COUNTER__>::value

不幸的是,__COUNTER__ 预定义宏不是标准的一部分,因此它不适用于每个编译器.

Unfortunately, the __COUNTER__ predefined macro is not part of the standard, so it would not work on every compiler.

相关文章