目次
GCC と Clang の間の静的アサート動作の不一致
ホームページ バックエンド開発 C++ インスタンス化されていないテンプレートの静的アサート動作が GCC と Clang で異なるのはなぜですか?

インスタンス化されていないテンプレートの静的アサート動作が GCC と Clang で異なるのはなぜですか?

Nov 04, 2024 pm 07:20 PM

Why Do GCC and Clang Differ in Static Assert Behavior for Uninstantiated Templates?

GCC と Clang の間の静的アサート動作の不一致

テンプレート プログラミングでは、静的アサーションを使用してコンパイル時に特定の条件を強制することができます。ただし、最近の観察で例示されているように、コンパイラによって、これらのアサーションを評価する際の動作が異なる可能性があります。

次のコード スニペットを考えてみましょう。

<code class="cpp">template &lt;int answer&gt; struct Hitchhiker {
  static_assert(sizeof(answer) != sizeof(answer), "Invalid answer");
};

template &lt;&gt; struct Hitchhiker&lt;42&gt; {};</code>
ログイン後にコピー

この例では、次のことを試みます。静的アサーションを使用して、Hitchhiker の一般的なテンプレートのインスタンス化を無効にします。ただし、コンパイル時に、clang はテンプレートがインスタンス化されていない場合でもアサーション エラーを生成するのに対し、gcc は Hitchhiker を 42 以外のパラメータでインスタンス化する場合にのみエラーを生成することがわかります。

さらなる調査により、この矛盾が原因であることが判明しました。次のコード部分から:

<code class="cpp">template &lt;int answer&gt; struct Hitchhiker {
  static_assert(sizeof(int[answer]) != sizeof(int[answer]), "Invalid answer");
};

template &lt;&gt; struct Hitchhiker&lt;42&gt; {};</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 &lt;&gt; struct Hitchhiker&lt;42&gt; {};</code>
ログイン後にコピー

以上がインスタンス化されていないテンプレートの静的アサート動作が GCC と Clang で異なるのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。

このウェブサイトの声明
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。

ホットな記事タグ

メモ帳++7.3.1

メモ帳++7.3.1

使いやすく無料のコードエディター

SublimeText3 中国語版

SublimeText3 中国語版

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

ゼンドスタジオ 13.0.1

ゼンドスタジオ 13.0.1

強力な PHP 統合開発環境

ドリームウィーバー CS6

ドリームウィーバー CS6

ビジュアル Web 開発ツール

SublimeText3 Mac版

SublimeText3 Mac版

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

C言語関数によって返される値の種類は何ですか?返品値を決定するものは何ですか? C言語関数によって返される値の種類は何ですか?返品値を決定するものは何ですか? Mar 03, 2025 pm 05:52 PM

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

GULC:Cライブラリはゼロから構築されています GULC:Cライブラリはゼロから構築されています Mar 03, 2025 pm 05:46 PM

GULC:Cライブラリはゼロから構築されています

c言語関数形式文字ケース変換手順 c言語関数形式文字ケース変換手順 Mar 03, 2025 pm 05:53 PM

c言語関数形式文字ケース変換手順

C言語関数の定義と呼び出しルールは何ですか、そして C言語関数の定義と呼び出しルールは何ですか、そして Mar 03, 2025 pm 05:53 PM

C言語関数の定義と呼び出しルールは何ですか、そして

明確な使用法とフレーズ共有 明確な使用法とフレーズ共有 Mar 03, 2025 pm 05:51 PM

明確な使用法とフレーズ共有

メモリに保存されているC言語関数の返品値はどこにありますか? メモリに保存されているC言語関数の返品値はどこにありますか? Mar 03, 2025 pm 05:51 PM

メモリに保存されているC言語関数の返品値はどこにありますか?

C標準テンプレートライブラリ(STL)はどのように機能しますか? C標準テンプレートライブラリ(STL)はどのように機能しますか? Mar 12, 2025 pm 04:50 PM

C標準テンプレートライブラリ(STL)はどのように機能しますか?

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

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

See all articles