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，以实现接口与实现分离、隐藏细节、提高编译效率。

模板分离编译存在的问题

普通函数分离编译正常，但模板分离编译会导致链接错误。

普通函数示例：

// func.h
#pragma once
void func();

// func.cpp
#include "func.h"
void func() { cout << "void func();" << endl; }

// test.cpp
#include "func.h"
int main() { func(); return 0; }

若 func.cpp 中只有声明无定义，链接器找不到符号会报错。这是因为链接阶段需要查找符号表中的地址。

模板示例：

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

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

// test.cpp
#include "func.h"
int main() {
    vector<int> v = {1,2,3,4,5,6};
    Print(v); // 调用处
    return 0;
}

模板不能直接调用，需实例化。模板是按需实例化的。在 func.cpp 中，编译器不知道具体要实例化成什么，无法生成指令；在 test.cpp 中，知道要实例化，但只有声明。链接时找不到 Print 的地址，因为未实例化。

解决办法

1. 最佳实践：建议模板直接定义在 .h 文件中，或在 .h 中做声明定义分离，不要分离到两个文件。

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

这样头文件在调用处展开，编译器有定义，可在编译阶段确定地址。

2. 显式实例化：在定义的地方显示实例化。

// 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);

此方法让编译器生成特定类型的实例，但不常用。