4.2.1 C++ 模板元编程

文档摘要

4.2.1 C++ 模板元编程在C++的世界里，有一片被编译器守护的隐秘疆域——它不运行于CPU之上，不分配堆栈内存，不触发中断，甚至不生成任何机器指令；它只存在于预处理器之后、语义分析之中、代码生成之前。这片疆域没有函数，却能完成阶乘计算；没有循环，却可遍历类型列表；没有变量赋值，却能推导出。它就是模板元编程（Template Metaprogramming, TMP）——C++静态语言体系中最锋利也最易割伤手指的一把双刃剑。你或许见过这样的代码：初看只是“递归定义的结构体”，但若你停下脚步，凝视被求值的瞬间：它不是在运行时调用函数，而是在编译期由模板实例化引擎展开为一串硬编码的整数字面量—— ，最终折叠为常量。