C++中的std::span是什么_C++20中表示连续内存的非拥有型视图

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

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::span<int> data);

调用时可以直接传数组、vector 等：

std::vector<int> vec = {1, 2, 3, 4};
process(vec); // 自动转换为 span

如何创建 std::span

常见的构造方式包括从数组、容器或指针+长度生成 span。

ChatsNow

ChatsNow是一款免费的AI写作类浏览器插件，提供智能聊天机器人、智能翻译、智能搜索等工具

253

查看详情

• 从原生数组：

int arr[] = {1, 2, 3};
std::span sp(arr); // 推导出大小为 3

• 从 std::vector：

std::vector<int> vec = {1, 2, 3, 4};
std::span sp(vec); // 指向 vec 的所有元素

• 指定范围：

std::span sub = sp.subspan(1, 2); // 从索引1开始取2个元素

静态与动态范围（Extent）

std::span 支持在编译期知道大小的“静态 extent”版本，这有助于优化和类型检查。

声明方式如下：

std::span<int, 4> sp4; // 必须绑定大小为4的数组

而动态大小用 std::dynamic_extent 表示：

std::span<int, std::dynamic_extent> sp; // 等价于 std::span<int>

静态 extent 能在编译期捕获错误，比如试图将长度为3的数组赋给 span<int, 4> 会失败。

常见使用场景

std::span 特别适合用在函数参数中，避免原始指针带来的歧义和安全隐患。

• 替代 C 风格数组参数：

void my_func(std::span<const double> values);

• 处理子序列：

auto mid = data.subspan(1, data.size() - 2); // 去掉首尾

• 作为返回视图（谨慎使用，不能返回局部变量的 span）：

std::span<int> get_view(std::vector<int>& v) {
    return v; // OK: v 是引用
}

基本上就这些。std::span 让你以统一的方式操作连续内存，减少错误，提高表达力，是现代 C++ 中推荐使用的工具之一。注意它不拥有数据，生命周期必须由调用者保证。不复杂但容易忽略这一点。

以上就是C++中的std::span是什么_C++20中表示连续内存的非拥有型视图的详细内容，更多请关注php中文网其它相关文章！