C++20 Ranges库怎么用？std::ranges用法与视图详解入门教程

C++20的Ranges库为序列操作提供了全新的抽象方式，它基于范围概念封装了迭代器对，让开发者可以直接对整体序列进行操作，避免了传统迭代器写法中繁琐的begin和end调用。Ranges库的核心优势在于支持链式调用和惰性求值，大幅提升了代码的可读性。

什么是std::ranges

std::ranges是C++20标准库中定义的一组组件，用于统一表示和操作序列。传统的C++标准库算法需要接收两个迭代器来表示操作范围，而Ranges库可以直接接收一个范围对象，这个对象内部包含了序列的起始和结束信息。

范围可以分为三类：

• 输入范围：支持单次遍历的序列
• 前向范围：支持多次遍历的序列
• 随机访问范围：支持随机访问元素的序列

我们日常使用的std::vector、std::array、原生数组等容器都符合范围的要求，可以直接作为Ranges算法的输入。

std::ranges基础用法

std::ranges提供了和传统标准库对应的算法，但是参数形式更简洁。比如传统的std::sort需要传入迭代器对，而std::ranges::sort可以直接传入容器。

下面是一个简单的排序示例：

#include <iostream>
#include <vector>
#include <ranges>
#include <algorithm>

int main() {
    std::vector<int> nums = {3, 1, 4, 1, 5, 9, 2, 6};
    // 使用ranges版本的sort直接排序整个vector
    std::ranges::sort(nums);
    // 输出排序后的结果
    for (int num : nums) {
        std::cout << num << " ";
    }
    // 输出：1 1 2 3 4 5 6 9
    return 0;
}

可以看到，我们不需要写nums.begin()和nums.end()，直接传入nums即可，代码更简洁。

什么是Ranges视图

视图是Ranges库的核心特性之一，它是一种轻量级的、惰性求值的范围适配器。视图本身不存储数据，只是对原始范围的引用，并且只有在被遍历的时候才会计算元素，不会额外占用内存。

视图可以通过管道运算符|进行组合，形成链式操作，这是Ranges库最强大的地方。比如我们可以先过滤元素，再对元素进行转换，最后取前几个元素，整个过程只需要一次遍历。

常用视图详解

filter视图

filter视图用于筛选范围中满足条件的元素，它接收一个谓词函数，只有满足谓词的元素才会被保留。

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

int main() {
    std::vector<int> nums = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
    // 筛选偶数，得到视图
    auto even_nums = nums | std::views::filter([](int n) {
        return n % 2 == 0;
    });
    // 遍历视图输出结果
    for (int num : even_nums) {
        std::cout << num << " ";
    }
    // 输出：2 4 6 8 10
    return 0;
}

transform视图

transform视图用于对范围中的每个元素进行转换，它接收一个转换函数，将每个元素映射为新的元素。

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

int main() {
    std::vector<int> nums = {1, 2, 3, 4, 5};
    // 将每个元素乘以2
    auto doubled_nums = nums | std::views::transform([](int n) {
        return n * 2;
    });
    for (int num : doubled_nums) {
        std::cout << num << " ";
    }
    // 输出：2 4 6 8 10
    return 0;
}

take视图

take视图用于获取范围的前N个元素，当原始范围的元素不足N个时，会返回所有元素。

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

int main() {
    std::vector<int> nums = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
    // 取前3个元素
    auto first_three = nums | std::views::take(3);
    for (int num : first_three) {
        std::cout << num << " ";
    }
    // 输出：1 2 3
    return 0;
}

视图组合使用

视图的强大之处在于可以通过管道运算符组合使用，实现复杂的序列处理逻辑。比如我们可以同时筛选和转换元素，再取前几个结果。

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

int main() {
    std::vector<int> nums = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
    // 先筛选偶数，再乘以3，最后取前2个结果
    auto result = nums 
        | std::views::filter([](int n) { return n % 2 == 0; })
        | std::views::transform([](int n) { return n * 3; })
        | std::views::take(2);
    for (int num : result) {
        std::cout << num << " ";
    }
    // 输出：6 12
    return 0;
}

这个例子中，整个处理过程是惰性求值的，只有当遍历result的时候，才会依次执行筛选、转换和取前N个的操作，不会生成中间临时容器，效率很高。

注意事项

使用Ranges库的时候需要注意几个问题：

• 视图是惰性求值的，不要在原始范围被销毁之后还使用基于它的视图，否则会导致未定义行为
• 视图的遍历可能会多次调用谓词或转换函数，如果谓词或转换函数有副作用，需要注意逻辑是否符合预期
• 不是所有的传统算法都有对应的ranges版本，部分算法还在逐步完善中

总的来说，C++20的Ranges库让序列操作的代码更简洁、更易读，尤其是视图的链式调用可以大幅减少临时变量的使用，提升代码的编写效率。掌握std::ranges的基本用法和视图的使用，能让你更好地利用C++20的新特性。

C++20std::rangesRanges视图范围算法修改时间：2026-07-04 04:30:30