在 C++20 之前，模板编程的类型约束往往只能在编译错误中体现，导致错误信息难以理解。Concepts 引入了一种更加显式、可读的方式来描述模板参数的要求，使得代码既更易读，又能在编译阶段提前捕捉错误。
1. 什么是 Concepts？
Concepts 是一种新的语法，用来给模板参数定义约束。它类似于接口，但更轻量、表达式更加灵活。例如：
template<typename T>
concept Incrementable = requires(T a) {
{ ++a } -> std::same_as<T&>;
{ a++ } -> std::same_as <T>;
};这里 Incrementable 指定了类型 T 必须支持前置和后置自增操作，并返回相应的类型。
2. 与传统 enable_if 的区别
传统的 SFINAE 通过 std::enable_if 或模板偏特化实现约束，但约束写法往往难以阅读，并且错误信息不直观。Concepts 的语义更接近自然语言，编译器可以直接给出“类型不满足 Concept X”的报错。
template<Incrementable T>
void incrementAll(std::vector <T>& v) {
for (auto& x : v) ++x;
}如果你尝试把 int* 传递给 incrementAll，编译器会提示 int* 不满足 Incrementable，而不是一堆模糊的模板错误。
3. 组合和约束重用
Concepts 可以组合使用，形成更复杂的约束：
template<typename T>
concept Integral = std::is_integral_v <T>;
template<typename T>
concept SignedIntegral = Integral <T> && std::is_signed_v<T>;
template<SignedIntegral T>
T safeDivide(T a, T b) {
if (b == 0) throw std::invalid_argument("division by zero");
return a / b;
}这里 SignedIntegral 复用了 Integral，避免了重复代码。
4. 对运行时效率的影响
Concepts 只在编译阶段进行检查，生成的二进制代码与没有 Concepts 的版本没有区别。它们不会产生运行时开销，完全属于编译器的优化工具。
5. 与现代 C++ 编程风格的契合
Concepts 与 C++20 的模块化、三方库协作等特性配合良好。它们使得模板库的接口更加清晰，便于库作者和使用者之间的沟通。
6. 示例：一个泛型排序算法
#include <algorithm>
#include <vector>
template<typename T>
concept Comparable = requires(T a, T b) {
{ a < b } -> std::convertible_to<bool>;
};
template<Comparable T>
void quickSort(std::vector <T>& arr, int low, int high) {
if (low >= high) return;
T pivot = arr[high];
int i = low - 1;
for (int j = low; j < high; ++j) {
if (arr[j] < pivot) {
++i;
std::swap(arr[i], arr[j]);
}
}
std::swap(arr[i+1], arr[high]);
quickSort(arr, low, i);
quickSort(arr, i+2, high);
}如果有人尝试将一个不支持 < 运算符的类型传给 quickSort，编译器会直接给出“类型不满足 Comparable”的错误。
7. 结论
Concepts 为 C++ 模板编程带来了更高层次的抽象与安全性。它们通过显式的类型约束，提高了代码可读性，缩短了调试时间，并且不影响运行时性能。随着 C++20 的普及，熟练掌握 Concepts 已成为现代 C++ 开发者不可或缺的技能之一。