## Gilt die unbegrenzte Rekursion in C 11 als undefiniertes Verhalten?

Ist unbegrenzte Rekursion unbestimmtes Verhalten?

In C 11 gelten Endlosschleifen ohne Nebenwirkungen als undefiniertes Verhalten (UB), wie am Beispiel von der folgende Code:

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

Dieses Verhalten wird durch den C-Standard vorgegeben, der besagt, dass eine Implementierung davon ausgehen kann, dass jeder Thread irgendwann beendet wird, E/A-Vorgänge ausführt, auf flüchtige Objekte zugreift/diese ändert oder ausführt Synchronisation oder atomare Operationen.

Es stellt sich die Frage: Gilt diese Definition auch für unbegrenzte Rekursion, wie im folgenden Code gezeigt:

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

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

Nach dem C-Standard das Verhalten beider Programme ist undefiniert, da keines von ihnen eine der Aktionen ausführt, die in der Standarddefinition von Nicht-UB angegeben sind.

Es ist jedoch wichtig zu beachten, dass dies auch dann der Fall sein könnte, wenn der C-Standard die unbegrenzte Rekursion UB nicht berücksichtigt zeigen undefiniertes Verhalten, wenn die Rekursion den Grenzwert der Implementierung für die Anzahl verschachtelter rekursiver Funktionsaufrufe überschreitet. Dies war schon immer so und bleibt unabhängig vom Status der Schleife als UB gemäß dem C-Standard bestehen.

Das obige ist der detaillierte Inhalt von## Gilt die unbegrenzte Rekursion in C 11 als undefiniertes Verhalten?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!