17370845950

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
}

和原始指针、vector、array 对比的实际代价

std::span 在绝大多数平台下就是两个字段：pointer + size_type（通常 16 字节），和 std::pair 几乎一样大小。它没有堆分配、没有引用计数、不抛异常（除 at() 外）。

性能上几乎零开销，但要注意：

• 编译器对 std::span 的优化程度依赖于上下文；某些复杂模板链中可能不如裸指针激进
• 用 std::span::subspan() 切片不会复制数据，但每次调用都生成新 span 对象（值语义），开销可忽略
• 相比 std::vector，它不提供容量、增长、析构逻辑——这不是缺点，而是职责分离
• 相比 std::array，它不带编译期长度约束，但换来运行时灵活性

真正容易被忽略的是：当你把 std::span 作为类成员或长期持有时，必须确保它所引用的原始内存生命周期严格长于 span 本身——这是唯一需要你主动管理的契约。