模板元编程是C++在编译期通过模板机制进行类型和常量计算的技术，利用模板特化、递归实例化与SFINAE等特性实现编译期逻辑，可用于类型计算、性能优化与静态多态，现代C++通过constexpr等特性使其更简洁高效。
模板元编程（Template Metaprogramming，简称 TMP）是 C++ 中一种利用模板在编译期进行计算和代码生成的技术。它不是运行时逻辑，而是在程序编译阶段由编译器完成的“元”操作——即对类型和常量的操作，最终生成高效的机器代码。
模板元编程是什么？
模板元编程的核心思想是：把类型和编译期常量当作输入，通过模板实例化机制，在编译期间执行“程序”，生成新的类型或值。这些“程序”本质上是递归展开的模板特化，它们不依赖运行时资源，因此不会带来额外开销。
最经典的例子是编译期计算阶乘：
templatestruct Factorial { static constexpr int value = N * Factorial ::value; }; template<> struct Factorial<0> { static constexpr int value = 1; };
// 使用：Factorial<5>::value 在编译期就等于 120
立即学习“C++免费学习笔记（深入）”；
这段代码在编译时完成计算，运行时直接使用结果，效率极高。
TMP 的基本原理
模板元编程依赖于 C++ 模板系统的几个关键特性：
- 模板参数可以是类型或常量：允许我们传入整数、类型名等作为“输入”。
- 模板特化：可以根据特定条件选择不同的实现，实现类似“分支”逻辑。
- 递归实例化：模板可以引用自身（带不同参数），形成编译期循环或递归。
- SFINAE（替换失败不是错误）：用于在模板匹配时做条件判断，是现代 TMP 和类型萃取的基础。
TMP 能做什么？
虽然 TMP 初看像是“奇技淫巧”，但它在实际工程中有广泛用途：
- 类型计算：比如去除 const、指针，提取函数返回类型等，C++11 后的标准库 type_traits 大量使用 TMP 实现。
- 编译期优化：如表达式模板（Eigen、Blaze 等高性能数值库使用），避免临时对象。
- 泛型容器与算法：STL 容器和算法高度依赖模板，实现与类型无关的通用逻辑。
- 静态多态：通过 CRTP（奇异递归模板模式）实现无需虚函数的多态行为。
现代 C++ 中的演变
C++11 及以后版本引入了 constexpr、变参模板、auto、SFINAE 增强（enable_if）、if constexpr 等特性，让元编程变得更直观、易读。
例如，用 constexpr 函数替代部分模板递归：
constexpr int factorial(int n) {
return n <= 1 ? 1 : n * factorial(n - 1);
}
这种写法更接近常规编程，且可读性远超模板递归。
基本上就这些。模板元编程一开始可能显得晦涩，但它是理解 STL、Boost、现代泛型编程的关键基础。掌握它，你才能真正发挥 C++ 的表达力和性能潜力。不复杂但容易忽略。
