如何在没有通用模板的情况下确定 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 &amp; getT();   
      static char (&amp; pass(T))[2]; 
      static char pass(...);   
      static const bool value = sizeof(pass(getT()))==2;
    };
}</code>

用法

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

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

警告

需要注意的是，__COUNTER__ 宏不是 C 标准的一部分。因此，该解决方案可能并不适合所有编译器。

以上是如何在没有通用模板的情况下确定 C 语言的类型完整性？的详细内容。更多信息请关注PHP中文网其他相关文章！