如何在沒有通用模板的情況下確定 C 語言的類型完整性？

使用自訂模板來確定類型完整性

不完整類型雖然未完全定義，但在C 程式設計中起著至關重要的作用。然而，確定類型是否完整可能具有挑戰性，特別是在缺乏像 Boost 的 is_complete 這樣的專用模板的情況下。

建議的解決方案

儘管通用解決方案完全遵守單一定義規則(ODR) 可能難以捉摸，但特定於平台的方法已被證明對Microsoft Visual C 有效。正如Alexey Malistov 所概述的，可以使用以下模板：

<code class="cpp">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;
    };
}</class></code>

用法

要利用此模板，只需使用宏IS_COMPLETE(X)，其中X是有問題的類型。例如：

<code class="cpp">#define IS_COMPLETE(X) is_complete<x>::value</x></code>

警告

需要注意的是，__COUNTER__ 巨集不是 C 標準的一部份。因此，該解決方案可能不適用於所有編譯器。

以上是如何在沒有通用模板的情況下確定 C 語言的類型完整性？的詳細內容。更多資訊請關注PHP中文網其他相關文章！