C++ 模板编程：typename 关键字与分离编译陷阱

回顾一下编译流程

C/C++ 程序从文本到可执行文件，要经过预处理、编译、汇编、链接四个阶段。

1. 预处理：处理宏定义、头文件包含、注释等，生成 .i 文件。
2. 编译：词法、语法分析，生成汇编代码 .s。
3. 汇编：转为机器指令，生成目标文件 .o 或 .obj。
4. 链接：合并多个目标文件和库，解析符号，生成可执行程序。

普通函数的声明和定义可以分离在 .h 和 .cpp 中。因为链接器会在链接阶段去其他目标文件的符号表中查找函数地址。如果找不到定义，就会报链接错误。

为什么模板不能这样分？

模板不是直接调用的，它是按需实例化的。假设我们把模板的声明放在 func.h，定义放在 func.cpp：

// func.h
template<class Container>
void Print(const Container& con);

// func.cpp
template<class Container>
void Print(const Container& con)
{
    typename Container::const_iterator it = con.begin();
    // ... 实现细节
}

在 test.cpp 中调用 Print(v) 时，编译器只看到了声明，不知道具体要实例化成什么。而在 func.cpp 中，虽然有了定义，但编译器并不知道这里需要实例化 vector<int> 还是 list<int>。因此，func.o 中不会生成 Print<vector<int>> 的符号表项。等到链接阶段，test.o 找不到对应的函数地址，自然就会报链接错误。

如何解决分离编译问题

方案一：定义放头文件（推荐）

将模板的定义直接写在 .h 文件中。这样当 .cpp 文件包含头文件时，定义就被展开到了调用处。编译器在编译当前文件时就能完成实例化，生成对应的符号，链接时自然能找到。

// func.h
template<class Container>
void Print(const Container& con)
{
    typename Container::const_iterator it = con.begin();
    while(it != con.end())
    {
        cout << *it << " ";
        it++;
    }
    cout << endl;
}

方案二：显式实例化

在 .cpp 文件中手动告诉编译器实例化哪些类型。

// func.cpp
template<class Container>
void Print(const Container& con)
{
    // ...
}

// 显式实例化
template void Print<vector<int>>(const vector<int>& v);
template void Print<list<int>>(const list<int>& lt);

这种方法会让编译器在编译 .cpp 时就生成特定类型的代码，链接时就能找到符号。不过维护起来比较麻烦，一般了解即可。

理解模板的实例化机制，能帮你避开很多看似莫名其妙的链接错误。