模板是 C++ 泛型编程的基石，但 C++98 到 C++17 的模板一直有一个核心痛点：对模板参数的要求隐藏在函数体内，只有当用户传入不正确的类型时，才在实例化阶段爆出数页深不可测的错误信息。 SFINAE、enable_if、static_assert 都是在这条链路上打补丁。

C++20 Concepts 从根本上改变了这一点。它让"模板参数必须满足什么条件"成为了接口的显式部分。