为什么 Boost.TypeTraits 中没有 `is_complete` 模板？

Boost 库中的 Is_Complete 模板

在 Boost 库中寻找 is_complete 模板时，很明显 Boost.TypeTraits 中不存在这样的模板。这引发了关于其缺失背后的基本原理以及此类模板的潜在设计的问题。

考虑以下代码片段：

<code class="cpp">//! Check whether type complete
template&lt;typename T&gt;
struct is_complete
{   
  static const bool value = ( sizeof(T) &gt; 0 );
};

...

// use it in such a way
BOOST_STATIC_ASSERT( boost::is_complete&lt;T&gt;::value );</code>

此代码存在缺陷，因为将 sizeof 应用于不完整的类型是非法的。因此，需要寻求替代解决方案。

一种可能的方法涉及使用 SFINAE。然而，这带来了限制，因为它通常无法在不违反单一定义规则 (ODR) 的情况下解决问题。

Alexey Malistov 提出的特定于平台的解决方案可用于 MSVC，只需稍加修改：

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

不幸的是，__COUNTER__ 宏的使用没有标准化，可能限制了它在不同编译器之间的适用性。

以上是为什么 Boost.TypeTraits 中没有 `is_complete` 模板？的详细内容。更多信息请关注PHP中文网其他相关文章！