c++ - 如果递归函数定义为内联会发生什么？

Question

<分区>

Answer 1

我尝试浏览相关的 SO 问题来为您找到一个明确的现有答案，但唉......

因此，关键字 inline(或在类定义中隐式内联的成员函数)有两个作用:

• 它保证可以在不违反单一定义规则的情况下在多个翻译单元中定义函数，即在实践中，链接器不会反对多个定义。为此，函数的所有定义都必须是内联，并且它们必须相同。

• 它作为对编译器的模糊提示，以内联机器代码以调用函数。有些调用可能是内联的，有些则不是。内联的程度可能会有所不同，编译器甚至可能会完全忽略这个提示(在实践中，g++ 倾向于遵循荒谬甚至不好的程度的提示，而 Visual C++ 更像是忽略它)。

  <

对于递归函数，如果编译器遵循函数的任何特定调用的提示，则该调用可以扩展到一级或二级或三级或任何级别的递归。这是一件困难的事情，所以不要指望它。此外，编译器自己的内联启发式可能比您的直觉更好，因为编译器对事物有更全局的看法(它知道更多)，因此，总结一下:

不要将内联用于提示效果，将其用于 ODR 保证。

在你绝对确定你确实比编译器更了解的地方，在你遵守“先测量”和“不要过早优化”等原则的地方，你也许可以获得更可靠的控制通过编译器特定的语言扩展或编译指示进行内联。

干杯，