C++20的Concepts特性通过约束模板参数类型，使编译器能在实例化初期检测类型错误，显著改善传统模板冗长难懂的错误信息。1. 使用标准库概念如std::integral可限制模板仅接受满足特定条件的类型，传入不匹配类型时直接报错，避免深层嵌套的推导失败信息。2. 可自定义Concept如Printable，利用requires表达式检查类型是否支持特定操作（如<<输出），调用时不满足则明确提示缺失的操作。3. Concepts结合返回值约束（如SizedContainer要求size()返回可转换为size_t的类型）能精准定位问题，错误信息直指“缺少成员函数”或“返回类型不匹配”。4. Concepts如同为模板添加类型注解，提升代码可读性与复用性，建议在支持C++20的新项目中积极采用以降低调试成本。
模板错误信息过长是C++开发者长期头疼的问题。传统模板在类型不满足要求时，编译器会深入展开实例化过程，最终报出几十甚至上百行的嵌套错误，让人难以定位问题根源。C++20引入的 Concepts 特性正是为了解决这一痛点，它允许我们在模板定义时对类型进行约束，从而在最开始就检查类型合法性，显著改善错误提示。
使用 Concepts 明确限定模板参数要求
Concepts 允许你给模板参数设定清晰的“契约”。如果传入的类型不满足这些条件，编译器会在第一时间报错，并指出具体哪条约束未被满足。
例如，我们希望写一个只接受整数类型的函数：
#include <concepts>
template <std::integral T>
void print_integer(T value) {
std::cout << value << std::endl;
}
当你尝试传入 double 或自定义非整型类时，编译器会直接提示：“约束 'std::integral<T>' 不满足”，而不是深入模板内部报一堆推导失败。
立即学习“C++免费学习笔记（深入）”；
自定义 Concept 提高可读性和复用性
除了标准库提供的概念（如 std::integral, std::default_constructible 等），你可以定义自己的 Concept 来表达更复杂的语义。
template <typename T>
concept Printable = requires(T t) {
std::cout << t;
};
template <Printable T>
void log(const T& obj) {
std::cout << "Log: " << obj << '\n';
}
如果某个类型没有重载 << 操作符，调用 log 时会明确提示：“'Printable' 要求表达式 'std::cout << t' 是合法的”——错误信息直接指向问题本质。
结合 requires 表达式精准控制约束逻辑
Concepts 的核心是 requires 表达式，它可以检查类型是否支持特定操作、是否有某成员函数或类型别名等。
比如要求类型有 size() 方法并返回整数：
template <typename T>
concept SizedContainer = requires(T t) {
{ t.size() } -> std::convertible_to<std::size_t>;
};
这种写法不仅让模板更安全，也让错误信息变成“你的类型没有 size() 成员”或“size() 返回值不能转为 size_t”，而不是一连串模板实例化失败的追踪。
基本上就这些。用 Concepts 写模板，就像给函数加了类型注解，编译器能尽早发现问题，错误信息也变得人性化。虽然 C++20 支持还在普及中，但只要环境允许，建议在新项目中积极使用，能大幅降低调试成本。不复杂但容易忽略。
