C++20概念（Concepts）实战案例：让模板更安全、更易读

作者

概念（Concepts）是C++20引入的一项强大特性，它允许我们在模板参数中声明约束，从而在编译阶段就能对类型进行更细粒度的检查。相比传统的SFINAE技巧，概念让代码更加直观、易维护。下面我们通过一个完整的实战案例，展示如何使用概念来实现一个通用的“可排序容器”框架，并结合现代C++最佳实践进行优化。

1. 需求描述

我们想要实现一个函数模板 sort_container，能够对任何满足排序需求的容器进行升序排序。传统的实现往往需要：

template<typename Container>
void sort_container(Container& c) {
    static_assert(std::is_same_v<decltype(std::begin(c)), typename Container::iterator>, "Container must be iterable");
    std::sort(std::begin(c), std::end(c));
}

但这段代码缺乏可读性，且错误信息不够直观。利用概念，我们可以写出更明确、可读性更高的版本。

2. 定义基本概念

2.1 可迭代容器（Iterable）

#include <concepts>
#include <iterator>

template<typename T>
concept Iterable = requires(T t) {
    std::begin(t);
    std::end(t);
};

2.2 可排序容器（Sortable）

我们进一步要求容器的迭代器满足可比较，并且可以被 std::sort 处理。为此，我们声明：

template<typename T>
concept Sortable = Iterable <T> &&
    std::sortable<decltype(std::begin(std::declval<T&>()))>;

std::sortable 是 C++20 提供的概念，用来检查迭代器是否满足 std::sort 的需求（可随机访问、可比较等）。

3. 实现 sort_container

#include <algorithm>

template<Sortable C>
void sort_container(C& container) {
    std::sort(std::begin(container), std::end(container));
}

此函数现在会在编译阶段直接检查 container 是否满足 Sortable，如果不满足，编译器会给出清晰的错误信息，例如：

error: no matching function for call to 'sort_container'
note: candidate template ignored: constraint 'Sortable <T>' not satisfied

4. 应用示例

#include <vector>
#include <list>
#include <set>
#include <iostream>

int main() {
    std::vector <int> vec = {5, 3, 4, 1, 2};
    sort_container(vec);
    for (int x : vec) std::cout << x << ' ';
    std::cout << '\n';

    std::list <double> lst = {2.5, 1.2, 3.8};
    sort_container(lst); // OK，list 支持随机访问迭代器

    // std::set <int> s = {3, 1, 2};
    // sort_container(s); // 编译错误：std::set 的迭代器不可随机访问
}

注意：std::set 的迭代器不是随机访问的，因此不满足 Sortable。如果需要对 std::set 进行排序，通常的做法是将其复制到 std::vector 或者使用 std::inplace_merge 等算法。

5. 与传统 SFINAE 对比

传统实现可能采用以下技巧：

template<typename T, typename = std::enable_if_t<...>>
void sort_container(T& c);

这种写法容易导致错误信息难以定位，并且需要手动指定各种约束。概念则把约束写在模板参数列表中，语义更清晰，也使得错误信息更具可读性。

6. 小结

  • 概念让模板参数的约束声明更直观、语义化。
  • std::sortable 提供了对 std::sort 的内置约束，减少自定义约束的工作量。
  • 通过组合基本概念（如 Iterable）可以快速构建更复杂的约束。
  • 在实际项目中，建议对常用的模板功能使用概念来替代传统的 SFINAE 或 static_assert，从而提升代码可维护性和开发效率。

下一个挑战：尝试用概念实现一个“可映射容器”（支持 operator[]）的通用函数，进一步巩固概念的使用。

发表评论