## 末尾再帰関数呼び出しは C 11 では未定義の動作ですか?

C 11 では末尾再帰関数呼び出しは未定義の動作ですか?

C 11 では、次のような副作用のない無限ループが発生します。は、標準に従って未定義動作 (UB) と見なされます:

<code class="cpp">int main() {
   while (true) {}
}</code>

以下のコードのように、副作用のない無限再帰にも同じロジックが適用されますか?

<code class="cpp">void foo() {
   foo();
}

int main() {
   foo();
}</code>

回答:

はい、この再帰も UB です。これは、C 11 標準で概説されている終了基準の条件を満たしていないためです。

具体的には、標準では次のように指定されています。実装では、いずれかのスレッドが最終的に次のアクションのいずれかを実行すると想定されます:

• 終了
• ライブラリ I/O 関数の呼び出し
• ライブラリへのアクセスまたは変更volatile オブジェクト
• 同期またはアトミック操作を実行する

末尾再帰関数の呼び出しは、これらの基準のいずれも満たさないため、UB とみなされます。

次のことが重要です。この標準的な解釈に関係なく、過剰な再帰は、入れ子になった再帰関数呼び出しに対する実装の制限を超えると、依然として未定義の動作を引き起こす可能性があることに注意してください。これは C では常に当てはまります。

以上が## 末尾再帰関数呼び出しは C 11 では未定義の動作ですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。