模板元编程

模板元编程是一系列在编译时创建新类型和计算值的技巧。如果对递归实例化的数量和允许的 state 变量数量没有限制，C++ 模板是图灵完备的。Erwin Unruh 在一次委员会会议上首次展示了模板元编程，他通过指示编译器在错误消息中打印出素数来完成这一壮举。标准建议实现至少支持 1024 级递归实例化，而模板实例化中的无限递归是未定义的行为。

外部链接

1.	David Vandevoorde、Nicolai M. Josuttis、Douglas Gregor（2017），C++ 模板 - 完整指南，第二版。
2.	维基教科书：模板元编程。
3.	维基百科：模板元编程。