为何C++仅头文件中需对函数和变量使用inline关键字？

核心原因：单定义规则（ODR） #

C++要求程序中非inline的全局函数/变量只能有一个定义，这就是单定义规则（One Definition Rule）。

分离编译与仅头文件模式的差异 #

• 分离编译时，函数声明放在.hpp、定义放在.cpp：每个.cpp编译成独立的目标文件，链接时只有对应.cpp里的定义会被纳入最终程序，不会违反ODR，因此不需要inline。
• 仅头文件模式下，所有代码都在.hpp中：每个包含该头文件的.cpp编译单元，都会把.hpp里的函数/变量定义复制一份到自身目标文件。链接时多个目标文件的相同定义冲突，就会触发多重定义错误。

inline的作用是什么？ #

inline关键字就是用来解决这个冲突的：

• 对于函数：它允许编译器在调用点做代码展开优化，更关键的是，它允许同一程序的多个编译单元中存在内容完全一致的inline函数定义，链接时会自动合并这些定义，不会产生冲突。
• 对于C++17及以后的inline变量：同样允许多个编译单元中有定义，链接时会合并成唯一的全局实例，既避免多重定义，又保证全局可见性。

为什么类/结构体不需要加inline？ #

类的定义本身只是类型声明，不是变量或函数的定义：

• 类内部的成员函数，如果在类定义中直接实现（比如void func(){/*实现代码*/}），会被隐式声明为inline，自然符合ODR规则。
• 像你例子里的void func2();只是声明而非定义，更不会触发ODR问题。类的成员变量也只是声明，只有定义静态成员时才需要考虑ODR限制。

用static替代inline为什么会出问题？ #

static修饰全局函数/变量时，会将它们的作用域限制在当前编译单元：

• 每个包含该头文件的.cpp都会生成一份独立的static变量/函数副本。运行时不同编译单元访问的是不同实例，比如在A文件修改了static变量，B文件的同名变量还是初始值，这就会导致运行结果异常。
• 而inline变量是全局唯一的，inline函数也是共享实例，不会出现多副本的问题。

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