模板元编程
来自 cppreference.cn
模板元编程是一系列在编译时创建新类型和计算值的技术。如果对递归实例化和允许的状态变量的数量没有限制，C++ 模板是图灵完备的。Erwin Unruh 是第一个在委员会会议上演示模板元编程的人，他通过指示编译器在错误消息中打印出素数。标准建议实现至少支持 1024 层递归实例化，模板实例化中的无限递归是未定义行为。
| 本节不完整 原因：技术（特化、SFINAE、ADL、索引序列、折叠、constxpr if 等） |
| 本节不完整 原因：术语（trait、typelist、元函数等） |
| 本节不完整 原因：库 Boost.MPL / Boost.Mp11 / Metal / Kvasir.MPL / Boost.Hana / 等（甚至可能是黑暗时代的 Loki） |
| 本节不完整 原因：也许是历史 |
[编辑] 外部链接
| 1. | David Vandevoorde, Nicolai M. Josuttis, Douglas Gregor (2017), C++ 模板 - 完整指南，第 2 版。 |
| 2. | Wikibook: 模板元编程。 |
| 3. | 维基百科: 模板元编程。 |
