模板元编程通过编译期计算提升性能与泛化能力，如用递归模板计算阶乘；结合SFINAE、类型特征实现泛型逻辑；现代C++以constexpr等简化传统复杂写法，广泛应用于高性能库与静态多态设计。
模板元编程（Template Metaprogramming, TMP）是C++中一种在编译期执行计算的技术，利用模板和编译器的实例化机制，将部分逻辑从运行时转移到编译时。它不仅能提升程序性能，还能实现高度泛化的代码结构。
模板元编程的基本原理
模板元编程的核心是利用C++模板系统在编译期间生成和求值代码。编译器根据模板参数生成具体类型或函数，而这些生成过程本身可以携带“计算”逻辑。
一个典型的例子是编译期计算阶乘：
template
struct Factorial {
static constexpr int value = N * Factorial::value;
};
template <>
struct Factorial<0> {
static constexpr int value = 1;
};
// 使用：
constexpr int result = Factorial<5>::value; // 编译期计算为120
这里通过模板特化终止递归，整个计算在编译期完成，不产生运行时开销。
立即学习“C++免费学习笔记（深入）”；
常见技术与模式
模板元编程包含多种常用技巧，用于解决类型推导、条件分支、循环展开等问题。
-
类型特征（Type Traits）：标准库中的
std::is_integral
、std::enable_if
等工具基于TMP实现，可用于判断类型属性并控制函数重载。 - SFINAE（替换失败不是错误）：允许编译器在模板匹配失败时不报错，而是尝试其他候选。常用于编写支持多类型的通用接口。
- 递归模板实例化：模拟编译期循环，如上面的阶乘示例，也可用于生成固定大小数组的展开、参数包处理等。
- 变长模板与参数包展开：结合递归或初始化列表技巧，实现对可变参数的编译期处理。
实际应用场景
模板元编程虽然复杂，但在实际项目中有重要价值。
- 高性能计算：在科学计算库中，用TMP展开循环、消除分支，提高向量操作效率。
- 泛型库设计：STL、Boost等广泛使用TMP实现容器、迭代器、算法的通用性与静态多态。
-
编译期断言与检查：利用
static_assert
结合类型特征，在编译时报错提示类型不匹配。 - 策略模式与静态多态：通过模板注入行为，避免虚函数开销，实现CRTP（奇异递归模板模式）。
现代C++中的演进
C++11以后引入了
constexpr、
if constexpr、变量模板等特性，简化了传统TMP的复杂写法。
例如，C++14允许用
constexpr函数替代部分模板递归：
constexpr int factorial(int n) {
return n <= 1 ? 1 : n * factorial(n - 1);
}
C++17 的
if constexpr让编译期条件判断更直观：
template
auto process(T t) {
if constexpr (std::is_arithmetic_v) {
return t * 2;
} else {
return t.toString();
}
}
这些新特性降低了模板元编程门槛，同时保留其优势。
基本上就这些。掌握模板元编程需要理解编译期与运行期的区别，熟悉模板机制，并能灵活运用标准库提供的元编程工具。虽然学习曲线陡峭，但它是写出高效、灵活C++代码的重要技能之一。不复杂但容易忽略。
