c++20 Ranges库通过引入范围作为一等公民,支持链式操作与惰性求值,使集合处理更简洁高效。

传统C++中使用STL算法配合迭代器进行集合操作,常常显得冗长且不易读。比如要对一个容器中的元素过滤再变换并输出,代码通常写成这样:
std::vector<int> vec = {1, 2, 3, 4, 5, 6}; std::vector<int> tmp; <p>// 筛选出偶数 std::copy_if(vec.begin(), vec.end(), std::back_inserter(tmp), [](int x) { return x % 2 == 0; });</p><p>// 对每个偶数平方 std::transform(tmp.begin(), tmp.end(), tmp.begin(), [](int x) { return x * x; });</p><p>// 输出结果 std::for_each(tmp.begin(), tmp.end(), [](int x) { std::cout << x << " "; });
这种写法需要多个临时变量、显式传递迭代器区间,逻辑被拆分到不同函数调用中,维护成本高。C++20引入的Ranges库从根本上改变了这一编程范式。
什么是Ranges库
C++20 Ranges库是标准库的重大升级,它将范围(range)作为一等公民,允许直接在容器上进行链式操作。核心思想是把算法从“作用于迭代器对”升级为“作用于整个范围”,并支持组合(composition)和惰性求值。
上面的例子用Ranges可以写成:
立即学习“C++免费学习笔记(深入)”;
using namespace std::views; <p>auto result = vec | Filter([](int x){ return x % 2 == 0; }) | transform([](int x){ return x * x; });</p><p>for (int x : result) { std::cout << x << " "; }
代码更接近自然语言:从vec出发,先过滤出偶数,再进行平方变换,最后遍历输出。无需中间变量,逻辑清晰连贯。
核心特性与优势
Range表达式通过管道操作符|串联,形成数据处理流水线。常见视图包括:
- filter:按条件筛选元素
- transform:对元素做映射变换
- take / drop:取前N个或跳过前N个
- reverse:逆序访问
- join:展平嵌套范围
这些视图是惰性的——只有在遍历时才计算,不产生额外存储。例如:
auto lazy_view = vec | filter([](int x) { return x > 3; }) | take(2);
此时并未执行任何过滤或截断,直到你用范围for循环或std::ranges::copy消费它时才会触发计算。
实际应用场景
处理复杂数据流时,Ranges的优势更加明显。例如解析字符串列表并提取长度大于3的单词首字母:
std::vector<std::string> words = {"hi", "C++", "is", "awesome"}; auto initials = words | std::views::filter([](const auto& s){ return s.size() > 3; }) | std::views::transform([](const auto& s){ return s[0]; }); <p>// 输出: a for (char c : initials) { std::cout << c << " "; }
还可以嵌套组合,比如处理二维数据:
std::vector<std::vector<int>> matrix = {{1,2}, {3,4}, {5,6}}; auto flat_even_squares = matrix | std::views::join // 展平为一维 | std::views::filter([](int n){ return n % 2 == 0; }) | std::views::transform([](int n){ return n * n; });
这种风格接近函数式编程,提升了表达力和可维护性。
基本上就这些。C++20 Ranges库让集合操作变得更简洁、安全且高效,减少了模板参数和迭代器错误,是现代C++不可或缺的一部分。虽然需要编译器支持(如GCC 10+、Clang 13+),但一旦启用,几乎不会再想回到旧式写法。