在C++20中,标准库新增了Ranges库,它位于std::ranges命名空间,主要包含范围概念、视图(views)和约束算法。借助Ranges,我们可以用声明式的方式处理容器,而不必手动写多层循环。它支持惰性求值,只有在真正遍历时才计算,能减少不必要的临时对象拷贝。

为什么需要Ranges库
传统做法中,如果要从一个vector中筛选出偶数并将其平方后放入新容器,往往需要定义临时vector并写循环。而使用Ranges,可以把多个操作串成管道,逻辑一目了然,也更容易维护。
基本组件介绍
视图(views)
视图是对底层数据的轻量包装,不拥有数据,也不会立即拷贝。常见视图包括filter、transform、take等。
管道操作符
C++20提供 operator| 来连接视图与算法,写法类似Unix管道,例如 nums | views::filter(...) | views::transform(...)。
代码示例:筛选与转换
下面示例展示如何用Ranges筛选出偶数并计算平方:
#include <iostream>
#include <vector>
#include <ranges>
int main() {
std::vector<int> nums = {1, 2, 3, 4, 5, 6, 7, 8};
// 使用Ranges管道:过滤偶数,再求平方
auto result = nums
| std::views::filter([](int x) { return x % 2 == 0; })
| std::views::transform([](int x) { return x * x; });
for (int v : result) {
std::cout << v << " ";
}
// 输出:4 16 36 64
return 0;
}
与传统写法对比
| 方式 | 代码量 | 可读性 | 临时容器 |
|---|---|---|---|
| 传统循环 | 较多 | 一般 | 需要 |
| Ranges管道 | 较少 | 好 | 不需要 |
常见使用注意点
- 视图是惰性的,算法如std::ranges::sort会要求底层范围可修改且非惰性。
- 若需保存结果,可用std::ranges::copy到容器,或C++23的ranges::to。
- lambda中尽量按值或引用明确捕获,避免生命周期问题。
小结
通过std::ranges和views,我们可以用更短的代码完成过滤、映射、截取等集合操作,逻辑清晰且性能友好。掌握Ranges库有助于写出现代、简洁的C++20风格代码。