## C 11 中的無界遞歸是否屬於未定義行為？

無界遞歸是不定行為嗎？

在C 11 中，沒有副作用的無限循環被視為未定義行為(UB)，示例如下以下代碼：

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

此行為由C 標準規定，此標準規定實作可以假設任何執行緒最終都會終止、執行I/O 操作、存取/修改易失性物件或執行同步或原子操作。

問題來了：這個定義是否也適用於無界遞歸，如以下程式碼所示：

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

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

根據C 標準，兩者的行為程序是未定義的，因為它們都不執行非UB 標準定義中指定的任何操作。

但是，需要注意的是，即使 C 標準沒有考慮無界遞歸 UB，它仍然可以如果遞歸超出了嵌套遞歸函數調用數量的實現限制，則表現出未定義的行為。情況一直如此，並且無論循環在 C 標準下的 UB 狀態如何，它仍然是正確的。

以上是## C 11 中的無界遞歸是否屬於未定義行為？的詳細內容。更多資訊請關注PHP中文網其他相關文章！