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

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 サイトの他の関連記事を参照してください。