C++链接器会自动内联函数（没有“inline”关键字，没有在标头中实现）吗？

C++ 链接器是否会自动内联“传递”函数，这些函数未在标头中定义，并且未明确请求通过inline关键词？

例如，发生以下情况so often，并且应该always受益于“内联”，似乎每个编译器供应商都应该通过链接器通过“内联”“自动”处理它（在可能的情况下）：

//FILE: MyA.hpp
class MyA
{
  public:
    int foo(void) const;
};

//FILE: MyB.hpp
class MyB
{
  private:
    MyA my_a_;
  public:
    int foo(void) const;
};

//FILE: MyB.cpp
// PLEASE SAY THIS FUNCTION IS "INLINED" BY THE LINKER, EVEN THOUGH
// IT WAS NOT IMPLICITLY/EXPLICITLY REQUESTED TO BE "INLINED"?
int MyB::foo(void)
{
  return my_a_.foo();
}

我知道 MSVS 链接器将通过其执行一些“内联”链接时间代码生成 (LTGCC)，并且 GCC 工具链还支持链接时间优化 (LTO) (see: 链接器可以内联函数吗？ https://stackoverflow.com/questions/5987020/can-the-linker-inline-functions).

此外，我知道在某些情况下，这cannot被“内联”，例如当实现对链接器不“可用”时（例如，跨共享库边界，发生单独链接）。

但是，如果这是代码链接到single不跨越 DLL/共享库边界的可执行文件，我会expect编译器/链接器供应商自动地内联函数，作为一种简单而明显的优化（对性能和大小都有好处）？

我的希望是不是太天真了？

这是对您的示例的快速测试（使用MyA::foo()简单地返回的实现42）。所有这些测试都是针对 32 位目标进行的 - 64 位目标可能会出现不同的结果。还值得注意的是，使用-flto选项（GCC）或/GL选项 (MSVC) 可实现全面优化 - 无论在何处MyB::foo()被调用，它只是被替换为42.

使用 GCC（MinGW 4.5.1）：

gcc -g -O3 -o test.exe myb.cpp mya.cpp test.cpp

对 MyB::foo() 的调用没有被优化掉。MyB::foo()本身稍微优化为：

Dump of assembler code for function MyB::foo() const:
   0x00401350 <+0>:     push   %ebp
   0x00401351 <+1>:     mov    %esp,%ebp
   0x00401353 <+3>:     sub    $0x8,%esp
=> 0x00401356 <+6>:     leave
   0x00401357 <+7>:     jmp    0x401360 <MyA::foo() const>

这是条目序言保留在原处，但立即撤消（leave指令）并且代码跳转到 MyA::foo() 来完成真正的工作。然而，这是一个优化compiler（不是链接器）正在做，因为它意识到MyB::foo()只是返回任何内容MyA::foo()返回。我不知道为什么要留下序言。

MSVC 16（来自 VS 2010）的处理方式略有不同：

MyB::foo()最终以两次跳跃结束——一次跳跃到某种“重击”：

0:000> u myb!MyB::foo
myb!MyB::foo:
001a1030 e9d0ffffff      jmp     myb!ILT+0(?fooMyAQBEHXZ) (001a1005)

重击声直接跳到了MyA::foo():

myb!ILT+0(?fooMyAQBEHXZ):
001a1005 e936000000      jmp     myb!MyA::foo (001a1040)

再说一遍 - 这很大程度上（全部？）由编译器执行，因为如果您查看链接之前生成的目标代码，MyB::foo()被编译为普通跳转MyA::foo().

因此，归结为所有这些 - 看起来在没有显式调用 LTO/LTCG 的情况下，今天的链接器不愿意/无法执行删除调用的优化MyB::foo()总的来说，即使MyB::foo()是一个简单的跳转MyA::foo().

所以我想如果你想要链接时间优化，请使用-flto（对于海湾合作委员会）或/GL（对于 MSVC 编译器）和/LTCG（对于 MSVC 链接器）选项。