Concepts 提供编译期类型约束，解决模板错误信息晦涩问题。通过定义 Addable 等约束条件，可明确要求类型支持特定操作；结合 std::integral、std::equality_comparable 等标准概念，能编写安全且易读的泛型代码，提升开发效率与代码可靠性。
C++20 的 Concepts 解决了模板编程中长期存在的问题：类型约束不明确、错误信息晦涩难懂。在 Concepts 出现之前，泛型代码依赖 SFINAE 或 requires 表达式（C++20 前）来限制模板参数，但这些方法复杂且报错信息对用户极不友好。Concepts 提供了一种清晰、可读性强的方式来定义对模板参数的约束，让编译器能在早期发现问题，并给出更直观的提示。
什么是 Concepts？
Concepts 是一种用于约束模板参数的机制，它允许你为类型指定“必须满足什么条件”。比如，你可以要求一个类型支持加法操作、必须是整数，或具备迭代器行为。这种约束不是运行时检查，而是在编译期进行验证。
示例：定义一个简单 Concept下面定义一个 Concept，要求类型支持加法操作：
template<typename T><br>concept Addable = requires(T a, T b) {<br> a + b;<br>};
立即学习“C++免费学习笔记（深入）”；
现在可以用这个 Concept 来约束函数模板：
template<Addable T><br>T add(T a, T b) {<br> return a + b;<br>}
如果你传入一个不支持 + 操作的类，编译器会直接提示：“类型不满足 Addable 约束”，而不是展开一长串模板实例化失败的信息。
常用标准 Concept 与泛型约束实践
C++20 在 <concepts></concepts> 头文件中提供了许多预定义的 Concept，可以直接使用：
- std::integral：类型必须是整型（如 int, char, bool）
- std::floating_point：浮点类型（float, double）
- std::default_constructible：可默认构造
- std::copyable：可复制
- std::equality_comparable：支持 == 和 !=
你想写一个函数，只接受能比较相等的类型：
#include <concepts><br><br>template<std::equality_comparable T><br>bool isEqual(const T& a, const T& b) {<br> return a == b;<br>}
如果传入两个不可比较的自定义类型，编译器立刻报错并指出哪个 Concept 未满足，极大提升开发效率。
结合 requires 表达式编写复杂约束
除了组合已有 Concept，还可以用 requires 编写更复杂的逻辑判断。
template<typename T><br>concept HasSize = requires(const T& t) {<br> t.size();<br> { t.size() } -> std::convertible_to<size_t>;<br>};
这里不仅检查是否存在 size()，还通过返回类型约束确保其结果能转为 size_t，增强了安全性。
在类模板中使用 Concepts
Concepts 不仅可用于函数模板，也能用于类模板特化或约束构造函数。
示例：容器只接受可复制的类型template<std::copyable T><br>class MyVector {<br> // ...<br>};
这样，尝试用不可复制的类型实例化 MyVector 会立即被阻止。
基本上就这些。Concepts 让泛型编程从“靠运气编译”变成了“有规可循”，显著提升了代码可读性与维护性。合理使用 Concepts，可以写出既高效又安全的模板代码。不复杂但容易忽略。
