## Adakah Gelagat Tidak Ditakrifkan Seruan Fungsi Ekor-Rekursif dalam C 11?

Adakah Seruan Fungsi Rekursif Ekor Tidak Ditakrifkan dalam C 11?

Dalam C 11, gelung tak terhingga tanpa kesan sampingan, seperti berikut , dianggap tingkah laku tidak ditentukan (UB) mengikut piawai:

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

Adakah logik yang sama digunakan untuk rekursi tak terhingga tanpa kesan sampingan, seperti kod di bawah?

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

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

Jawapan:

Ya, rekursi ini juga UB, kerana ia tidak memenuhi syarat yang digariskan dalam piawaian C 11 untuk kriteria penamatan.

Secara khusus, piawaian menentukan bahawa pelaksanaan mungkin menganggap bahawa mana-mana urutan akhirnya akan melaksanakan salah satu daripada tindakan berikut:

• Tamatkan
• Panggil fungsi I/O perpustakaan
• Akses atau ubah suai Objek meruap
• Lakukan penyegerakan atau operasi atom

Seruan fungsi rekursif ekor tidak memenuhi mana-mana kriteria ini dan oleh itu dianggap UB.

Adalah penting untuk ambil perhatian bahawa tanpa mengira tafsiran standard ini, rekursi yang berlebihan masih boleh membawa kepada tingkah laku yang tidak ditentukan jika ia melebihi had pelaksanaan untuk panggilan fungsi rekursif bersarang. Ini selalu berlaku dalam C .

Atas ialah kandungan terperinci ## Adakah Gelagat Tidak Ditakrifkan Seruan Fungsi Ekor-Rekursif dalam C 11?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!