C++20 中的范围（ranges）库如何提升代码可读性与性能

作者

在 C++20 标准中，ranges 库为容器操作提供了更直观、表达力更强且更安全的方式。它通过一组协同工作的功能模块，让我们在保持性能的同时，能够用更简洁的代码完成常见的容器变换、过滤、排序等任务。下面我们从语义、可组合性、延迟执行和类型安全四个角度来分析 ranges 的优势，并给出一些实战示例。

1. 语义清晰的命名与链式调用

传统的 std::copy_if、std::transform 等算法需要配合 std::back_inserter、std::begin 等迭代器操作，使用时容易出现细节错误。ranges 则把“范围”与“操作”拆分为两个层次：

auto evens = numbers | std::views::filter([](int n){ return n % 2 == 0; })
                   | std::views::transform([](int n){ return n * n; });

这里 | 运算符让我们可以像管道一样把一个范围连续“传递”给多个视图（views）。每个视图只关注一种变换，命名也直接表明了其功能。代码可读性大幅提升，错误率也随之降低。

2. 延迟执行与惰性求值

ranges 的视图本质上是惰性求值的。上面 evens 并不会立即遍历 numbers，只有当我们迭代 evens 或使用 std::ranges::to 收集结果时，才会真正执行。惰性执行消除了不必要的中间容器，使得：

  • 内存占用更低：不再需要为每一步产生的中间结果分配内存。
  • 性能更好：可以在一次遍历中完成所有变换，避免多次迭代。

3. 类型安全与错误检查

ranges 的视图和算法使用现代 C++ 的概念（concepts）进行约束，使得编译器能够在编译期检测大部分错误。比如：

std::views::transform([](int n){ return std::string(n, '*'); }) | std::views::take(3);

如果 take 的参数不是整数，编译器会给出清晰的错误提示。传统算法往往在运行时才会因类型不匹配而崩溃。

4. 与 STL 传统算法的互补

ranges 并不取代传统算法，而是与之共存。我们可以在需要更细粒度控制或优化时使用传统 std::sort、std::for_each，而在需要表达性更强、代码更短时选择 ranges。ranges 与传统算法的混用也很简单：

auto sorted = std::ranges::to<std::vector>(numbers | std::views::sort);

这里先通过 views::sort 对范围排序，然后 to 将结果收集到 std::vector。to 是 C++20 新增的算法，它把一个范围收集到容器中，类似于 std::copy 但更通用。

5. 实战示例：统计偶数平方之和

下面给出一个完整例子，统计一个整数数组中偶数的平方之和，使用 ranges：

#include <vector>
#include <iostream>
#include <numeric>
#include <ranges>

int main() {
    std::vector <int> numbers{1, 2, 3, 4, 5, 6};

    auto sum_of_even_squares = std::accumulate(
        numbers | std::views::filter([](int n){ return n % 2 == 0; })
                | std::views::transform([](int n){ return n * n; }),
        0);

    std::cout << "Sum of even squares: " << sum_of_even_squares << '\n';
    return 0;
}

输出：

Sum of even squares: 56

这个实现比传统写法更简洁、易懂，且在性能上与手动实现相当甚至更好，因为所有变换都在一次遍历中完成。

6. 进一步探索

  • 自定义视图：可以通过 std::ranges::view_interface 定义自己的视图，扩展 ranges 的功能。
  • 管道化并行：结合 std::execution::par，可以在 ranges 的基础上实现并行化，例如 numbers | std::views::transform(... ) | std::ranges::for_each(... )，同时保持线程安全。
  • 与第三方库融合：Boost.Range、range-v3 等库在 C++20 之前就已提供类似功能，后者的语法与标准 ranges 兼容，迁移成本低。

结语

C++20 的 ranges 库让容器操作变得像 SQL 查询一样直观：先声明你想要的“视图”，再通过管道组合它们。它既保留了 STL 的性能优势，又提高了代码的可读性与安全性。无论你是新手还是经验丰富的 C++ 开发者，熟练掌握 ranges 都能显著提升开发效率，值得在日常项目中大力应用。

发表评论