如果说C++有什么特性让其他语言的设计者感到惊讶甚至敬畏，那一定是模板元编程。这个诞生于偶然的特性——最初只是为了实现类型安全的容器而引入的模板机制——被开发者们发现是一种图灵完备的编译时计算语言。这意味着你可以在编译期完成任何计算，从简单的阶乘到复杂的正则表达式匹配，只要你能用模板特化和递归来表达。这种“在类型系统中做计算”的能力，使得C++获得了其他主流语言难以企及的编译期灵活性。
参考：https://oqmyh.cn/category/mingan-huli.html
模板元编程的基本模型是函数式编程。由于模板没有可变的变量，一切计算都必须通过递归和特化来完成。例如，计算一个类型列表的长度，你需要定义一个主模板接受一个类型列表，然后定义偏特化版本匹配非空列表，在特化中递归地计算尾部长度再加一。这种写法与Haskell或Lisp中的列表递归如出一辙。巧合的是，这种纯函数式的模型正是编译期计算的理想形态——因为所有计算都在编译期完成，没有副作用，编译器可以自由地重排和优化计算过程。
模板元编程真正的威力体现在类型萃取上。设想你需要编写一个通用的排序函数，希望根据元素类型是否为标量类型来选择不同的排序算法。如果没有模板元编程，你可能需要为每种类型编写不同的重载。但有了std::is_scalar这样的类型特征，你可以在编译期根据bool值通过std::enable_if或if constexpr选择不同的代码路径。标准库中的几乎所有类型判断工具——is_pointer、is_reference、is_const、is_convertible——都是通过模板元编程实现的。这些工具构成了C++泛型编程的基础设施。
参考：https://oqmyh.cn/category/kang-shuailao.html
另一个经典应用领域是编译期计算。在C++11之前，要在编译期计算某个值，你只能依赖模板元编程。例如计算斐波那契数列的第n项，你需要定义一个类模板，通过递归特化来生成结果。这种代码的晦涩程度是出了名的——即使是一个简单的条件判断，也需要通过模板特化的机制来模拟。C++11引入了constexpr，从根本上改变了这个局面。开发者现在可以直接编写看起来和运行时函数完全一样的编译期函数，只需要在函数声明前加上constexpr关键字。从C++14开始，constexpr函数允许局部变量和循环；C++20引入了constexpr的容器操作（如std::vector和std::string），C++23进一步扩展了constexpr的能力范围。可以说，对于绝大多数编译期计算需求，constexpr已经取代了传统的模板元编程。
那么模板元编程是不是已经被淘汰了？并非如此。constexpr可以处理值的计算，但无法处理类型的转换。类型萃取本质上不是值计算，而是一种从输入类型映射到输出类型的变换。例如，给定一个类型T，判断它是否是整型并返回对应的无符号版本——这个变换无法通过constexpr函数来完成，因为C++不允许在运行时或编译期“创造”新的类型（类型必须在编译期完全确定，但这里的“确定”指的是模板实例化的过程，而constexpr函数不能产生新的类型）。类型层面的计算仍然是模板元编程的专属领地。
参考：https://oqmyh.cn/category/hufu-chengfen.html
C++20引入的concept进一步强化了模板元编程的地位。concept允许你定义一组对类型的要求，比如“可排序”、“可哈希”、“支持加法操作”等。在concept出现之前，这种约束通常通过std::enable_if来施加，代码的可读性很差。concept的引入不仅提高了错误信息的可读性（当模板实例化失败时，编译器会报告哪个concept不满足，而不是输出几百行的模板展开错误），还使得重载决议更加直观。但concept的底层实现仍然依赖于模板元编程——标准库定义的concept本质上是一组类型萃取逻辑的组合。
展望未来，C++社区正在探索一种被称为静态反射的机制。有了编译期的类型信息，很多原本需要手工编写的模板元编程代码可以被自动生成。例如，自动生成两个结构体的相等比较运算符、自动生成序列化/反序列化函数，这些都可以基于反射实现。静态反射与模板元编程的结合，可能会产生比现有std::tuple、std::variant更加强大的抽象。
然而，我们也要承认模板元编程的局限。首先是编译时间的爆炸。一个使用了大量模板元编程的库，如Boost.Hana或nlohmann/json，其编译时间可能比同等功能的非模板代码多出一个数量级。每个模板实例化都是编译器需要处理的新类型，而模板的递归展开可能导致指数级的实例化数量。其次是代码的可读性和可维护性——模板元编程代码通常难以调试，当你看到一条长达几十行的模板错误信息时，即使是经验丰富的开发者也会感到头疼。最后是工具链的支持不足，IDE的自动补全、跳转到定义、重构等功能在复杂的模板元编程代码中往往失效。
参考：https://oqmyh.cn
