模板的错误信息是语言设计的试金石

C++模板的错误信息在C++20之前是出了名的难以理解——一个嵌套的模板实例化失败可能产生上千行的错误输出。这不仅是工具问题，更是设计问题：当语言的抽象层过深而约束表达不够时，编译器无法为人类"翻译"错误原因。C++20 Concepts的引入本质上是在模板层加回了"人类可读的约束声明"。