C++20 中的 Concepts：提高模板代码的可读性与安全性

在 C++20 之前，模板参数的约束往往通过 SFINAE（Substitution Failure Is Not An Error）或 enable_if 进行隐式约束，导致代码难以阅读且错误信息不直观。Concepts 的出现彻底改变了这一点，使得模板参数的要求可以显式声明，编译器能够提供更友好的错误提示。

1. Concepts 的基本语法

template<typename T>
concept Addable = requires(T a, T b) {
    { a + b } -> std::same_as <T>;
};

上述定义表示 Addable 是一个概念，它要求类型 T 能够执行 + 操作，并且返回值与 T 同类型。

2. 在函数模板中使用 Concepts

template<Addable T>
T sum(T a, T b) {
    return a + b;
}

如果调用 sum(1, 2.0)，编译器会在概念检查阶段直接报错，指出 int 与 double 不满足 Addable，而不再产生一堆模糊的 SFINAE 相关错误。

3. 组合多个概念

template<typename T>
concept Incrementable = requires(T a) { ++a; };

template<typename T>
concept IncrementableAddable = Incrementable <T> && Addable<T>;

template<IncrementableAddable T>
T add_and_increment(T a, T b) {
    T c = a + b;
    return ++c;
}

通过逻辑运算符 &&、|| 可以轻松组合概念，实现更细粒度的约束。

4. 自定义概念的优势

• 可读性：概念名称如 RandomAccessIterator 直接表达意图。
• 错误定位：编译器会在概念失败点给出清晰提示。
• 可维护性：将约束抽象为概念后，函数体不受影响，修改约束时只需修改概念即可。

5. 与传统技术的比较

6. 真实项目中的应用

在 STL 里，许多算法已经用 Concepts 重新实现。例如 std::ranges::sort 通过 RandomAccessRange 与 LessThanComparable 等概念来约束模板参数，确保使用者只需提供满足要求的容器即可。

7. 小结

Concepts 为 C++ 模板编程带来了前所未有的可读性与安全性。通过显式声明约束，开发者可以更专注于业务逻辑，而不被隐式的 SFINAE 迷雾困扰。建议在新的 C++20 项目中充分利用 Concepts，逐步替换掉传统的 enable_if 方案，以提升代码质量与可维护性。