ユニバーサル テンプレートを使用せずに C で型の完全性を判断するにはどうすればよいですか?

カスタム テンプレートを使用した型の完全性の決定

不完全な型は、完全には定義されていませんが、C プログラミングにおいて重要な役割を果たします。ただし、型が完全であるかどうかを判断することは、特に Boost の is_complete のような専用のテンプレートがない場合に困難になる可能性があります。

提案されたソリューション

完全に機能する普遍的なソリューションではありますが、 One Definition Rule (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 中国語 Web サイトの他の関連記事を参照してください。