尾递归函数调用在 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 标准中概述的终止条件。
具体来说,该标准指定该实现可能假设任何线程最终都会执行以下操作之一:
尾递归函数调用不满足任何这些条件,因此被视为UB。
重要的是请注意,无论这种标准解释如何,如果过度递归超出了嵌套递归函数调用的实现限制,它仍然可能导致未定义的行为。 C 中一直都是这样。
以上是## C 11 中的尾递归函数调用是未定义行为吗?的详细内容。更多信息请关注PHP中文网其他相关文章!