Constexpr if ステートメントの false 分岐の静的アサーションが不正な形式であるのはなぜですか?

失敗した Constexpr If ブロックの Static_Asserts: 分析

C 17 では、constexpr if ステートメントはコンパイル時に条件付きでコードを実行する手段を提供します。 。ただし、このようなステートメントの false 分岐内の static_asserts の動作は懸念を引き起こしています。

この問題は、条件が非依存で false と評価される static_assert を含むテンプレートのインスタンス化を禁止するルールから発生します ( [温度応答]/8)。このルールは、後続のテンプレート展開での未定義の動作を防止することで型の安全性を確保します。

constexpr if ステートメントのコンテキストでは、これは、条件が依存していない場合、false 分岐内の static_assert が本質的に不正形式であることを意味します。これは、コンパイラがコンパイル時に、static_assert を含むテンプレートに対して有効な特殊化を生成できるかどうかを判断できないためです。

たとえば、次のコードは不正な形式です:

void f() {
  if constexpr (false)
    static_assert(false);   // ill-formed
}

同様に、false ブランチの constexpr テンプレート関数内の static_asserts もIll-formed:

template<class T>
void g() {
  if constexpr (false)
    static_assert(false);   // ill-formed
}

このルールは、static_asserts を呼び出す constexpr 関数またはテンプレート関数への間接呼び出しに拡張されます。 constexpr if ステートメントの false 分岐内でのそのような呼び出しは、それ自体に static_asserts が含まれていない場合でも禁止されます。

開発者は、constexpr if ステートメントの有用性を制限します。これは、開発者がコードを注意深く精査して確実に実行する必要があるためです。 false ブランチに static_asserts が存在しないこと。ただし、少なくとも 1 つの型に対して true と評価できる依存条件を持つ static_asserts は、constexpr if ステートメント内で引き続き許容されます。

結論として、失敗した constexpr if ブロック内の static_asserts の不正な形式の性質は、 false と評価される非依存条件を持つ static_assert をテンプレートに含めることを禁止する一般規則。開発者にとって、未定義の動作を回避し、コード内の型の安全性を維持するには、このルールに従うことが重要です。

以上がConstexpr if ステートメントの false 分岐の静的アサーションが不正な形式であるのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。