std::span提供安全高效的数组视图，避免指针与长度的错误；它零开销、支持边界检查，兼容多种容器，是现代C++处理子视图的理想选择。
在C++开发中，处理数组或容器的子视图是一个常见需求。传统做法往往涉及指针、长度参数或复制数据，容易引发越界、内存泄漏或性能问题。std::span（自C++20起正式引入）提供了一种安全、轻量且高效的解决方案——它不拥有数据，仅作为已有数组或容器的“视图”存在。
避免原始指针和长度参数
过去传递数组常采用“指针+长度”的方式：
void process(int* arr, size_t len) {
// 容易出错：无法验证指针有效性，调用者易传错长度
}
这种方式缺乏边界检查，函数内部难以判断数据有效性。std::span将指针与长度封装为一体，自带尺寸信息，接口更清晰：
void process(std::spandata) { for (auto& x : data) { /* 安全遍历 */ } } // 调用示例 std::vector vec = {1, 2, 3, 4}; process(vec); // 自动转换为 span
零开销抽象，性能无损
std::span是纯粹的“视图”类型，不分配内存，只存储指向原始数据的指针和元素数量。它的大小通常等同于两个指针（起始地址 + 长度），拷贝成本极低。
立即学习“C++免费学习笔记（深入）”；
- 没有动态内存分配
- 迭代操作与原生数组一样快
- 编译器可充分优化
相比<:vector>这类拥有所有权的容器，span在只读或临时访问场景下更加高效。
支持边界检查，提升安全性
std::span提供at()方法进行带越界检查的访问：
std::spans = ...; try { s.at(100) = 42; // 越界时抛出 std::out_of_range } catch (...) { /* 处理错误 */ }
即使使用operator[]，在某些标准库实现的调试模式下也能启用检查。相比裸指针的静默越界，span显著降低出错风险。
兼容多种数据源
std::span能无缝绑定以下类型：
- C风格数组
- std::array
- std::vector
- std::string 及其变体（需注意字符连续性）
构造方式灵活：
int arr[10] = {};
std::span s1(arr); // 整个数组
std::span s2(arr, 5); // 前5个元素
std::vector v = {1,2,3};
std::span s3(v); // 绑定vector
std::span s4(v.data(), v.size()); // 显式构造
注意：确保span生命周期不超过所引用的数据，避免悬空引用。
基本上就这些。std::span通过统一接口、消除冗余复制、增强安全性，成为现代C++中处理数组视图的理想选择。尤其适合函数参数传递、切片操作和跨层级数据共享。正确使用它，能让代码更简洁、安全又不失性能。
