Concepts 是 C++20 引入的语法机制，用于在模板声明时显式约束类型条件，解决模板错误信息晦涩难懂的问题，使编译器能早期报错并精准提示未满足的约束名。
什么是 concepts，它解决什么问题
在 C++20 之前，模板错误信息像天书——std::vector<:string>::push_back(42)</:string> 可能触发几百行嵌套的 static_assert 失败或 SFINAE 推导失败，根本看不出哪条约束没满足。而 concepts 是 C++20 引入的原生语法机制，用于**在模板声明时显式表达类型必须满足的条件**，让编译器能在早期报错，且错误信息直指约束名（比如 requires Integral<t></t> 不满足）。
如何定义一个基础 concept
用 concept 关键字 + requires 表达式即可。核心是写出能被编译器静态求值的布尔条件，不运行、不实例化函数体。
template<typename T>
concept Integral = std::is_integral_v<T>;
template<typename T>
concept Addable = requires(T a, T b) {
{ a + b } -> std::same_as<T>;
};
-
std::is_integral_v<T>是编译期常量，直接判断内置整型 -
requires(T a, T b) { ... }声明“对任意T类型的变量a、b，a + b必须合法，且返回类型与T完全相同” - 注意：
-> std::same_as<T>比-> T更严格，排除了隐式转换可能
怎么在函数模板中使用 concept 约束参数
有三种等效写法，推荐用「约束模板参数列表」形式，最清晰：
template<Integral T>
T add(T a, T b) { return a + b; }
// 或用 requires 子句（适合多约束组合）
template<typename T>
requires Integral<T> && std::is_signed_v<T>
T negate(T x) { return -x; }
// 或用 constrained auto（仅限函数参数，C++20 起支持）
void print(Integral auto x) {
std::cout << x << "\n";
}
- 第一种写法
template<Integral T>最简洁，但只能约束单个参数；多个参数需用requires子句或拆成多个 concept -
requires子句可组合逻辑运算符：&&、||、!，但避免过度嵌套，否则可读性下降 -
constrained auto不能用于类模板或别名模板，仅限函数形参，且无法命名该类型（内部仍为auto）
常见陷阱和兼容性注意点
实际写 concept 时容易忽略编译期语义边界，导致误判或编译失败：
立即学习“C++免费学习笔记（深入）”；
- 不要在
requires表达式里调用未声明的函数：编译器只检查表达式是否可形成，不检查函数定义是否存在。若依赖 ADL，确保作用域内有对应声明 -
std::same_as<A, B>和std::convertible_to<A, B>语义不同：前者要求完全一致（含 cv 限定），后者允许隐式转换。选错会导致本该通过的代码被拒绝 - Clang 12+ / GCC 10+ / MSVC 19.29+ 支持完整 concepts，但旧版本（如 GCC 9）只支持实验性开关
-fconcepts，且行为不一致；生产项目需确认工具链版本 - concept 本身不改变 ABI，但约束后的函数模板实例化规则更严格——不满足约束的调用直接编译失败，不会退化到其他重载
真正难的不是写一个 concept，而是设计出既能覆盖正确用例、又不因过度约束漏掉合理特化类型的条件集合。比如 Iterator concept 要区分 input_iterator 和 random_access_iterator，差一个 operator+ 就可能让算法失去 O(1) 随机访问能力。
