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

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

1. 关于 typename 的使用场景

在模板编程中，typename 或 class 用于定义模板参数。但在某些场景下，必须使用 typename，例如编写通用打印容器的函数模板。

#include <iostream>
#include <vector>
#include <list>
using namespace std;

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

int main() {
    vector<int> v = {1, 2, 3, 4, 5, 6};
    list<int> lt = {1, 2, 3, 4, 5, 6};
    Print(v);
    Print(lt);
    return 0;
}

这里的 Container 可以是任意容器。STL（Standard Template Library）是 C++ 标准库的重要组成部分，包含数据结构与算法框架。容器负责存储和管理数据，迭代器负责访问数据。

运行上述代码会报错，问题出在 Container::const_iterator it = con.begin(); 这一句。由于模板的存在，编译器在编译时不知道 Container 具体是什么类型。它无法确定 const_iterator 是一个类型还是一个变量。如果它是类型，则合法；如果是静态成员变量，则不合法。对于类来说，const_iterator 可能是内部类或 typedef 定义的类型，也可能是静态成员变量。

解决方法是在前面加上 typename，即 typename Container::const_iterator it = con.begin();。这告诉编译器这是一个类型，实例化时再确认。

总结：模板参数取内嵌类型时，前面都要加 typename，以消除编译器对类型和变量的歧义。

2. 模板的分离编译问题

2.1 简述程序编译链接的过程

C/C++ 程序从文本变为二进制指令需经过编译、链接两大过程。编译分为预处理、编译、汇编三个部分。

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

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

2.2.1 什么是分离编译

大型项目中，分离编译指每个源文件单独编译生成目标文件，最后链接成可执行文件。通常声明放在 .h 文件，实现放在 .cpp 文件。这样做有利于接口隐藏、避免重复链接、提高编译效率。

2.2.2 模板分离编译存在的问题

普通函数的分离编译正常，但模板分离编译到两个文件会导致链接错误。

普通函数示例：

// 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.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 中知道类型但只有声明。链接时找不到实例化后的符号地址。

3. 解决办法

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 void Print<vector<int>>(const vector<int>& v);
template void Print<list<int>>(const list<int>& lt);

告诉编译器实例化特定类型，但一般不常用。