C++20的Concepts是一种用于约束模板参数的语言特性，它允许在编译期对类型或值设定明确的要求，从而让模板接口更清晰，编译错误更容易理解。在传统模板编程中，如果传入不满足操作的类型，错误信息往往晦涩冗长，而Concepts能在模板实例化前就进行检测。
什么是Concepts
Concepts本质上是编译期布尔谓词，用来描述类型应具备的属性或支持的操作。它可以判断某个类型是否可拷贝、是否支持加法、是否有特定成员函数等。通过Concept约束，编译器能在不匹配时给出直观提示。
基本定义方式
我们可以使用concept关键字定义自己的约束。例如要求类型支持加法操作：
#include <iostream>
template <typename T>
concept Addable = requires(T a, T b) {
{ a + b } -> std::same_as<T>;
};
template <Addable T>
T add(T a, T b) {
return a + b;
}
int main() {
std::cout << add(1, 2) << std::endl;
// std::cout << add(std::cout, std::cout) << std::endl; // 编译错误，清晰提示不满足Addable
return 0;
}
使用Concepts约束模板
Concepts有三种常见用法：在template参数后直接写Concept名、使用requires子句、以及配合auto做受限泛型。
requires子句写法
当约束较复杂时，可用requires表达多个条件：
#include <concepts>
template <typename T>
requires std::integral<T> && (sizeof(T) > 1)
T double_val(T x) {
return x * 2;
}
与SFINAE对比
在C++20之前，我们常用std::enable_if实现类似功能，代码繁琐且报错不友好。Concepts使约束声明式、可读性更高。
| 方式 | 可读性 | 错误信息 |
|---|---|---|
| SFINAE | 低 | 冗长难懂 |
| Concepts | 高 | 明确指出不满足的约束 |
实际价值
Concepts让模板库接口自文档化，调用方一眼可知类型要求；同时编译期拦截错误，减少模板实例化爆炸。它是现代C++模板编程的重要改进，建议在新项目中优先采用。