C++模板通过函数和类模板实现泛型编程，支持类型与非类型参数，在编译期实例化代码并提升复用性与效率；结合模板元编程可在编译期完成计算，现代C++进一步引入可变参数、constexpr、概念等特性，使模板成为高效灵活的编程工具。
C++ 模板编程是实现泛型编程的核心机制，它允许编写与数据类型无关的通用代码。通过模板，函数和类可以在不指定具体类型的情况下定义行为，编译器会在使用时根据实际传入的类型自动生成对应的代码。这种机制不仅提高了代码复用性，还保持了类型安全和运行效率。
泛型编程：用模板编写通用代码
泛型编程的目标是将算法与数据结构从具体类型中解耦。C++ 通过函数模板和类模板来实现这一点。
函数模板 示例：
templateT max(T a, T b) { return (a > b) ? a : b; }
当你调用 max(3, 5) 或 max(3.14, 2.71) 时，编译器会分别生成 int 和 double 版本的函数。这个过程叫“模板实例化”。
立即学习“C++免费学习笔记（深入）”；
类模板 示例：
templateclass Vector { T* data; size_t size; public: Vector(size_t n) : size(n) { data = new T[n]; } ~Vector() { delete[] data; } T& operator[](size_t i) { return data[i]; } };
这样就可以声明 Vector、Vector 等不同类型容器，而无需重复编写结构相似的类。
模板参数不仅可以是类型
除了 typename T 这样的类型参数，模板还可以接受非类型参数，比如整数、指针或引用。
templateclass FixedArray { int data[N]; public: int& operator[](int i) { return data[i]; } };
使用时写 FixedArray arr;，编译器就会生成一个大小为 10 的数组类。这种能力在编译期确定尺寸的场景中非常有用。
模板元编程：在编译期计算
模板元编程（Template Metaprogramming, TMP）利用模板机制在编译期间执行计算或逻辑判断，生成高效代码。最经典的例子是编译期阶乘计算：
templatestruct Factorial { static const int value = N * Factorial ::value; }; template <> struct Factorial<0> { static const int value = 1; };
当你写 Factorial::value，编译器会在编译期算出结果为 120，运行时直接使用常量，没有任何开销。
TMP 常用于类型萃取、条件编译、SFINAE（替换失败不是错误）、以及 C++11 后的 enable_if 和 constexpr 技术中。
现代 C++ 中的发展
C++11 及以后标准大幅增强了模板能力：
- 可变参数模板（
template）支持任意数量的模板参数，广泛用于完美转发和工厂模式。 -
decltype、auto和constexpr让模板代码更简洁且可在编译期求值。 - C++17 引入了类模板参数推导，让对象创建更直观。
- C++20 更进一步，加入概念（Concepts），可以对模板参数施加约束，提升错误提示和代码可读性。
基本上就这些。C++ 模板从简单的泛型工具演变为强大的编译期编程系统，掌握它能写出更灵活、高效的代码。虽然学习曲线陡峭，但理解其工作原理后，很多 STL 和现代库的设计思路就变得清晰了。不复杂，但容易忽略细节。
