在 C++20 中引入的 库为容器和算法提供了一种更为直观和安全的组合方式。相比传统的基于迭代器的算法调用，ranges 采用的是 view 与 pipeable 的概念，使代码既简洁又易于组合。本文将从两个方面来说明如何在实际项目中将 ranges 与传统算法相结合，以及它们之间的优势与注意事项。
1. ranges 基础概念回顾
1.1 View
- View：一种延迟评估的序列，表示对原始容器的一种视图（如切片、去重、筛选等）。常见的 view 有
std::views::filter、std::views::transform、std::views::take、std::views::reverse等。 - View 的优点是无副作用：它们不复制数据，而是根据需要动态生成元素，适合大数据量处理。
1.2 Pipeable 算法
- Pipeable：算法可以像函数链一样被“管道化”使用，语法类似
std::views::filter(...) | std::views::transform(...) | std::ranges::for_each(...)。 - 与传统算法的差别在于，pipeable 算法使用 范围 作为输入，而非迭代器对。
2. 传统算法示例
假设我们有一个 `std::vector
`，需要先筛选偶数，再乘以 2，最后统计其和。 “`cpp std::vector vec = {1,2,3,4,5,6,7,8,9,10}; int sum = 0; std::for_each( std::make_move_iterator(vec.begin()), std::make_move_iterator(vec.end()), [&sum](int x) { if (x % 2 == 0) sum += x * 2; }); “` 上述代码虽然可行，但可读性不高，且存在多次遍历的隐式成本。 — ## 3. ranges 版实现 “`cpp #include #include #include #include int main() { std::vector vec{1,2,3,4,5,6,7,8,9,10}; int sum = std::ranges::fold_left( vec | std::views::filter([](int n){ return n % 2 == 0; }) | std::views::transform([](int n){ return n * 2; }), 0, std::plus() ); std::cout << "sum = " << sum << '\n'; } “` – `std::views::filter` 只保留偶数； – `std::views::transform` 将偶数映射为乘 2 的结果； – `fold_left` 作为 ranges 版的 `std::accumulate`，最终得到总和。 这段代码一次性完成所有操作，逻辑一目了然。 — ## 4. 传统算法与 ranges 的互补使用 ### 4.1 何时使用传统算法 – **性能敏感的单一操作**：传统算法通常对单个容器迭代更为直接，适用于已知最优实现的情况。 – **与旧代码库兼容**：项目中已有大量基于迭代器的实现，迁移成本较高时，可先保留传统算法。 ### 4.2 何时使用 ranges – **多步处理**：涉及多层筛选、转换、组合时，ranges 可避免多次遍历，代码更简洁。 – **表达式式的链式调用**：可快速验证业务逻辑，降低错误率。 – **延迟求值**：当需要懒加载或按需访问时，view 的特性尤为重要。 — ## 5. 性能考量 | 场景 | 传统算法 | ranges | |——|———-|——–| | 单循环 | 轻量级 | 轻量级 | | 多层视图 | 多次遍历 | 单次遍历 | | 需要中间存储 | 需要 | 不需要（lazy） | | 迭代器兼容 | 完全 | 需要 `std::ranges::begin` / `end` | 实际基准测试表明，**若仅做一次遍历的简单筛选**，传统算法与 ranges 的性能相近；**若涉及两三层以上的过滤/变换**，ranges 通常更快且内存占用更低。 — ## 6. 实际项目中的应用建议 1. **从小处入手**：先在新模块中使用 ranges 编写业务逻辑，验证可读性与性能。 2. **保持一致性**：项目中若大部分代码采用 ranges，尽量统一，避免混用导致调试复杂。 3. **了解底层实现**：在性能敏感的地方，使用 `std::ranges::subrange` 或 `std::views::common` 等工具，确保迭代器行为与传统算法保持一致。 4. **保持编译器支持**：C++20 ranges 的完整实现需编译器支持，建议使用 GCC 11+ / Clang 13+ / MSVC 19.28+。 — ## 7. 结语 C++20 的 `std::ranges` 通过视图与 pipeable 算法的结合，提供了更为现代、表达式式的容器操作方式。它并非要完全取代传统算法，而是为需要多步组合处理、懒加载以及更高可读性的场景提供了强大工具。在实际项目中，结合传统算法与 ranges 的优势，能够让 C++ 代码既高效又易维护。