模板与泛型编程笔记（一）

1. 推荐书籍

《C++新经典 模板与泛型编程》难得的很容易看得懂的好书，作者讲技术不跳跃，娓娓道来，只要花点时间就能看懂。

2. 笔记

• 模板为什么要用尖括号？因为便于编译器解析，可以将模板和普通函数声明分开。其实尖括号就相当于函数声明中，用于把参数包裹起来的圆括号，其中的类型，就是参数声明。如

template <typename T> // 尖括号相当于函数的圆括号，T相当于函数的形参
class A {}

从这个角度去看，那么模板就是一个编译期函数，这个函数最原始的用途是在编译器解析后，生成实例化后的代码。后面慢慢发展成了编译期元函数，从而出现了元编程。

• 一直搞不懂偏特化的模板怎么写，怎么推导。直到看到了《C++新经典 模板与泛型编程》的第5.1.3节。特化版本的类模板，需要先确定特化参数的个数，类型，以及格式。然后将其中的泛化类型参数复制出来，放到template声明中。如

// 泛化版本
template <typename T>
class A {}// 偏特化版本
template <typename T> // 再写这里，声明一个泛化类型参数
class A<T, int> // 先写这里，发现需要一个泛化类型T
{}

• 整个C++模板与泛型系统的底层逻辑是：调用模板，通过实参确定类型，根据特化情况，调用匹配的模板函数，推导和展开其他类型，直到无法继续展开。其中，匹配模板函数，实现了编译期的分支控制；递归调用模板，实现了循环控制。二者结合，几乎所有的逻辑都可以实现。

• 常见的模板类型有：函数模板，类模板，变量模板，别名模板。