模板元编程

模板元编程是一系列在编译时创建新类型和计算值的技术。如果对递归实例化和允许的状态变量的数量没有限制，则 C++ 模板是图灵完备的。 Erwin Unruh 是第一个在委员会会议上演示模板元编程的人，他指示编译器在错误消息中打印素数。该标准建议实现支持至少 1024 级递归实例化，并且模板实例化中的无限递归是未定义行为。

外部链接

1.	David Vandevoorde、Nicolai M. Josuttis、Douglas Gregor (2017)，C++ 模板 - 完整指南，第二版。
2.	Wikibook： 模板元编程。
3.	Wikipedia： 模板元编程。