c++中如何使用span管理连续内存_c++20 std::span用法与优势【实例】_技术教程

std::span是C++20引入的轻量级内存视图，不拥有数据、不分配内存，仅安全引用已存在连续内存；适用于函数参数接收任意连续容器、避免模板爆炸及跨模块传递数据切片。

std::span 是什么，什么时候该用它

它不是内存分配器，也不拥有数据——std::span 只是一个轻量级的“视图”，用来安全地引用一段已存在的连续内存（比如 std::array、原生数组、std::vector 的 data()）。C++20 引入它，主要是为了解决裸指针 + 长度参数这种易出错组合的问题。

典型适用场景包括：函数参数需要接收任意连续容器、避免模板爆炸、跨模块传递只读/可写数据切片。

注意：std::span 本身不检查越界（运行时无开销），但编译期能推导长度（如绑定到 std::array 时），且支持范围 for、at()（带边界检查）等安全操作。

怎么构造 std::span：常见方式与陷阱

构造本质是传入指针 + 长度，或直接绑定容器。最容易踩的坑是生命周期管理不当——std::span 不延长所指对象的生存期。

绑定 std::vector：用 vec.data() 和 vec.size()，别直接传 &vec[0]（空 vector 会 UB）
绑定栈数组：推荐直接用数组名（编译期推导长度），比如 int arr[5]{}; std::span s = arr;；若手动指定长度，务必确保匹配，否则行为未定义
绑定 std::string：可用 std::span{str.data(), str.size()}，但注意 std::string 的 data() 不保证以 \0 结尾，且 C++20 起 std::string_view 更适合只读字符串场景
不要从临时容器构造：例如 std::span{std::vector{1,2 ,3}.data(), 3} —— vector 析构后 span 指向悬垂内存

std::span 的 const 与可变性控制

std::span 的元素类型决定它是只读还是可写。这直接影响你能调用哪些方法，也影响函数接口设计意图是否清晰。

关键点：

std::span：只能读，不能通过 operator[] 或 data() 修改底层内存
std::span：可读可写，data() 返回非 const 指针
从 std::vector 构造 std::span 合法；反过来（从 const vector 构造非 const span）编译失败
函数参数优先使用 std::span 表达只读需求，比 const std::vector& 更通用，也比 const T* + size_t 更安全

void process_readonly(std::span s) {
    for (double x : s) { /* OK */ }
    // s[0] = 1.0; // 编译错误
}
void process_mutable(std::span s) {
s[0] = 3.14; // OK
}