c++ - 内联还有用吗？

Question

这个问题在这里已经有了答案:





When should I write the keyword 'inline' for a function/method?

(16 个回答)


3年前关闭。




我相信，inline已过时，因为我读过 here :

No matter how you designate a function as inline, it is a request that the compiler is allowed to ignore: the compiler might inline-expand some, all, or none of the places where you call a function designated as inline.

然而， Angew似乎明白了一些我不明白的事情。在 this question他和我来回不少，关于是否 inline还是有用的。

这个问题不是关于:

inline的历史用途或哪里inline仍可用于向编译器提示 inline功能:When should I write the keyword 'inline' for a function/method? .

内联函数代码的利弊:Benefits of inline functions in C++?

强制编译器 inline功能码:force inline function in other translation unit

请记住，编译器可以 inline随意，所以 inline在那里没有帮助: 哪里可以inline用于强制而不是建议更改已编译的代码？

Answer 1

我将尽力以最好的方式解释我的“ secret 理解”。

这里有两个完全不同的概念。一是编译器通过直接在调用点重复函数体来替换函数调用的能力。另一种是在多个翻译单元(= 多个 .cpp 文件)中定义函数的可能性。

第一个称为函数内联。第二个是inline的目的关键词。从历史上看，inline关键字也强烈建议编译器内联标记为 inline 的函数。 .随着编译器在优化方面变得更好，这个功能已经消退，并使用 inline作为内联函数的建议确实已过时。如果编译器发现这是一个更好的优化，它会很乐意忽略它并完全内联其他东西。

我希望我们已经处理了明确的 inline ——内联关系。当前代码中没有。

那么，inline的实际目的是什么？关键词？很简单:一个标记为 inline 的函数可以在多个翻译单元中定义而不违反一个定义规则 (ODR)。想象一下这两个文件:

file1.cpp

int f() { return 42; }

int main()
{ return f(); }

file2.cpp

int f() { return 42; }

这个命令:

> gcc file1.cpp file2.cpp

会产生链接器错误，提示符号 f定义了两次。

但是，如果你用 inline 标记一个函数关键字，它特别告诉编译器和链接器:“你们确保这个函数的多个相同定义不会导致任何错误!”

所以以下将起作用:

file1.cpp

inline int f() { return 42; }

int main()
{ return f(); }

file2.cpp

inline int f() { return 42; }

将这两个文件编译和链接在一起不会产生任何链接器错误。

当然要注意 f 的定义不必逐字记录在文件中。它可以来自 #include d 头文件:

f.hpp

inline int f() { return 42; }

file1.cpp

#include "f.hpp"

int main()
{ return f(); }

file2.cpp

#include "f.hpp"

基本上，为了能够将函数定义写入头文件，您必须将其标记为 inline ，否则会导致多个定义错误。

最后一块拼图是:为什么关键字实际上拼写为 inline当它与内联无关时？原因很简单:要内联函数(即通过在调用站点上重复函数体来替换对它的调用)，编译器首先必须拥有函数体。

C++ 遵循一种单独的编译模型，其中编译器无法访问当前生成的对象文件以外的对象文件。因此，为了能够内联一个函数，它的定义必须是当前翻译单元的一部分。如果您希望能够将其内联在多个翻译单元中，则其定义必须包含在所有翻译单元中。通常，这会导致多重定义错误。所以如果你把你的函数放在一个标题和 #include 中它的定义无处不在，以使其无处不在，您必须将其标记为 inline以防止多个定义错误。

请注意，即使在今天，虽然编译器会内联任何认为合适的函数，但它仍然必须能够访问该函数的定义。所以虽然 inline关键字不是必需的，因为提示“请内联它”，您可能仍然会发现您需要使用它来启用编译器，如果它选择这样做的话。没有它，您可能无法将定义放入翻译单元，而没有定义，编译器根本无法内联函数。

编译器不能。链接器可以。现代优化技术包括链接时代码生成(又名整个程序优化)，在实际链接之前，优化器作为链接过程的一部分在所有目标文件上运行。在这一步中，所有的函数定义当然都可用，内联完全可以不用一个 inline关键字在程序中的任何地方使用。但是这种优化通常在构建时间上成本很高，尤其是对于大型项目。考虑到这一点，仅依靠 LTCG 进行内联可能不是最佳选择。

为了完整起见:我在第一部分中略有作弊。 ODR 属性实际上不是 inline 的属性关键字，但内联函数(这是语言的一个术语)。内联函数的规则是:

可以在多个翻译单元中定义而不会导致链接器错误

必须在使用它的每个翻译单元中定义

它的所有定义必须是 token-for-token 和 entity-for-entity 相同

inline关键字将函数转换为内联函数。将函数标记为内联的另一种方法是直接在类定义中定义(而不仅仅是声明)它。这样的函数是自动内联的，即使没有 inline关键词。