模板元编程通过递归和特化在编译期计算阶乘、判断类型、展开循环，实现零成本抽象，核心是利用模板参数进行编译期逻辑与数值运算。
模板元编程（Template Metaprogramming，简称TMP）是C++中一种在编译期进行计算和类型生成的技术。它利用模板机制，在不运行程序的情况下完成逻辑判断、数值计算甚至类型构造。虽然听起来复杂，但通过几个基础示例就能理解其核心思想。
模板元编程的基本概念
模板元编程的核心是：用模板参数作为“输入”，在编译时生成代码或计算结果。最常见的形式是类模板特化和递归模板实例化。
一个典型的例子是编译期计算阶乘：
template <int N><br>struct Factorial {<br> static constexpr int value = N * Factorial<N - 1>::value;<br>};<br><br>template <><br>struct Factorial<0> {<br> static constexpr int value = 1;<br>};<br><br>// 使用<br>constexpr int result = Factorial<5>::value; // 编译期得到 120
这里利用了模板特化来终止递归。Factorial 会依次展开为 5 * Factorial::value，直到匹配到特化版本 Factorial。
立即学习“C++免费学习笔记（深入）”；
类型萃取与条件判断
模板元编程常用于根据类型特征选择不同实现。比如判断一个类型是否为指针：
template <typename T><br>struct is_pointer {<br> static constexpr bool value = false;<br>};<br><br>template <typename T><br>struct is_pointer<T*> {<br> static constexpr bool value = true;<br>};<br><br>// 使用<br>static_assert(is_pointer<int*>::value);<br>static_assert(!is_pointer<int>::value);
这种模式称为“SFINAE”前奏，通过特化匹配实现类型判断。现代C++中可以用 std::is_pointer 等类型特征，但理解其实现原理有助于深入掌握TMP。
编译期数值计算与循环展开
除了阶乘，还可以做斐波那契数列、幂运算等。例如编译期计算2的n次方：
template <int N><br>struct PowerOfTwo {<br> static constexpr int value = 2 * PowerOfTwo<N - 1>::value;<br>};<br><br>template <><br>struct PowerOfTwo<0> {<br> static constexpr int value = 1;<br>};<br><br>constexpr int x = PowerOfTwo<8>::value; // 256
这类计算完全在编译期完成，不会产生运行时代价。结合 constexpr 和模板，可以构建高效的数学库或配置系统。
实际应用场景举例
模板元编程不只是炫技，它在实际中有不少用途：
- 类型安全容器：根据元素类型自动选择存储策略。
- 表达式模板：用于高性能数值计算库（如Eigen），避免临时对象。
- 编译期断言：用 static_assert 配合 TMP 检查类型约束。
- 泛型工厂：根据类型列表批量注册对象创建逻辑。
例如，用模板递归展开参数包（C++11起）：
template <typename... Args><br>void print(Args... args) {<br> (std::cout << ... << args) << '\n'; // C++17折叠表达式<br>}
虽然现代C++引入了更简洁的语法（如概念、折叠表达式），但理解底层模板机制仍很重要。
基本上就这些。模板元编程初看绕，本质是“把数据和逻辑塞进模板参数里，让编译器帮你算”。掌握递归+特化+类型匹配这三个关键点，就能写出实用的编译期代码。不复杂但容易忽略细节，多写几个小例子就通了。
