C++模板最初被设计为一种生成类型安全容器（如vector）的机制，但后来人们发现模板系统是图灵完备的——这意味着可以在编译期使用模板进行任意计算。模板元编程（Template Metaprogramming, TMP）由此诞生，它允许开发者在编译期执行计算、操作类型、进行条件判断和递归展开，从而实现零运行时开销的抽象。本文将介绍TMP的基本技术，包括模板特化、SFINAE、constexpr和折叠表达式，并展示其在现实项目中的应用。
参考：https://npqev.cn/category/jieri-yonghua.html
模板元编程的核心思想是：使用模板参数作为“输入”，通过模板实例化过程中的特化和递归，产生“输出”（类型或编译期常量）。经典的例子是编译期计算阶乘：
template<int N>
struct Factorial {
static constexpr int value = N * Factorial<N-1>::value;
};
template<>
struct Factorial<0> {
static constexpr int value = 1;
};
这里，Factorial<5>实例化会递归展开直到特化版本，整个计算在编译期完成。C++11引入的constexpr简化了编译期计算，上述例子可改写为constexpr int factorial(int n) { return n <= 1 ? 1 : n * factorial(n-1); }，但模板元编程能处理类型计算。
类型计算的典型应用包括：移除类型的const或引用、类型特征（type traits）如std::is_pointer、std::decay等。标准库中的正是基于模板元编程实现。例如，实现一个判断两个类型是否相同的is_same：
template<typename T, typename U>
struct is_same : std::false_type {
};
template<typename T>
struct is_same<T, T> : std::true_type {
};
std::false_type和std::true_type是编译期布尔常量，继承了std::integral_constant。
SFINAE（Substitution Failure Is Not An Error）是TMP中的重要概念。当模板参数替换失败时，不会立即报错，而是将该重载从候选集中移除。SFINAE常被用于根据类型属性启用或禁用函数模板。例如，只为整数类型定义某个函数：
template<typename T>
typename std::enable_if<std::is_integral<T>::value, T>::type
twice(T val) {
return val * 2; }
参考：https://oqmyh.cn/category/meirong-zhishi.html
C++17的if constexpr极大简化了编译期分支，使得模板函数内部的逻辑更清晰。例如：
template<typename T>
auto to_string(const T& t) {
if constexpr (std::is_arithmetic_v<T>) {
return std::to_string(t);
} else {
return std::string(t);
}
}
if constexpr在编译期求值，不满足的分支不会被编译，因此可以安全地调用只在特定类型上存在的成员函数。
模板元编程的高级应用包括：
表达式模板：用于矩阵运算、数值计算库（如Eigen），将表达式组合成模板树，避免临时对象，实现惰性求值。
单位库：编译期检查物理单位的正确性，例如长度除以时间得到速度，如果单位不匹配则编译错误。
序列化/反序列化：根据类型信息自动生成序列化代码，避免运行时反射开销。
策略模式（Policy-based design）：如std::allocator作为模板参数，允许用户定制行为。
C++14/17/20带来了更多元编程工具：变量模板（template T pi = T(3.1415926);）、折叠表达式（C++17，用于变参模板展开）、概念（Concepts，C++20）等。概念的出现部分替代了复杂的SFINAE，使得模板约束更易读写。
然而，模板元编程也饱受诟病：编译时间过长、错误信息晦涩难懂（几十屏的模板堆栈）、代码可读性差。因此，TMP通常用于库编写和框架开发，普通应用程序应谨慎使用。一些最佳实践：
优先使用constexpr函数完成编译期计算，而不是模板递归，除非需要操作类型。
使用标准库的，不要重复造轮子。
对于复杂的类型转换，可以使用using别名和辅助模板。
当错误信息难以理解时，借助static_assert添加用户友好的编译期断言。
考虑使用Boost.Hana等元编程库，提供更高层次的抽象。
模板元编程是C++区别于其他语言的一大特色，它体现了C++“零开销抽象”和“静态多态”的设计哲学。掌握TMP，你将能够编写出高性能、高泛用性的库，并深入理解C++编译器的运作机制。
参考：https://vrhyh.cn/
