我今天从 10 MB 的错误信息里找到了长度为 10 个字符的错误原因。

今天摸了（还在爆肝）

导入

从模板匹配规则我们可以看出，在一个模板被实例化的时候，编译器会对模板参数进行匹配。

而模板参数的匹配，也可以看成是一种类型推导。

惰性推导

名字查找 (Name Lookup)

第一次查找：模板定义时

第二次查找：模板实例化时

题外话：为什么黑 MSVC？

题外话：右值引用？通用引用？

依赖实参的名字查找 (ADL)

题外话：Stateful TMP

SFINAE

参考文献

• [1] wuye9036, CppTemplateTutorial