pimpl 中的方法是内联的吗？

Question

考虑下一个简单的例子：

标题：

// a.hpp
#ifndef A_HPP
#define A_HPP
#include <memory>

class A
{
 public:
  A();

  int foo();

 private:
  struct Imp;
  std::auto_ptr< Imp > pimpl;
};

#endif // A_HPP

实现：

// a.cpp
#include "a.hpp"

struct A::Imp
{
 int foo()
 {
  // do something and return the result
 }
};

A::A() : pimpl( new Imp )
{}
int A::foo()
{
  return pimpl->foo();
}

主要：

// main.cpp
#include "header.hpp"
int main()
{
  A a;
  return a.foo();
}

问题是：
方法 A::Imp::foo 是否会内联到 A::foo 中？
这是否取决于该方法中的实现？

聚苯乙烯 我正在使用 gcc（4.3.0，如果重要的话）。

编辑

我想我没有解释得很好。我真正的意思是这样的。如果我使用最大优化级别，则 // do something and return the result 将被放置在 A::foo() 或 A: :Imp::foo()？
如果没有优化，我发现这还没有完成（仍然调用 pimpl->foo() ）。

我知道 A::foo() 永远不会内联到 main() 中，但这不是我要问的。

Answer 1

Herb Sutter 曾经写过一篇关于内联的精彩文章。

首先要问的问题是：内联什么时候可以发生？

在 C++ 中：

• 它可能发生在编译阶段
• ，也可能发生在链接阶段（LTO：链接时间优化）

，两次的机制都是相似的：如果编译器/链接器知道该方法的实现，它可能会决定复制/粘贴实现来代替发出调用。这个决定是基于复杂的启发法，我只知道它们存在，而不知道它们是什么。

因此，关键点是了解实现位。

• 对于编译器：这意味着在
• 链接器的同一翻译单元中定义：这意味着在链接的翻译单元之一中定义或在它将链接到的静态库中定义...据我所知，如果该方法驻留在其中，则不会被优化在 DLL 中

所以这里：是的，调用 pimpl->foo() 可以内联在 A::foo 中。它将取决于编译器和编译选项。

对于 gcc/clang，如果 A::Impl::foo 足够小，则可以从 O1 开始进行优化（除非您传递 -fno-inline）。

Answer 2

所有内联都依赖于实现。如果这对您很重要，请查看发出的汇编代码。