Untaken `constexpr if` ブランチ内の静的アサーションはどうなりますか?

失敗した Constexpr if ブロックの静的アサーション

概要

constexpr (C 17 で導入された場合)より簡潔で効率的なコードが可能になります。ただし、これらの if ブロックでの static_assert ステートメントの処理に関する疑問も生じます。

選択されなかったブランチでの静的アサーションの失敗

標準テキストには、static_assert が次のように記載されています。 constexpr if ステートメントの選択されない分岐におけるステートメントの形式が正しくありません。これは、条件が依存しているかどうかに関係なく適用されます。

基礎となるルール

この禁止事項は、テンプレートの確立されたルールに基づいています。テンプレートに対して有効な特殊化を生成できない場合は、不正な形式の NDR (診断は必要ありません) です。 false と評価される非依存条件を持つ static_assert は、このカテゴリに分類されます。

安全性と有用性への影響

この制限は、次の場合に constexpr の安全性と有用性に重大な制約を課します。 。開発者は、if ステートメントの取得されていない分岐内で呼び出される可能性のある潜在的な static_assert に注意する必要があります。

例

次のコードは警告なしでコンパイルされますが、不正な形式と見なされます:

template< typename T>
constexpr void other_library_foo(){
    static_assert(std::is_same<T,int>::value);
}

template<class T>
void g() {
  if constexpr (false)
    other_library_foo<T>(); 
}

のスコープルール

static_asserts に対する禁止はグラフ呼び出しにも適用されるため、static_asserts が含まれる可能性のある、選択されなかったブランチ内で呼び出される関数も禁止されます。

結論

constexpr の取得されなかったブランチでの static_asserts の失敗if ステートメントは、テンプレート内で使用するときに慎重に検討する必要があることを強調しています。開発者は、false と評価される非依存条件を持つ static_assert が、if ステートメントの選択されなかった分岐で試行されないようにする必要があります。

以上がUntaken `constexpr if` ブランチ内の静的アサーションはどうなりますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。