c++ - 编译器何时不必将函数标记为 inline 为 inline

Question

编译器何时不必将标记为 inline 的函数标记为 inline？

Answer 1

最明显的是，当您使用指向函数的指针时，它不能内联函数。如果您传递指针并且（可能稍后）决定通过指针调用函数，编译器必须生成函数的非内联版本。当然，如果直接调用函数，编译器可能仍然内联它。而且编译器也可以随意不内联函数。

Answer 2

使用inline关键字只是对编译器的提示，您建议在使用的地方将其扩展为内联。然而，在预测 L1 和 L2 缓存以及分支预测管道等高级 CPU 功能可能对性能产生影响时，编译器比您以往任何时候都聪明得多。如果编译器决定内联函数会使代码变慢或变大到无法接受的程度，它就不会内联它。或者，如果它只是因为语法依赖而不能，例如其他代码使用函数指针进行回调，或者在动态/静态代码库中将函数导出到外部。

有关更多解释，请参见此处。

Answer 3

如果问题是编译器无法以任何方式内联函数，那么有几个答案。

定义后，一个函数是递归的，其递归级别取决于参数而不是尾递归，那么它不能被内联（在编译时不可能知道函数会有多少次迭代）。通常，不显示尾递归的递归函数不会被内联（即使在编译器可以推断出递归步骤数的情况下）。

在看不到指针初始化的上下文中通过指针使用时。

如果问题不是什么时候保证不被内联，而是什么东西可以让编译器避免内联，还有一些其他的。例如，函数的复杂性和大小，它是否有循环，它已经在执行的内联级别（f 调用 g 调用 h 调用 i...所有这些都可能被内联，但编译器倾向于放弃如果通话次数足够多）.... 还有其他的。您可以尝试从您的编译器供应商那里了解他们运行什么类型的启发式方法来确定何时内联。