2.1.1.1 模板元编程

文档摘要

2.1.1.1 模板元编程你有没有在深夜调试一个编译失败的模板库时，盯着长达两屏的错误信息发呆？那一行行嵌套着、、的报错，像一堵由符号砌成的高墙，把你和真相隔开。你不是写错了逻辑——你甚至还没开始写运行时逻辑。你只是想让一个在时禁用，却触发了整个类型推导链的雪崩式崩溃。这不是编译器在刁难你。这是模板元编程（TMP）在叩门——它不敲门铃，它直接踹门，还顺手把门框拆了扔进你的构建日志里。一、痛点不是“不会写模板”，而是“不知道模板何时该停止推导” 我们常把 TMP 想象成“编译期的函数式编程”：用当函数，用当返回值，用递归特化当循环。这没错，但致命的盲区在于：我们总在定义“做什么”，却极少显式声明“在什么条件下不该做”。