C++内联函数链接属性、编译行为及内联生效条件问询

咱们先看你给出的两个编译单元代码：

// 1.cpp
#include<iostream>
extern void calll();
inline void fun() { std::cout<<"in fun 1\n"; }
int main() {
    fun();
    calll();
    return 0;
}

// 2.cpp
#include<iostream>
inline void fun() {
    int i=123; //未使用的随机变量
    char c= 99; //未使用的随机变量
    std::cout<<"in fun 2\n"; 
}
void calll() { fun(); }

编译案例与输出结果 #

案例1：使用命令 g++ 1.cpp 2.cpp 编译运行，输出为：

in fun 1
in fun 1

案例2：调换编译顺序，使用 g++ 2.cpp 1.cpp 编译运行，输出变为：

in fun 2
in fun 2

现象分析 #

从这两个案例能明显看出：所有fun()的调用，最终执行的都是编译命令中第一个.cpp文件所在编译单元的fun()定义。这直接说明：内联函数默认具有外部链接属性——不需要额外加extern声明，就能在多个目标文件中被引用，但链接阶段只会选用找到的第一个定义。

但这里有个容易困惑的点：如果删掉任意一个.cpp中的inline void fun()定义，编译器会立刻抛出“fun()未定义”的错误。也就是说，虽然链接器最终只用到了第一个找到的定义，但每个调用fun()的编译单元，自身必须包含该函数的完整定义，哪怕这个定义最后没被实际使用。

核心疑问解答 #

为什么编译器要求每个编译单元都要有定义，却只选用单一定义？

这背后是C++标准规则和编译器优化逻辑的结合：

1. 内联优化的前提：当你开启优化（比如-O2）时，编译器极有可能把fun()直接内联到调用点——这时候必须当前编译单元有fun()的完整定义，才能完成内联替换。如果某个编译单元没有定义，编译器既没法做内联优化，也不符合C++标准对inline函数的要求（标准规定：inline函数在每个使用它的编译单元中都必须有定义）。
2. 链接时的ODR例外：如果编译器最终没有做内联（比如没开优化，或者函数不符合内联条件），函数会以普通外部链接函数的形式存在。这时候C++的ODR（One Definition Rule）对inline函数网开一面：允许多个编译单元有相同的inline函数定义，但链接器会选择第一个遇到的定义作为全局可用版本，其他同名定义会被忽略。

哪些条件能提升函数被内联的概率？

注意：没有任何条件能绝对保证函数被内联，因为inline本质上是给编译器的优化建议，编译器有权拒绝。不过满足这些条件时，内联的概率会很高：

• 函数代码量极小（比如只有几行，无复杂分支、循环或嵌套调用）
• 开启了编译器优化选项（比如-O1、-O2、-Os等）
• 函数没有被取地址（比如没有用函数指针指向该函数）
• 函数不是普通递归函数（部分编译器支持尾递归内联，但普通递归几乎不会被内联）

另外，部分编译器提供了强制内联的扩展关键字，比如GCC的__attribute__((always_inline))、MSVC的__forceinline，但这不属于标准C++，且极端情况下编译器仍可能拒绝内联。

内容的提问来源于stack exchange，提问作者Agrudge Amicus