内联函数联动变化

Question

我刚刚创建了两个文件来测试内联函数的链接，第一个

#include <iostream>
using namespace std;
inline int f1(int a,int b){
  a=a+b;
  while(a!=0)
    a--;
  cout<<"inline";
  return a;
}

第二个：

int main(){
  extern void f1(int a,int b);
  f1(1,2);
}

g++ frist.cc second.cc

undefined reference to `f1(int, int)'

链接器引发错误，因为我希望内联函数是默认的内部链接，所以结果是正确的。

---

但是，当我将内联函数的调用函数添加到第一个文件时：

#include <iostream>
using namespace std;
inline int f1(int a,int b){
  a=a+b;
  while(a!=0)
    a--;
  cout<<"inline";
  return a;
}
int callf1(){
  f1(10,2);
}

再次编译，通过，可以正常运行，请问这里发生了什么？

Answer 1

这里发生了什么？

当编译器编译内联函数时，它可能会选择内联或不内联，这取决于许多启发式方法和当前的优化级别。 inline 只是一个建议，编译器可以随意忽略。

如果编译器决定不内联函数，那么它将发出一个实际的函数定义（就像函数没有声明内联一样），具有弱链接（因此多个这样的定义可以不会造成问题）。 那是发生了什么，以及为什么你的程序链接。

如果您提高优化级别或使用具有不同内联启发式的编译器，您的程序可能会停止链接。

Answer 2

在 C++ 中，如果一个函数在某处被定义为 inline，那么它必须无处不在

来自 C++ 7.1.2

内联函数应在使用它的每个翻译单元中定义，并且在每种情况下都应具有完全相同的定义（3.2）

3.2指的是单一定义规则

所以你遇到的是非 C++ 标准行为