C++分离编译时类内定义成员函数为何报未定义引用错误

核心原因是C++标准对类内定义成员函数的隐式规则：所有在类定义内部直接实现的成员函数，都会被默认标记为inline函数，这类函数的代码生成、链接属性和类外定义的普通成员函数完全不同。

两种定义方式的行为差异 #

• 类外定义的普通非inline成员函数：只要单个翻译单元（即单份被编译的.cpp文件）中存在该函数的明确定义，编译器就一定会为其生成全局可见的外部链接符号，链接阶段可以被其他翻译单元的目标文件正常索引。你给出的第一份可运行示例中，MyModule::print_msg写在类外部，编译mod.cpp时会直接在mod.o中生成该函数的全局符号，main.o中对该函数的未解析引用可以被链接器从mod.o中找到，因此链接成功。
• 类内定义的隐式inline成员函数：编译器不会在看到函数定义时就直接生成外部链接符号。它的生成规则是：仅当当前翻译单元中存在对该函数的ODR-use（即实际调用、取函数地址等必须生成实体的场景）时，编译器才会在当前目标文件中生成该函数的符号，且多数编译器默认将这类符号生成为弱链接属性；如果当前翻译单元完全没用到这个函数，编译器会直接跳过该函数的代码生成，不产出任何对应符号。

示例报错的直接原因 #

你把print_msg的实现移到mod.cpp的类内部后，整个mod.cpp翻译单元里没有任何代码调用过这个函数、也没有任何场景需要用到这个函数的实体，因此编译mod.o时，编译器根本没有为MyModule::print_msg生成任何可被链接的符号。
而main.cpp中只有类的声明（仅声明了存在print_msg这个成员函数，没有实现），编译main.o时会生成对MyModule::print_msg()的未解析引用，等待链接阶段匹配。最终链接时两个目标文件里都找不到该函数的实际符号，自然抛出undefined reference错误。

补充说明 #

你提到的“把类定义放到头文件是标准做法”本质上是适配inline函数的规则：把带类内实现的类定义放在头文件中后，所有需要调用该成员函数的.cpp文件通过include头文件，就能在当前翻译单元拿到inline函数的完整定义，编译器在编译当前.cpp时如果检测到对该函数的调用，就会直接在本地目标文件生成对应的弱符号。链接阶段即使多个目标文件都生成了同一个inline函数的弱符号，链接器也会自动保留一份有效实现，既不会报重定义错误，也不会出现找不到符号的问题。

注意：并不是类内定义的成员函数绝对无法用于分离编译，如果你在mod.cpp中人为添加一段对该函数的调用代码，强制编译器在mod.o中生成对应符号，链接也可能通过，但这种写法完全依赖编译器的具体实现，不符合C++规范，换编译选项、编译器版本都可能失效，完全不推荐在实际项目中使用。

// 不推荐的hack写法示例，仅作原理验证
// mod.cpp
#include <cstdio>

class MyModule {
public:
    void print_msg() { printf("hello from module\n"); }
};

// 人为触发函数代码生成
void __force_gen_hack() {
    MyModule tmp;
    tmp.print_msg();
}

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