首頁 > 後端開發 > C++ > 為什麼 Boost.TypeTraits 中沒有 `is_complete` 模板?

為什麼 Boost.TypeTraits 中沒有 `is_complete` 模板?

Linda Hamilton
發布: 2024-10-31 04:07:53
原創
961 人瀏覽過

 Why is there no `is_complete` template in Boost.TypeTraits?

Boost 庫中的 Is_Complete 模板

在 Boost 庫中尋找 is_complete 模板時,很明顯 Boost.TypeTraits 中不存在這樣的模板。這引發了關於其缺失背後的基本原理以及此類模板的潛在設計的問題。

考慮以下程式碼片段:

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

...

// use it in such a way
BOOST_STATIC_ASSERT( boost::is_complete<T>::value );</code>
登入後複製

此程式碼有缺陷,因為將 sizeof 應用於不完整的類型是非法的。因此,需要尋求替代解決方案。

一種可能的方法涉及使用 SFINAE。然而,這帶來了限制,因為它通常無法在不違反單一定義規則 (ODR) 的情況下解決問題。

Alexey Malistov 提出的特定於平台的解決方案可用於MSVC,只需稍加修改:

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

不幸的是,__COUNTER__ 宏的使用沒有標準化,可能限制了它在不同編譯器之間的適用性。

以上是為什麼 Boost.TypeTraits 中沒有 `is_complete` 模板?的詳細內容。更多資訊請關注PHP中文網其他相關文章!

來源:php.cn
本網站聲明
本文內容由網友自願投稿,版權歸原作者所有。本站不承擔相應的法律責任。如發現涉嫌抄襲或侵權的內容,請聯絡admin@php.cn
作者最新文章
熱門教學
更多>
最新下載
更多>
網站特效
網站源碼
網站素材
前端模板