如何在 C++20 中使用 std::span 对数组进行安全切片

在现代 C++（尤其是 C++20）中，std::span 是一个轻量级、无所有权的视图对象，允许你安全地对数组、容器或任意连续内存块进行切片和遍历，而无需复制数据。本文将从概念、实现细节、典型使用场景以及性能优势等方面，详细介绍 std::span 的用法，并通过实例演示如何在实际项目中使用它。

1. 何为 `std::span`

std::span 设计为“视图”而非“容器”，它不管理内存，只持有指向已有数据的指针和长度信息。其核心成员函数包括：

data()：返回指向第一个元素的指针
size() / size_bytes()：获取元素数或字节数
operator[] / at()：访问元素
subspan()：返回新的子视图

2. 语法与构造

#include <span>
#include <array>
#include <vector>
#include <iostream>

int main() {
    std::array<int, 10> arr = {0,1,2,3,4,5,6,7,8,9};

    // 从数组构造 span
    std::span <int> sp = arr;                // 视图整个数组
    std::span<const int> sp_const = arr;    // 只读视图

    // 通过指针和长度构造
    int raw[5] = {10,20,30,40,50};
    std::span <int> sp2(raw, 5);

    // 子视图
    std::span <int> sub = sp.subspan(3, 4);   // 从下标 3 开始，长度 4
}

3. 与容器的互操作

std::span 可以直接从标准容器构造，也可以将容器转换为 span：

std::vector <double> vec = {3.14, 2.71, 1.41};
std::span <double> sv = vec;    // 视图整个 vector

但需注意：若容器在 span 生命周期内被销毁或重新分配，则 span 会悬挂，使用不安全。

4. 常见用途

用途	说明	示例
函数参数	避免拷贝、保持可变/只读控制	`void process(std::span
data);`
切片操作	轻松获得子数组	`auto part = full.subspan(2, 4);`
与 C API 对接	直接传递指针+长度	`c_api_function(arr.data(), arr.size());`
遍历容器	与 range-for 兼容	`for(auto x : span) { /* ... */ }`

5. 与旧代码的兼容

如果你需要与老旧 C API 或第三方库交互，只要它们接受指针和长度，span 可以直接拆解：

extern "C" void legacy_func(int* ptr, std::size_t len);

void wrapper(std::span <int> s) {
    legacy_func(s.data(), s.size());
}

6. 性能分析

零成本抽象：span 本质上是指针+长度，编译器可内联所有操作，运行时无额外开销。
避免拷贝：传递大数组或容器时仅传递两值（指针和大小），比传统传递整个对象快且安全。
缓存友好：保持连续内存，易于 SIMD 或循环优化。

7. 常见陷阱与建议

生命周期管理
span 只是视图，不能拥有数据。使用时请确保底层数据在 span 生命周期内有效。
```
std::span <int> sp = arr; // arr 必须在 sp 使用期间存活
```
可变与只读
span<const T> 为只读视图，适用于传递给不应修改数据的函数。
```
void read_only(std::span<const int> s) { /* ... */ }
```
数组维度
std::span<T, N> 可以指定固定长度，编译器会检查长度是否匹配。
```
std::span<int, 5> fixed5 = arr; // arr 必须恰好 5 个元素
```

多维数组
对二维数组可使用 std::span<std::span<int>> 或自定义视图。

std::array<std::array<int, 3>, 2> matrix = {{{1,2,3},{4,5,6}}};
std::span<std::array<int,3>> rows = matrix;

8. 代码示例：在排序算法中使用 `std::span`

#include <span>
#include <algorithm>
#include <iostream>
#include <vector>

void quicksort(std::span <int> data) {
    if (data.size() <= 1) return;

    int pivot = data.back();
    auto mid = std::stable_partition(data.begin(), data.end(),
                                    [pivot](int x){ return x < pivot; });

    // 递归左半段
    quicksort(std::span <int>(data.begin(), mid - data.begin()));
    // 递归右半段
    quicksort(std::span <int>(mid, data.end() - mid));
}

int main() {
    std::vector <int> nums = {3, 6, 8, 10, 1, 2, 1};
    quicksort(nums);
    for (int v : nums) std::cout << v << ' ';
}

此实现通过 std::span 传递子数组，无需复制，保持了高效性。

9. 结语

std::span 是 C++20 引入的实用工具，为现代 C++ 编程带来了更安全、更高效的数据视图方式。它既兼顾了接口简洁，又不牺牲性能，特别适合函数参数传递、切片操作以及与旧接口的桥接。掌握 span 的使用，将让你的代码既简洁又可靠。祝你编码愉快！

1. 何为 std::span