C++ 为什么建议类模板定义在头文件中，而不定义在源文件中

类模板 XXXX

• 模板的编译模式
• • 模板不是实际的代码，而是一个"代码生成模板"
• 分离定义会导致链接错误
• 补充
• • 为什么普通类可以分离定义？
  • 对比
  • C++11的export关键字（已弃用）

模板的编译模式

C++模板采用两阶段编译（Two-Phase Translation）：

阶段一（定义阶段）：编译器解析模板本身的语法，检查基本错误（如语法错误）。

阶段二（实例化阶段）：当模板被具体使用时（例如MyTemplate），编译器才会生成特定类型的代码（实例化）。

注意：实例化发生在模板被使用的代码处（调用处），而非模板定义处。因此，模板的完整定义必须对调用者可见。

模板不是实际的代码，而是一个"代码生成模板"

（1）只有当你用具体类型实例化模板时（如MyTemplate），编译器才会根据模板定义生成该类型的实际代码。

（2）实例化的触发点：在调用模板的代码处（如main.cpp中使用了MyTemplate），编译器需要当场生成MyTemplate的代码。

（3）因为模板实例化是编译期行为，编译器必须在编译main.cpp时就能看到foo的实现，才能为int版本生成代码。

（4）当编译main.cpp时，编译器看到MyTemplate的声明，但找不到foo的实现（因为定义在另一个.cpp中）。编译器无法生成MyTemplate::foo的代码，导致链接错误。

分离定义会导致链接错误

如果将类模板的声明和实现分离到头文件（.h）和源文件（.cpp）中：

// mytemplate.h
template <typename T>
class MyTemplate {
public:
    void foo(T x); // 只有声明
};

// mytemplate.cpp
template <typename T>
void MyTemplate<T>::foo(T x) { /* 实现 */ } // 定义在.cpp中

当其他文件（如main.cpp）使用该模板时：

// main.cpp
#include "mytemplate.h"
int main() {
    MyTemplate<int> obj;
    obj.foo(42); // 链接错误：找不到foo的实例化实现！
}

原因：

main.cpp 只看到声明，不知道 foo 的实现，无法实例化 MyTemplate::foo。

而 mytemplate.cpp 中的定义未被触发实例化（因为没有代码要求它实例化int版本）。

补充

为什么普通类可以分离定义？

（1）非模板类（普通类）的成员函数在链接时可以通过目标文件（.obj/.o）找到定义。而模板的实例化是编译期行为，需在编译调用代码时"看到"完整定义。

（2）普通类的成员函数在链接时找到定义

普通类的成员函数是实际存在的代码，编译后会保存在目标文件（.obj/.o）中。

调用普通类成员函数时，编译器只需知道函数的声明，链接器会在后续阶段从目标文件中找到定义。

对比

// ordinary.h
class Ordinary {
public:
    void bar(int x); // 只有声明
};

// ordinary.cpp
void Ordinary::bar(int x) { /* 实现 */ } // 定义在.cpp中

// main.cpp
#include "ordinary.h"
int main() {
    Ordinary obj;
    obj.bar(42); // 链接时从ordinary.obj中找到bar的定义
}

1. 编译阶段：
   对普通类，编译器只需知道bar的声明即可编译main.cpp。
   对模板类，编译器需要当场生成代码，因此必须看到定义。
2. 链接阶段：
   对普通类，链接器从ordinary.obj中提取bar的实现。
   对模板类，如果定义不可见，链接器找不到实例化的代码（因为根本未被生成）。

C++11的export关键字（已弃用）

C++曾尝试通过export关键字支持分离模板定义（如export template），但实现复杂且未被编译器广泛支持，最终从标准中移除。