在C++20之前，模板编程主要依赖SFINAE和std::enable_if来实现类型约束，写法晦涩且报错不友好。C++20引入的concept提供了一种直观、可读性强的机制，用于在编译期约束模板参数必须满足的类型要求。通过concept，我们可以明确告诉编译器某个模板参数需要具备哪些操作或属性。
什么是concept
concept是一组在编译期求值的约束条件，用于描述类型应该支持的操作或特征。它可以像类型一样在模板中使用，让编译器在实例化前就检查类型是否合格。
如何声明concept
使用concept关键字配合requires子句来声明。下面是一个要求类型可加法的concept示例：
#include <iostream>
// 声明一个concept，要求类型T支持 operator+
template <typename T>
concept Addable = requires(T a, T b) {
{ a + b } -> std::same_as<T>;
};
// 使用concept约束模板参数
template <Addable T>
T add(T a, T b) {
return a + b;
}
int main() {
int x = 1, y = 2;
std::cout << add(x, y) << std::endl;
return 0;
}
在上面代码中，Addable要求类型T的两个对象相加后结果类型仍为T。如果不满足，编译器会直接提示类型不符合Addable概念。
concept的使用方式
concept可以在多个位置使用来约束模板，常见方式如下：
- 直接作为模板参数前的类型修饰，如
template <Addable T>。 - 在requires表达式中作为条件判断，如
requires Addable<T>。 - 结合auto在函数参数中使用，如
void foo(Addable auto x)。
使用requires表达式约束
也可以在模板内部用requires子句做更灵活的控制：
template <typename T>
requires Addable<T>
T multiply_add(T a, T b, T c) {
return add(a, b) + c;
}
组合多个concept
使用逻辑运算符可以组合约束，比如要求类型既可加又可输出：
#include <iostream>
#include <concepts>
template <typename T>
concept Printable = requires(T a) {
{ std::cout << a } -> std::same_as<std::ostream&>;
};
template <typename T>
concept AddableAndPrintable = Addable<T> && Printable<T>;
template <AddableAndPrintable T>
void show(T a, T b) {
std::cout << add(a, b) << std::endl;
}
总结
通过concept，C++20让模板类型约束变得声明式且易读。声明时用concept加requires描述类型能力，使用时放在模板参数或requires子句中即可。这样不仅编译错误更清晰，也降低了泛型代码的维护成本。