## Ist der Aufruf von Tail-Rekursiven Funktionen in C 11 ein undefiniertes Verhalten?

Ist der Aufruf von Tail-Recursive-Funktionen in C 11 undefiniertes Verhalten?

In C 11 gibt es Endlosschleifen ohne Nebenwirkungen, wie die folgenden gelten gemäß dem Standard als undefiniertes Verhalten (UB):

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

Gilt die gleiche Logik für eine unendliche Rekursion ohne Nebenwirkungen, wie im folgenden Code?

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

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

Antwort:

Ja, diese Rekursion ist ebenfalls UB, da sie die im C 11-Standard festgelegten Bedingungen für Beendigungskriterien nicht erfüllt.

Konkret legt der Standard fest dass die Implementierung davon ausgehen kann, dass jeder Thread schließlich eine der folgenden Aktionen ausführt:

• Beenden
• Eine Bibliotheks-E/A-Funktion aufrufen
• Zugreifen oder ändern a flüchtiges Objekt
• Führen Sie eine Synchronisierung oder eine atomare Operation aus

Tail-rekursive Funktionsaufrufe erfüllen keines dieser Kriterien und werden daher als UB betrachtet.

Es ist wichtig, dies zu tun Beachten Sie, dass unabhängig von dieser Standardinterpretation eine übermäßige Rekursion immer noch zu undefiniertem Verhalten führen kann, wenn sie den Grenzwert der Implementierung für verschachtelte rekursive Funktionsaufrufe überschreitet. Dies war in C schon immer der Fall.

Das obige ist der detaillierte Inhalt von## Ist der Aufruf von Tail-Rekursiven Funktionen in C 11 ein undefiniertes Verhalten?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!