C++20的concepts允许为模板参数定义约束，提升代码可读性和错误提示；通过concept关键字定义谓词，如Integral或Addable，并结合requires表达式检查操作合法性；标准库提供std::integral等常用concept，可应用于函数、类模板及简写函数语法，增强类型安全与编译时检查。
在C++20中，concepts 是一个重要的新特性，它允许我们为模板参数指定清晰的约束条件，从而提升代码的可读性、可维护性和编译错误信息的友好程度。相比以前只能靠SFINAE或requires表达式“隐式”限制模板，现在可以显式声明哪些类型是合法的。
什么是Concepts？
Concept是一个编译时谓词（即返回true或false），用于约束模板参数。它可以看作是对类型的一组要求，比如“这个类型必须支持加法操作”或者“必须是整数类型”。
定义一个concept使用 concept 关键字，后接名称和一个布尔表达式：
template<typename t>
concept Integral = std::is_integral_v<t>;
template<integral t>
T add(T a, T b) {
return a + b;
}
</integral></t></typename>
上面的例子中，Integral 是一个concept，只有整型类型（如int、long等）才能实例化add函数。
如何定义和使用自定义Concept
除了基于类型特征（type traits）定义concept，还可以通过requires表达式来检查操作是否合法。
template<typename t>
concept Addable = requires(T a, T b) {
{ a + b } -> std::convertible_to<t>;
};
</t></typename>
这段代码表示：类型T必须支持+操作，并且结果能转换为T本身。这样就能确保加法行为符合预期。
然后你可以用它来约束函数模板：
template<addable t>
T add(T a, T b) { return a + b; }
</addable>
若传入不支持+操作的类或结果类型不匹配，编译器会直接报错指出违反了Addable约束，而不是抛出一长串模板实例化失败的信息。
标准库中的常用Concepts
C++20标准库在
- std::integral：整型类型
- std::floating_point：浮点类型
- std::default_constructible：可默认构造
- std::copyable：可复制
- std::equality_comparable：支持==操作
可以直接使用它们来简化约束：
#include <concepts>
template<:integral t>
void process_integer(T value) {
// 只接受整型
}
</:integral></concepts>
在类模板中使用Concepts
concepts同样适用于类模板。你可以在类模板参数列表中加入约束：
template<typename t>
concept Printable = requires(T t) {
std::cout
struct Logger {
void log(const T& value) {
std::cout
</typename>如果T不支持输出到std::cout，编译就会在模板定义处报错，提示哪个要求没满足。
函数参数中的简写语法（abbreviated function template）
C++20还支持一种更简洁的写法，直接在函数参数中使用concept名称：
void scale(std::integral auto& x, int factor) {
x *= factor;
}
这等价于：
template<:integral t> void scale(T& x, int factor); </:integral>
这种写法适合简单场景，让代码看起来更接近普通函数，但功能仍是模板。
基本上就这些。合理使用concepts能让模板编程更安全、易懂，也能大幅改善错误提示。刚开始可能觉得requires表达式有点复杂，但一旦掌握常见模式，写起来就很自然了。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
