C では、「constexpr」関数のコンパイル時の評価は保証されていますか?

コンパイル時の文字列長の計算: C プログラマーへの警告

コンパイル時の文字列の長さの決定は、有益な最適化となる可能性があります。効率的な文字列処理のために。 C では、プログラマは constexpr キーワードを利用してこれを実現できます。ただし、コンパイル時の constexpr 関数の保証された評価に関してよくある誤解が存在​​します。

次のコード スニペットを考えてみましょう:

<code class="cpp">#include <cstdio>

int constexpr length(const char* str)
{
    return *str ? 1 + length(str + 1) : 0;
}

int main()
{
    printf("%d %d", length("abcd"), length("abcdefgh"));
}</code>

このコードでは、再帰的に constexpr 関数の長さを定義します。 C スタイルの文字列の長さを計算します。生成されたアセンブリ コードは、結果がコンパイル中に計算されたことを示しています。

では、コンパイル時の長さの評価は C 標準によって保証されていますか?

いいえ。多くのコンパイラはコンパイル時に constexpr 関数を評価する可能性がありますが、標準ではそれを義務付けていません。 C 標準のドラフト セクション 5.19 によると、定数式は変換中 (つまりコンパイル時) に評価できますが、これは単なる非規範的な注意事項です。

コンパイル時の評価を確実にするには、プログラマは次の 2 つの戦略を採用できます:

1. コンパイル時の評価が必要です: 配列境界やケース ラベルなどの定数式が必要なコンテキストで constexpr を使用します。
2. constexpr 変数を初期化します。 constexpr 関数の結果を constexpr 変数に割り当てます。

例:

<code class="cpp">constexpr int len1 = length("abcd");</code>

結論:

constexpr 関数はコンパイル時の計算の可能性を提供しますが、プログラマは保証された評価の制限を認識する必要があります。前述の戦略に従うことで、開発者は constexpr の力を利用してコンパイル時の文字列処理タスクを最適化できます。

以上がC では、「constexpr」関数のコンパイル時の評価は保証されていますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。