C++20 中的 Concepts：让模板更安全更易读

作者

在 C++20 之前，模板参数的约束只能通过 SFINAE（Substitution Failure Is Not An Error）实现，往往导致错误信息模糊、代码难以维护。 Concepts 的引入，为模板约束提供了语义化、可读性强、错误信息友好的方式。本文将从 Concepts 的基本语法、使用场景、与 SFINAE 的区别以及实战案例四个部分，系统阐述 Concepts 在 C++20 中的价值与使用技巧。

一、概念（Concepts）的基本语法

template<typename T>
concept Addable = requires(T a, T b) {
    { a + b } -> std::same_as <T>;
};
  • concept 关键字 用来声明一个概念。
  • requires 子句 描述了模板参数必须满足的表达式和返回类型。
  • 箭头 -> 用于指定表达式的返回类型要求。

语义化约束

概念可以直接用于函数、类模板、变量模板的参数列表：

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

若传入不满足 Addable 的类型，编译器会给出清晰的错误信息，而不是长篇的 SFINAE 误报。

二、Concepts 与 SFINAE 的区别

维度 SFINAE Concepts
语法 复杂、隐式 简洁、显式
错误信息 模糊 清晰、指向问题
适用范围 函数重载、模板特化 函数、类模板、模板参数列表
维护成本 较高 较低

通过将概念与 requires 结合使用，还可以实现更细粒度的约束，甚至对整个模板实例化过程进行条件限制。

三、实战案例：实现一个泛型的排序函数

下面演示如何使用 Concepts 写一个通用的 stable_sort，要求传入的容器必须支持迭代器、可比较性。

#include <concepts>
#include <algorithm>
#include <vector>
#include <string>

template<typename Iter>
concept RandomAccessIter = 
    std::random_access_iterator <Iter> &&
    requires(Iter it) { *it < *it; };

template<typename T>
concept Comparable = requires(T a, T b) {
    { a < b } -> std::convertible_to<bool>;
};

template<RandomAccessIter Iter>
requires Comparable<std::iter_value_t<Iter>>
void my_stable_sort(Iter first, Iter last) {
    std::stable_sort(first, last);
}

使用示例

int main() {
    std::vector <int> vi = {5, 2, 9, 1};
    my_stable_sort(vi.begin(), vi.end()); // 成功

    std::vector<std::string> vs = {"hi", "world"};
    my_stable_sort(vs.begin(), vs.end()); // 成功

    // my_stable_sort("abc", "def"); // 编译错误：类型不满足 RandomAccessIter
}

该实现比传统的 SFINAE 写法更简洁，错误信息更易理解。

四、深入：概念的组合与命名空间

组合

template<typename T>
concept Integral = std::integral <T>;

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

template<typename T>
concept IncrementableIntegral = Integral <T> && Incrementable<T>;

命名空间

Concepts 通常放在一个专用命名空间，避免与标准库或第三方库产生冲突。

namespace myconcepts {
    template<typename T>
    concept Iterable = requires(T t) {
        { t.begin() } -> std::input_iterator;
        { t.end() } -> std::input_iterator;
    };
}

使用时：

using namespace myconcepts;
template<Iterable Container>
void print(const Container& c) { /* ... */ }

五、最佳实践与常见陷阱

  1. 尽量使用 std::same_as 而非 std::convertible_to
    前者更严格，错误信息更准确。
  2. 避免过度约束
    过多的概念会导致编译速度变慢。
  3. 注意递归概念
    在定义互相依赖的概念时，务必使用 requires 而非 concept 的直接引用。
  4. 对第三方库的概念
    通过 namespace 进行封装，避免冲突。

六、总结

C++20 的 Concepts 彻底改变了模板编程的体验：

  • 语义化：用自然语言描述类型要求。
  • 可读性：代码变得更直观。
  • 错误信息：编译错误定位更快。
  • 可组合：通过逻辑运算构造复杂约束。

无论是构造泛型算法、实现库还是写高质量的框架代码，Concepts 都是不可或缺的工具。建议从项目的公共概念库开始，逐步覆盖核心类型，形成良好的约束体系，为后续的维护与扩展奠定坚实基础。

发表评论