为何声明为inline却无定义的函数引发链接器错误而非编译错误？

先梳理你遇到的场景：

示例1（触发链接错误） #

// main.cpp:
inline void InlineFun();
int main()
{
    InlineFun();
}
// other.cpp:
#include<iostream>
#include<string>
inline void InlineFun()
{
    std::cout << "From other TU" << std::endl;
}

在VS2022下编译链接会触发LNK2001（未解析外部符号）和LNK1120（未解析的外部符号数量）错误。

示例2（链接成功） #

// main.cpp:
inline void InlineFun();
int main()
{
    InlineFun();  // From other TU
}
// other.cpp:
#include<iostream>
#include<string>
inline void InlineFun()
{
    std::cout << "From other TU" << std::endl;
}
void Fun()
{
    InlineFun();
}

添加Fun()调用InlineFun()后，程序编译链接成功并输出预期内容。

下面针对你的疑问逐一解析：

一、为什么缺定义是链接错误而非编译错误？ #

C++编译是按翻译单元独立进行的。编译器处理main.cpp时，仅能看到inline void InlineFun();的声明——根据标准，inline函数的定义允许存在于其他翻译单元（只要所有TU中的定义完全一致），编译器无法提前知晓其他TU是否提供了定义，因此不会在编译阶段报错。

只有当链接器合并所有翻译单元的目标文件时，才会检查所有符号引用是否有匹配的定义。如果某个TU的函数调用找不到对应的符号实现，且其他TU也未提供该符号，就会触发链接错误。

二、链接器如何捕获inline函数的定义缺失？ #

inline函数默认拥有外部链接，但符号处理逻辑和普通函数不同：

• 普通函数的定义会生成强符号，链接器不允许同一程序中存在多个同名强符号。
• inline函数的定义默认生成弱符号——多个TU中完全一致的inline定义，链接器会视为同一符号，最终仅保留一个副本。

在示例1中，other.cpp里的InlineFun是inline函数，且没有被该TU内部调用，编译器可能会选择不生成对应的弱符号（因为编译器认为不需要为这个未被内部使用的inline函数生成可链接符号）。此时main.cpp里的调用找不到任何匹配的符号，链接器就会抛出未解析符号的错误。

三、示例2为何能成功链接？ #

在示例2的other.cpp中，Fun()调用了InlineFun()，这会迫使编译器在处理other.cpp时必须生成InlineFun的弱符号——因为编译器无法确定是否能对InlineFun进行内联展开（内联是建议而非强制），所以必须生成一个可供链接的符号副本，以满足Fun()的调用需求。

当链接器处理所有目标文件时，main.cpp中对InlineFun的引用就可以绑定到other.cpp生成的弱符号上，因此链接成功，最终调用的是other.cpp中的InlineFun实现。

需要注意：严格来说，示例2中main.cpp仅声明inline函数而未提供定义，是违反C++标准的（标准要求每个使用inline函数的TU都必须包含其定义）。只是部分编译器的链接器实现没有严格拦截这种情况，属于“宽容”的实现行为，并非标准允许的用法。

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