Template Metaprogramming
From cppreference.net
模板元编程是一系列在编译时创建新类型和计算值的技术。如果不对递归实例化次数和允许的状态变量数量设限，C++模板是图灵完备的。Erwin Unruh在委员会会议上首次演示了模板元编程，他通过指令让编译器在错误信息中输出质数。标准建议实现至少支持1024层递归实例化，而模板实例化中的无限递归是未定义行为。
|
本节内容不完整
原因：技术细节（特化、SFINAE、ADL、索引序列、折叠表达式、constexpr if 等） |
|
本小节内容不完整
原因：术语（traits、typelists、metafunctions等） |
|
本节内容不完整
原因：缺少 Boost.MPL / Boost.Mp11 / Metal / Kvasir.MPL / Boost.Hana / 等库（或许还应包含远古时期的 Loki） |
|
此章节内容不完整
原因：可能需要历史记录 |
外部链接
| 1. | David Vandevoorde, Nicolai M. Josuttis, Douglas Gregor (2017), C++ Templates - The Complete Guide, 2nd Edition. |
| 2. | 维基教科书： 模板元编程。 |
| 3. | 维基百科： 模板元编程。 |