C++20标准引入的范围(Ranges)库是对传统标准库算法体系的重大升级,它基于范围概念重新封装了迭代器相关的操作逻辑,让容器元素的处理流程更加简洁直观。范围库的核心思想是将传统的迭代器对(表示一段元素序列)抽象为统一的范围对象,同时提供了一系列可直接作用于范围的新算法和适配器,避免了手动传递迭代器的繁琐操作。

范围库的核心概念
范围库首先定义了范围(Range)的概念,任何类型只要支持begin()和end()方法返回迭代器,就属于范围类型,常见的std::vector、std::array、std::list等容器本身都是范围。范围库在此基础上提供了三类核心组件:
- 范围算法:替代传统标准库算法,直接接收范围作为参数,不需要手动传递迭代器对
- 范围适配器:用于转换、筛选范围中的元素,支持链式调用组合多个操作
- 范围工厂:用于生成特定范围,比如生成连续整数序列的范围
传统容器操作的问题
在C++20之前,处理容器元素通常需要手动传递迭代器对给标准库算法,代码冗余且可读性较差。比如我们要从一个std::vector<int>中筛选出所有大于5的元素,再将这些元素乘以2,最后输出结果,传统写法如下:
#include <iostream>
#include <vector>
#include <algorithm>
#include <iterator>
int main() {
std::vector<int> nums = {1, 3, 6, 2, 8, 4, 7};
std::vector<int> temp; // 临时容器存储筛选结果
// 第一步:筛选大于5的元素
std::copy_if(nums.begin(), nums.end(), std::back_inserter(temp), [](int x) {
return x > 5;
});
// 第二步:将元素乘以2
std::transform(temp.begin(), temp.end(), temp.begin(), [](int x) {
return x * 2;
});
// 第三步:输出结果
std::for_each(temp.begin(), temp.end(), [](int x) {
std::cout << x << " ";
});
return 0;
}
这段代码的缺点很明显:需要定义临时容器存储中间结果,多次调用算法时都要重复传递迭代器对,逻辑分散在多个步骤中,可读性不高。
用范围库简化容器操作
使用范围库的算法和适配器,同样的需求可以用更简洁的方式实现,不需要临时容器,操作可以链式组合:
#include <iostream>
#include <vector>
#include <ranges>
int main() {
std::vector<int> nums = {1, 3, 6, 2, 8, 4, 7};
// 链式调用:筛选大于5的元素,再乘以2,最后输出
auto result = nums
| std::views::filter([](int x) { return x > 5; }) // 筛选适配器
| std::views::transform([](int x) { return x * 2; }); // 转换适配器
// 遍历结果范围输出
for (int x : result) {
std::cout << x << " ";
}
return 0;
}
这里用到了std::views命名空间下的两个范围适配器:filter用于筛选元素,transform用于转换元素。管道运算符|将多个操作串联起来,逻辑清晰,不需要中间临时容器,代码量减少了近一半。
常用范围适配器说明
范围适配器是范围库简化操作的核心,以下是几个常用的适配器:
| 适配器名称 | 功能说明 | 示例 |
|---|---|---|
| filter | 筛选范围中满足条件的元素 | range | std::views::filter(pred) |
| transform | 对范围中每个元素应用转换函数 | range | std::views::transform(func) |
| take | 取范围的前n个元素 | range | std::views::take(n) |
| drop | 跳过范围的前n个元素 | range | std::views::drop(n) |
| reverse | 反转范围中元素的顺序 | range | std::views::reverse |
范围算法的优势
范围算法除了不需要传递迭代器对之外,还有两个重要优势:
- 自动推导范围:算法可以直接接收容器作为参数,不需要手动写
begin()和end(),比如std::ranges::sort(vec)就可以直接对vec排序,替代传统的std::sort(vec.begin(), vec.end()) - 约束检查更严格:范围算法会对传入的范围进行概念检查,如果范围不满足算法要求(比如排序算法要求范围是随机访问范围),会在编译期报错,减少运行时错误
比如对std::list使用std::ranges::sort会编译报错,因为std::list是双向迭代器范围,不满足随机访问的要求,而传统std::sort传入std::list的迭代器只会在运行时出现未定义行为。
注意事项
使用范围库时需要注意几个问题:
- 范围适配器返回的是惰性范围,不会立即执行操作,只有在遍历结果范围的时候才会真正处理元素,因此不需要担心中间操作的性能开销
- 范围库是C++20引入的特性,需要编译器支持C++20标准,比如GCC 10及以上、Clang 13及以上、MSVC 2019 16.10及以上版本
- 如果操作需要修改原容器,需要注意适配器的返回范围是否支持写操作,部分适配器(比如
filter)返回的范围可能是只读的
总的来说,C++的范围库通过抽象范围概念、提供链式适配器和更简洁的算法接口,大幅简化了容器操作的代码,提升了可读性和可维护性,是C++20之后处理容器数据的首选方式。