C++ - 当函数内联是不可能的？

Question

伙计们，

我在阅读“Thinking in C++"（Chap - 内联函数）时遇到了这个语句。

"编译器也不能执行内联，如果 函数被隐式或显式采用”。

“taking address of function implicitly or explicitly”是什么意思？
为什么在这种情况下不能内联？

谢谢。

Answer 1

实际上，报价可能会产生误导。

如果取了函数地址，那么就需要在库/可执行文件中生成函数，因为函数的地址执行在于将指令指针跳转到描述函数的代码块。

但是，当直接调用时，它当然不会阻止编译器在其他地方内联函数。

首先，回顾一下：

// Explicit:
void foo();

void (*func_ptr)() = foo;


// Implicit
struct Foo { virtual void bar() {} }; // address used in V-Table

二、内联示例：

int main() {
  (*func_ptr)(); // probably not inlined as the compiler can difficultly assert
                 // that nobody may modified it... since it's non-const.

  foo(); // might be inlined

  Foo f;
  f.bar(); // might be inlined (the exact type of `f` is known)
           // this is called, "devirtualizing"

  Foo& g = accessSomeFoo();
  g.bar(); // probably not inlined unless the compiler can assert
           // the type returned by accessSomeFoo
           // (which requires knowing its definition)
}

Answer 2

我不确定这是否完全正确。但是，如果您获取函数的地址，则该函数需要存在于内存中，并带有函数的前导码和清理代码。内联时省略了这个序言和清理。内联时，您会获得大量优化可能性。

但是现代编译器仍然应该能够内联函数，只要有可能内联它。考虑：

int compare (int a, int b)
{
  return a compared to b
}

int main ()
{
  a = array of ints

  qsort (a, compare); // take address of compare function, thus compare function exists in
                      // app as a proper function

  compare (value1, value2); // there's no reason why this can't be inlined
}

我认为引用应该更明确地说明不能内联的内容：

通过函数指针调用的函数不能内联。

这是因为在编译时无法确定在间接调用（通过函数指针的调用）处内联哪个函数。这并不是说函数指针指向的函数不能在任何直接调用的地方内联。

Answer 3

获取函数地址意味着assigning it to a function pointer。这可以显式发生，如链接示例中所示。我不确定作者所说的“隐式”是什么意思——也许是把一个函数作为参数传递给另一个函数。

如果函数的地址被占用，它必须首先有一个地址。由于内联意味着基本上用函数体的副本替换对函数的调用，在这样的转换之后，函数不再存在，因此没有地址 - 只有 n 个不同的相同代码副本在使用的地方调用该函数。因此，如果一个函数的地址以任何方式被使用，它就不能被内联。