在 C++20 中，概念（Concepts）被正式引入，提供了一种更直观、可维护的方式来约束模板参数。传统的 SFINAE（Substitution Failure Is Not An Error）技巧虽然强大，却常常导致编译错误难以理解，并且代码可读性不高。概念通过在模板声明前定义约束条件，能够让编译器在检查参数类型时提供更友好的错误信息，同时也简化了模板的实现。
1. 什么是概念？
概念是对类型满足某些特定属性或行为的命名约束。它们类似于接口，但只在编译阶段检查。通过概念，我们可以描述“该类型可以执行加法并返回相同类型”，或者“该类型满足可迭代容器的接口”。当模板参数满足这些概念时，编译器才会实例化模板，否则给出错误。
2. 基本语法
#include <concepts>
// 定义一个概念
template<typename T>
concept Addable = requires(T a, T b) {
{ a + b } -> std::convertible_to <T>;
};
// 使用概念作为模板参数约束
template<Addable T>
T sum(T a, T b) {
return a + b;
}上述代码中，Addable 概念检查类型 T 是否支持 + 运算，并且返回值可转换为 T。sum 函数只有在传入的类型满足 Addable 时才会被实例化。
3. 组合与继承
概念可以组合使用，以创建更复杂的约束。例如，定义一个可迭代的容器概念：
template<typename T>
concept Iterable = requires(T t) {
{ std::begin(t) } -> std::input_iterator;
{ std::end(t) } -> std::input_iterator;
};
template<Iterable Container>
void print_all(const Container& c) {
for (auto it = std::begin(c); it != std::end(c); ++it) {
std::cout << *it << ' ';
}
std::cout << '\n';
}此处 Iterable 检查容器是否提供 std::begin 和 std::end 并返回输入迭代器。通过组合概念，可以快速构建高层次的接口。
4. 与 SFINAE 的对比
SFINAE 需要在函数模板内部使用 std::enable_if_t 或者 requires 子句，而概念则把约束提升到函数签名层面，减少了模板内部的繁琐代码。编译器能够在检查阶段立即报告错误，而不是在实例化后才发现。
SFINAE 示例：
template<typename T, typename = std::enable_if_t<std::is_arithmetic_v<T>>>
T multiply(T a, T b) {
return a * b;
}概念示例：
template<std::integral T>
T multiply(T a, T b) {
return a * b;
}后者语义更清晰，且错误信息更易于定位。
5. 现实应用场景
-
自定义算法
使用概念可以确保自定义排序函数仅接受可比容器，避免意外传入非可比类型。 -
库设计
在设计泛型库时，利用概念将接口与实现分离，提供更好的文档化和可维护性。 -
性能优化
概念允许编译器在编译阶段做更精确的类型检查，减少运行时开销。
6. 常见概念库
- ` `：标准库提供的基本概念，如 `std::integral`, `std::floating_point`, `std::semiregular` 等。
ranges：C++20 ranges 相关概念，如std::ranges::input_range,std::ranges::output_range。
7. 小结
C++20 概念为泛型编程带来了更高层次的抽象与可读性。通过明确的约束，模板代码更易维护，错误信息更友好。建议在新的 C++20 项目中优先使用概念，而不是传统的 SFINAE 技巧。未来的标准更新还会继续扩展概念生态，进一步提升 C++ 的表达力与可靠性。