std::span是C++20引入的非拥有型视图,用于安全访问连续内存。它不管理数据生命周期,仅持有起始地址和元素数量,可替代T*与size_t组合,提升代码安全性与可读性。支持从数组、std::array、std::vector等构造,并提供subspan等操作处理子范围。通过静态extent(如std::span)在编译期检查大小,增强类型安全。常用于函数参数传递,避免原始指针风险,但需确保所指向数据的生命周期有效。

std::span 是 C++20 引入的一个轻量级、非拥有型的视图(view),用于安全地表示一段连续的内存区域。它不管理所指向数据的生命周期,只提供对已有数组或容器中元素的访问接口,类似于指针加长度的组合,但更安全、更易用。
什么是 std::span?
std::span 可以看作是对数组、std::array、std::vector 或其他支持连续存储的数据结构的“视图”。它本身不复制数据,也不负责释放内存,仅仅持有起始地址和元素数量。
它的主要用途是替代传统的 T* 和 size_t 参数组合,提升代码的安全性和可读性。
例如:以前你可能会这样写函数:
立即学习“C++免费学习笔记(深入)”;
void process(int* data, size_t size);
使用 std::span 后变成:
void process(std::spandata);
调用时可以直接传数组、vector 等:
std::vectorvec = {1, 2, 3, 4}; process(vec); // 自动转换为 span
如何创建 std::span
常见的构造方式包括从数组、容器或指针+长度生成 span。
- 从原生数组:
int arr[] = {1, 2, 3};
std::span sp(arr); // 推导出大小为 3
- 从 std::vector:
std::vectorvec = {1, 2, 3, 4}; std::span sp(vec); // 指向 vec 的所有元素
- 指定范围:
std::span sub = sp.subspan(1, 2); // 从索引1开始取2个元素
静态与动态范围(Extent)
std::span 支持在编译期知道大小的“静态 extent”版本,这有助于优化和类型检查。
声明方式如下:
std::spansp4; // 必须绑定大小为4的数组
而动态大小用 std::dynamic_extent 表示:
std::spansp; // 等价于 std::span
静态 extent 能在编译期捕获错误,比如试图将长度为3的数组赋给 span 会失败。
常见使用场景
std::span 特别适合用在函数参数中,避免原始指针带来的歧义和安全隐患。
- 替代 C 风格数组参数:
void my_func(std::spanvalues);
- 处理子序列:
auto mid = data.subspan(1, data.size() - 2); // 去掉首尾
- 作为返回视图(谨慎使用,不能返回局部变量的 span):
std::spanget_view(std::vector & v) { return v; // OK: v 是引用 }
基本上就这些。std::span 让你以统一的方式操作连续内存,减少错误,提高表达力,是现代 C++ 中推荐使用的工具之一。注意它不拥有数据,生命周期必须由调用者保证。不复杂但容易忽略这一点。










