C++20 中的 std::span：一种无所有权的容器

作者

在 C++20 标准中引入了 std::span，一个轻量级的无所有权容器，用来在不复制元素的情况下对数组或容器的连续子序列进行操作。它的出现极大地方便了对数组、std::vector、std::array 等数据结构的统一视图和安全访问。本文将从 std::span 的概念、实现细节、使用场景以及常见问题进行系统阐述，并给出实践代码示例。

1. 何为 std::span？

std::span 由两部分组成：

  1. 指针（pointer）：指向第一个元素的指针 T*。
  2. 长度（size）：容器的元素个数，类型为 size_t。

它不拥有任何数据，只是对已有连续内存的引用。由于没有所有权，std::span 不负责元素的生命周期管理，也不进行内存分配或析构。

Extent 为编译期常量，用于标记容器大小。若未指定，使用 std::dynamic_extent，表示大小在运行时确定。

2. 主要接口

函数 作用 说明
span() 默认构造 生成空 span
span(T* ptr, size_t count) 根据指针+长度构造 检查 ptr 非空，count>0
span(T(&arr)[N]) 根据数组构造 直接引用数组
`span(std::vector
& vec)| 依据 vector 生成 |vec.data(), vec.size()`
span(std::array<T, N>& arr) 依据 array 生成 arr.data(), arr.size()
size() 返回元素数 等价于 count
empty() 是否为空 size()==0
operator[] 随机访问 断言范围内
front() / back() 访问首尾元素 断言非空
data() 返回底层指针 等价于 &operator
begin(), end() 返回迭代器 仅限编译器支持

3. 使用优势

  1. 安全性

    • 通过 operator[] 的范围检查，可避免越界。
    • 通过 size() 可以提前判断是否需要访问。

  2. 性能

    • 只携带指针和大小，复制代价极低。
    • 不涉及额外分配或解构。

  3. 灵活性

    • 能够与任何可返回指针+size 的容器配合。
    • 支持部分切片：span.subspan(offset, count)。

  4. 简洁

    • 省去了手写指针+长度的繁琐，接口统一。

4. 常见使用场景

  1. 函数参数

    • 允许接受任意长度数组/容器： 
      void process(span <int> data) { /*...*/ }

  2. 子视图

    • 对大容器只需要一段： 
      auto sub = full_span.subspan(10, 20); // 取 10~29 元素

  3. 跨平台接口

    • 在需要与 C API 交互时，用 span 代替裸指针+长度，提高类型安全。

  4. 算法实现

    • 与 STL 算法无缝配合： 
      std::sort(v.begin(), v.end()); // 直接使用容器
std::sort(v.begin(), v.begin()+v.size()/2); // 通过 span 可以更直观

5. 典型代码示例

5.1 计算数组之和

#include <span>
#include <numeric>
#include <iostream>

int sum(span<const int> s) {
    return std::accumulate(s.begin(), s.end(), 0);
}

int main() {
    int arr[] = {1, 2, 3, 4, 5};
    std::cout << "sum = " << sum(arr) << '\n';

    std::vector <int> vec = {10, 20, 30};
    std::cout << "sum = " << sum(vec) << '\n';
}

5.2 过滤偶数并输出

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

void print_even(span<const int> s) {
    for (int v : s)
        if (v % 2 == 0) std::cout << v << ' ';
    std::cout << '\n';
}

int main() {
    std::vector <int> data = {1,2,3,4,5,6,7,8};
    print_even(data);
}

5.3 对子 span 进行排序

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

int main() {
    std::vector <int> data = {9, 3, 7, 1, 5, 4, 6, 8, 2};
    auto sub = std::span(data).subspan(2, 5); // 选取第3~7个元素
    std::sort(sub.begin(), sub.end());
    for (int v : data) std::cout << v << ' ';
    std::cout << '\n';
}

6. 可能遇到的问题与解决方案

问题 原因 解决办法
越界访问 operator[] 断言未通过 使用 data()+手动检查或 std::span::subspan() 保证合法
引用失效 传递 span 给异步或线程，原始容器已析构 确保 span 生命周期不超过底层容器
编译器不支持 旧编译器缺乏 C++20 支持 使用 -std=c++20 或升级编译器
性能问题 频繁复制 span 对象 由于 span 轻量化，复制代价极小，一般无需担忧

7. 结语

std::span 为 C++20 带来了更安全、更简洁的容器视图，既避免了裸指针的危险，又不牺牲性能。它能够让代码在不改变数据所有权的前提下，实现统一的容器接口，极大地提升了可维护性和可读性。无论是函数参数、子视图，还是跨语言接口，std::span 都是一个值得使用的好工具。祝你在 C++ 的旅程中玩得开心 🚀

发表评论