在 C++20 标准中，std::span 与 std::ranges 的引入为容器操作提供了极大的便利。它们能够让我们在不复制数据的前提下，以更自然、更安全的方式访问和变换序列。本文将通过几个实例，展示如何结合这两者实现高性能、可读性极佳的数据处理流程。
1. std::span 简介
std::span<T, Extent> 是一个轻量级的、非拥有的视图，指向一块连续的内存区域。它不负责内存管理，仅提供访问和子视图功能。由于其对底层数据的零拷贝特性，std::span 非常适合在函数间传递数组或 std::vector 的一段范围。
void process(span <int> data) {
for (auto& v : data) v *= 2;
}2. std::ranges 的基本构成
std::ranges 提供了一套基于管道语法的算法与视图（views）。核心思想是“按需生成”。例如 std::views::filter、std::views::transform、std::views::take 等，都是延迟执行的视图。
auto even_numbers = numbers | std::views::filter([](int n){ return n % 2 == 0; });3. 组合使用：一次性筛选、变换与聚合
下面给出一个完整示例：在不拷贝任何元素的前提下，求 `std::vector
` 中所有偶数的平方和。 “`cpp #include #include #include int main() { std::vector data{1, 2, 3, 4, 5, 6, 7, 8}; // 创建 span 视图 std::span span_data(data); // 使用 ranges 视图链 auto result = std::accumulate( span_data | std::views::filter([](int n){ return n % 2 == 0; }) | std::views::transform([](int n){ return n * n; }), 0LL); std::cout `，可以直接把它传给 `std::views`，不必先转回 `std::vector`。 2. **使用 `std::views::take` / `drop`** 当你只需要前 N 个满足条件的元素时，可以把 `take` 视图放在 `filter` 后面： “`cpp auto first_three = data | std::views::filter(cond) | std::views::take(3); “` 3. **避免过度链式** 过长的视图链会导致编译时间增长。可在需要时拆分为临时变量。 ## 6. 结语 `std::span` 与 `std::ranges` 的组合，既能保证代码的简洁与可读性，又能在大多数场景下提供与传统手写循环相当甚至更优的性能。只要熟练掌握它们的基本使用模式，即可在 C++20 代码库中写出高效、易维护的数据处理模块。