C で Constexpr if/else 分岐の排他的実行を保証する方法

Constexpr if/else 分岐の排他的実行の確保

C では、一連の constexpr if/else ステートメントを構築するときに、次のことを行うことが望ましいです。 else 分岐が決して実行されないようにします。これは通常、

static_assert(condition1 || condition2 || condition3);

に示すように、else 節内のすべての条件の評価を繰り返すことによって行われます。ただし、このような繰り返しは、特に複雑な条件の場合、退屈になる可能性があります。

依存ステートメントの使用

より洗練された解決策には、破棄されたステートメントをテンプレート パラメーターに依存させることが含まれます。これは、

1. 常に false を返す constexpr std::false_type テンプレートを定義することで実現されます。

template <class...> constexpr std::false_type always_false{};

2. このテンプレートを else 句内で使用します。 if/elseステートメント:

else {       
    static_assert(always_false<T>);
}

このアプローチは次の理由から有効です:

• C 標準の [temp.res]/8 によれば、プログラムは次の場合に不正形式です。テンプレート内の constexpr if/else ステートメントに対して有効な特殊化は生成できません。
• always_false テンプレートは常に返すためfalse の場合、どのような状況でも else 節の特殊化は生成できません。
• したがって、else 節はコンパイル時に実行されません。

以上がC で Constexpr if/else 分岐の排他的実行を保証する方法の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。