C++20 概念（Concepts）在泛型编程中的实际应用

2026-02-01 作者 stdcpp

在 C++20 中引入的概念（Concepts）为泛型编程提供了更强大的约束机制，使得模板参数的意图更加清晰、错误信息更易读。下面我们通过一个完整的例子，展示如何在一个简单的排序库中使用概念来提升可维护性与安全性。

1. 定义概念

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

// 1.1 比较可比较的类型
template<typename T>
concept Comparable = requires(T a, T b) {
    { a < b } -> std::convertible_to<bool>;
    { a == b } -> std::convertible_to <bool>;
};

// 1.2 支持随机访问迭代器
template<typename It>
concept RandomAccessIterator =
    std::input_iterator <It> &&
    std::sentinel_for<It, It> &&
    requires(It a, It b) { a + 1; a - b; a[0]; };

// 1.3 容器必须提供 begin()、end() 和大小查询
template<typename C>
concept Container = requires(C c) {
    { std::begin(c) } -> RandomAccessIterator;
    { std::end(c) }   -> RandomAccessIterator;
    { c.size() }      -> std::convertible_to<std::size_t>;
};

2. 用概念约束函数模板

// 2.1 归并排序（仅示例，未做完整实现）
template<Container C>
requires Comparable<typename C::value_type>
void merge_sort(C& container) {
    if (container.size() <= 1) return;

    auto mid = container.begin() + container.size() / 2;
    std::vector<typename C::value_type> left(container.begin(), mid);
    std::vector<typename C::value_type> right(mid, container.end());

    merge_sort(left);
    merge_sort(right);

    std::merge(left.begin(), left.end(),
               right.begin(), right.end(),
               container.begin());
}

3. 使用概念的好处

编译期错误定位
如果传入的类型不满足 Container 或 Comparable，编译器会在调用处给出清晰的错误信息，避免了模板特化导致的长而晦涩的错误堆栈。
文档化意图
requires Comparable<typename C::value_type> 明确表明该算法只适用于可比较的元素，读者无需再去阅读实现细节即可知道限制。
更易于维护
当需求变化（例如想支持只可排序但不可相等的类型）时，只需修改概念即可，而不需要在多处手动检查。

4. 运行示例

int main() {
    std::vector <int> nums = { 5, 3, 8, 1, 2 };
    merge_sort(nums);
    for (auto n : nums) std::cout << n << ' ';
    std::cout << '\n';

    // 以下代码将无法编译，因为 std::string 不满足 Comparable（因为 string 比较是合法的，但如果你自定义一个不支持 == 的类型会报错）
    // std::vector<std::unique_ptr<int>> arr;
    // merge_sort(arr); // 触发编译错误
}

5. 进一步扩展

std::ranges 与概念结合
C++20 的 ranges 库已经内置了许多概念，如 std::ranges::input_range，可以直接用于函数签名，进一步提升代码表达力。
自定义概念
你可以为自己的业务类型定义更细粒度的概念，例如 Serializable、JsonConvertible 等，保证函数模板只接受符合业务规则的参数。
条件编译
概念也可以配合 if constexpr 使用，实现更细粒度的分支逻辑，而不需要显式的 SFINAE。

6. 小结

概念在 C++20 中为泛型编程带来了革命性的改进。它们不仅让代码更加自说明、错误信息更友好，而且在维护和扩展时极大降低了成本。建议在日常项目中尽早引入概念，对常见的容器、迭代器、数值类型等进行概念化约束，为团队提供更安全、更易读的代码基座。

发表评论取消回复