C++ 模板的两大核心特性：typename 与分离编译

解决方法很简单，加上 typename 关键字告诉编译器这确实是一个类型：

typename Container::const_iterator it = con.begin();

这样编译器就会跳过歧义检查，等到实例化阶段再确认类型是否合法。总结来说，只要涉及模板参数访问内嵌类型，前面最好都加上 typename。

模板的分离编译问题

编译流程简述

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

1. 预处理：处理宏替换、条件编译、头文件包含、删除注释等，生成 .i 文件。
2. 编译：进行词法、语法、语义分析及优化，生成汇编代码 .s 文件。
3. 汇编：将汇编代码转换为机器指令，生成目标文件 .o (Linux) 或 .obj (Windows)。
4. 链接：合并多个目标文件和库，解决符号引用，生成最终可执行程序。

为什么模板分离编译会报错

常规 C/C++ 项目习惯声明定义分离，即 .h 放声明，.cpp 放实现。普通函数这样做没问题，但模板不行。

以普通函数为例，如果只有声明没有定义，链接时会报找不到符号的错误。这是因为链接器需要在符号表中查找函数地址，如果没有定义，就没有对应的符号记录。

模板的情况更特殊。模板本身不是函数，它需要被实例化才能变成真正的函数。模板是按需实例化的，也就是说，只有当代码真正调用某个特化版本的模板时，编译器才会生成对应的函数体。

如果在 .cpp 文件中定义了模板，而在另一个 .cpp 文件中调用了它：

• 定义方（func.cpp）：编译器不知道这里会被实例化成什么类型，所以不会生成具体的函数指令。
• 调用方（test.cpp）：虽然有调用，但只有声明，没有定义，无法触发实例化。

结果就是链接阶段找不到生成的符号，导致链接错误。

解决办法

方法一：最佳实践

建议将模板的定义直接放在头文件（.h）中。这样当其他文件包含该头文件时，预处理会将定义展开，调用处就有了完整的定义，编译器可以在编译阶段直接实例化并生成代码，无需链接阶段寻找符号。

// func.h
#pragma once
#include <iostream>
#include <vector>
#include <list>
using namespace std;

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

方法二：显式实例化

如果必须保持分离，可以在定义模板的源文件中进行显式实例化，强制编译器生成特定类型的函数代码。

// func.cpp
#include "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;
}

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

这种方法虽然可行，但维护成本较高，一般了解即可，实际开发中推荐使用方法一。