Constexpr 以外の引数を Constexpr 関数に渡せないのはなぜですか?

定数式における Constexpr 関数パラメータの制限

コード スニペットを検討してください:

static constexpr int make_const(const int i){
    return i;
}

void t1(const int i)
{
    constexpr int ii = make_const(i);  // error occurs here (i is not a constant expression)
    std::cout<<ii;
}

エラー詳細

i は定数式ではないため、make_const(i) で ii を初期化しようとすると、コードはエラーをトリガーします。これは次の理由によるものです。

• constexpr 変数は、コンパイル時に使用できることが保証された値を持つ変数です。
• constexpr 関数は、次のオプションが指定された場合にコンパイル時に評価される関数です。 constexpr 引数。

constexpr 以外のパラメータを constexpr 関数に渡しても、constexpr 出力は生成されません。ただし、constexpr 関数は、その入力パラメーターの constexpr 性を継承および伝播できます。

許可されるシナリオ

次のコードは、t1() と make_const() の両方がconstexpr パラメータを使用した constexpr 関数:

constexpr int t1(const int i)
{
    return make_const(i);
}

制限事項

make_const() が次の場合でも、do_something() が constexpr 関数ではないため、次のコードは失敗します。

template<int i>
constexpr bool do_something(){
    return i;
}

constexpr int t1(const int i)
{
    return do_something<make_const(i)>();   // error occurs here (i is not a constant expression)
}

結論

このようなエラーを回避するには、constexpr 関数と変数の区別を理解することが重要です。 Constexpr 関数は、コンパイル時と実行時の両方で評価できる柔軟性を備えていますが、constexpr 引数を使用した場合にのみ評価されます。

以上がConstexpr 以外の引数を Constexpr 関数に渡せないのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。