c++20 的 concept 是一种编译期谓词，用于清晰表达模板参数的类型约束。1. 它通过命名的条件限制模板参数类型，如 integral 概念限定整型；2. 提升代码可读性与错误信息明确性，避免复杂模板匹配错误；3. 支持更精确的函数重载选择，如 process 函数根据参数类型选择不同实现；4. 使用 requires 表达式和布尔条件定义自定义概念，例如 printable 限制类型必须支持输出操作；5. 应注意保持逻辑简洁、作用域可见性及优先使用标准库 concept，以避免重复劳动和歧义重载。
C++20 引入了 concept，这是对模板编程的一次重大改进。简单来说，concept 是一种用于约束模板参数的机制，它让开发者可以更清晰地表达模板函数或类所期望的类型要求。相比以前只能通过 SFINAE 或静态断言来间接实现类型检查，使用 concept 可以让代码更易读、更安全、更容易维护。
什么是 C++20 的 concept？
Concept 就是一个命名的编译期谓词（predicate），它描述了一组类型的约束条件。你可以把它理解为“接口”或者“类型契约”，用来限定模板参数必须满足哪些操作或属性。
举个最简单的例子：
立即学习“C++免费学习笔记（深入）”；
template<typename T> concept Integral = std::is_integral_v<T>;
这表示 Integral 这个 concept 适用于所有整数类型。之后你就可以在模板中使用这个 concept 来限制参数类型：
template<Integral T>
void print(T value) {
std::cout << value << std::endl;
}这样，只有传入整型参数时，这个函数才会被实例化，否则编译器会直接报错，而不是进入一堆复杂的模板匹配流程。
使用 concept 有哪些好处？
- 提升可读性：一眼就能看出模板需要什么类型的参数。
- 增强错误信息：以前模板出错常常是几屏看不懂的错误信息，现在能明确告诉你哪个 concept 不满足。
- 避免无效的模板实例化：提前阻止不合适的类型参与模板推导。
- 支持更好的重载选择：结合 concept 可以写出更精确的函数重载版本。
比如下面这段代码：
template<typename T>
void process(T x) { /* 处理任意类型 */ }
template<typename T>
requires std::integral<T>
void process(T x) { /* 专门处理整型 */ }当调用 process(5) 时，编译器会选择第二个更具体的版本；而如果是浮点数，则会使用第一个通用版本。
如何定义和使用自己的 concept？
定义一个 concept 的语法非常直观：
template<typename T> concept Name = condition;
其中 condition 是一个布尔表达式，可以包含类型特征检查、表达式有效性等。
例如，定义一个表示“可打印”的 concept：
template<typename T>
concept Printable = requires(T a) {
{ std::cout << a } -> std::same_as<std::ostream&>;
};然后就可以用它来限制函数模板：
template<Printable T>
void log(const T& value) {
std::cout << "Value: " << value << std::endl;
}这样，只有支持 << 输出的类型才能调用 log() 函数。
常见误区与注意事项
- 不要滥用复杂逻辑：虽然可以在 concept 中写很多条件，但尽量保持简洁明了。
- 注意作用域问题：concept 定义后只在其命名空间内可见，跨文件使用要注意头文件包含。
-
优先使用标准库提供的 concept：如
std::integral,std::default_initializable等，减少重复造轮子。 - 避免歧义重载：多个 concept 条件太接近时，可能导致编译器无法决定用哪个函数。
基本上就这些。concept 是 C++20 模板系统的一大亮点，它让泛型编程从“写得出来”变成了“写得好、看得懂”。虽然刚开始可能需要适应一下新语法和思维方式，但一旦上手，你会发现模板代码变得更清晰也更可控了。
