模板元编程是在编译期通过模板实例化完成计算的技术，用于类型生成、常量计算和逻辑判断；示例包括编译期阶乘计算，利用类模板递归与特化实现，C++14变量模板简化常量定义，C++17 if constexpr 实现编译期分支，广泛应用于类型萃取、SFINAE重载控制、策略模式及编译期数据结构，提升性能与类型安全。

模板元编程（Template Metaprogramming，简称 TMP）是 C++ 中一种在编译期执行计算的技术。它利用模板机制，在程序编译阶段完成类型生成、数值计算甚至逻辑判断，从而提升运行时性能并增强类型安全。

什么是模板元编程

模板元编程不是在运行时执行代码，而是在编译期间由编译器“展开”模板并生成实际代码的过程。其核心依赖于 C++ 模板的实例化机制和递归能力。最常见的用途包括：

• 编译期常量计算（如阶乘、斐波那契数列）
• 类型选择与条件编译（通过 std::enable_if 或 if constexpr）
• 泛型库设计（如 STL 和 Boost）

基础示例：编译期阶乘计算

使用类模板特化实现一个在编译期计算阶乘的例子：

这里，Factorial 会递归实例化直到 Factorial 的特化版本。整个计算过程发生在编译期，不产生运行时开销。

现代 C++ 中的改进：变量模板与 if constexpr

C++14 引入了变量模板，简化了常量表达式的定义：

C++17 提供了 if constexpr，可在函数模板中做编译期分支判断：

这种写法避免了 SFINAE 的复杂语法，使编译期逻辑更清晰。

应用场景举例

模板元编程广泛应用于高性能和通用库开发中：

• 类型萃取：使用 std::is_floating_point 判断类型属性
• SFINAE 控制重载：根据类型特征启用或禁用函数模板
• 策略模式实现：通过模板参数注入行为，如内存分配策略
• 编译期数据结构：构建类型列表、编译期字符串匹配等

基本上就这些。模板元编程虽然学习曲线较陡，但掌握后能写出高效、灵活且类型安全的代码。现代 C++ 的特性让 TMP 更加易用，不必再完全依赖复杂的递归特化。理解其原理对深入使用 STL、Boost 或编写泛型组件非常有帮助。