3.5 模板元编程 (Template Metaprogramming, TMP)

文档摘要

3.5 模板元编程 (Template Metaprogramming, TMP) 3.5 模板元编程 (Template Metaprogramming, TMP) 模板元编程（Template Metaprogramming, TMP）是一种利用C++模板机制在编译时执行计算的技术。这里的“元”（meta）意味着程序不是操作运行时的数据，而是操作程序本身的结构（类型、模板参数等）。通过模板实例化、特化以及递归等手段，TMP将一部分计算从程序的运行时转移到编译时，从而实现静态断言、代码生成、类型操作以及性能优化等目标。 3.5.1 TMP 的本质：编译时计算理解TMP的关键在于认识到C++模板的实例化过程是一个强大的计算引擎。