インスタンス化されていないテンプレートの静的アサート動作が GCC と Clang で異なるのはなぜですか?
Nov 04, 2024 pm 07:20 PMGCC と Clang の間の静的アサート動作の不一致
テンプレート プログラミングでは、静的アサーションを使用してコンパイル時に特定の条件を強制することができます。ただし、最近の観察で例示されているように、コンパイラによって、これらのアサーションを評価する際の動作が異なる可能性があります。
次のコード スニペットを考えてみましょう。
<code class="cpp">template <int answer> struct Hitchhiker { static_assert(sizeof(answer) != sizeof(answer), "Invalid answer"); }; template <> struct Hitchhiker<42> {};</code>
この例では、次のことを試みます。静的アサーションを使用して、Hitchhiker の一般的なテンプレートのインスタンス化を無効にします。ただし、コンパイル時に、clang はテンプレートがインスタンス化されていない場合でもアサーション エラーを生成するのに対し、gcc は Hitchhiker を 42 以外のパラメータでインスタンス化する場合にのみエラーを生成することがわかります。
さらなる調査により、この矛盾が原因であることが判明しました。次のコード部分から:
<code class="cpp">template <int answer> struct Hitchhiker { static_assert(sizeof(int[answer]) != sizeof(int[answer]), "Invalid answer"); }; template <> struct Hitchhiker<42> {};</code>
この変更されたコードでコンパイルすると、両方のコンパイラは同じ動作を示します。アサーションは、一般的なテンプレートがインスタンス化された場合にのみトリガーされます。この動作は、[temp.res]/8:
If no valid specialization can be generated for a template, and that template is not instantiated, the template is ill-formed, no diagnostic required.
で指定されているように、C 標準に準拠しています。この一節によると、テンプレートの有効な特殊化を生成できず、インスタンス化されていない場合は、テンプレートは不正な形式であるとみなされ、診断は必要ありません。この場合、clang は診断を提供することを選択しますが、gcc は診断を提供しません。
42 のみを許可する制限を強制するには、一般的なテンプレートの定義を控える方法があります。
<code class="cpp">template <> struct Hitchhiker<42> {};</code>
以上がインスタンス化されていないテンプレートの静的アサート動作が GCC と Clang で異なるのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。

人気の記事

人気の記事

ホットな記事タグ

メモ帳++7.3.1
使いやすく無料のコードエディター

SublimeText3 中国語版
中国語版、とても使いやすい

ゼンドスタジオ 13.0.1
強力な PHP 統合開発環境

ドリームウィーバー CS6
ビジュアル Web 開発ツール

SublimeText3 Mac版
神レベルのコード編集ソフト(SublimeText3)

ホットトピック











C言語関数によって返される値の種類は何ですか?返品値を決定するものは何ですか?

STL(ソート、検索、変換など)のアルゴリズムを効率的に使用するにはどうすればよいですか?
