首页  >  文章  >  后端开发  >  ## C 11 中的尾递归函数调用是未定义行为吗?

## C 11 中的尾递归函数调用是未定义行为吗?

Barbara Streisand
Barbara Streisand原创
2024-10-25 11:17:02353浏览

## Is Tail-Recursive Function Invocation Undefined Behavior in C  11?

尾递归函数调用在 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 标准中概述的终止条件。

具体来说,该标准指定该实现可能假设任何线程最终都会执行以下操作之一:

  • 终止
  • 调用库 I/O 函数
  • 访问或修改易失性对象
  • 执行同步或原子操作

尾递归函数调用不满足任何这些条件,因此被视为UB。

重要的是请注意,无论这种标准解释如何,如果过度递归超出了嵌套递归函数调用的实现限制,它仍然可能导致未定义的行为。 C 中一直都是这样。

以上是## C 11 中的尾递归函数调用是未定义行为吗?的详细内容。更多信息请关注PHP中文网其他相关文章!

声明:
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn