std::span是C++20引入的对连续内存的零开销只读视图，不管理所有权，适用于统一接收vector、array、C数组等；应避免裸指针构造，优先用容器直接构造或subspan切片，并确保源数据生命周期长于span。
std::span 是什么，什么时候该用它
它不是容器，而是对已有连续内存的「只读视图」——不接管所有权、不分配内存、零运行时开销。适合函数参数接收 std::vector、std::array、C 风格数组甚至栈上局部数组，避免传指针+长度的错误组合。
典型场景：写一个通用的数值处理函数，既要支持 std::vector<int>，也要能直接喂 int buf[1024]，还不想重载 3 次。
常见错误现象：process(&v[0], v.size()) 在 v.empty() 时触发 &v[0] 未定义行为；或传错长度导致越界读写。
- 必须确保原始数据生命周期长于
std::span的使用期（它不延长寿命） - 不能用
std::span持有临时对象的地址，比如std::span{std::vector{1,2,3}}—— 编译不过，但有人会绕过写成auto&& v = std::vector{1,2,3}; std::span{v}，这很危险 -
std::span默认是动态长度（std::span<T>），也可用编译期长度（std::span<T, N>）获得额外安全检查
怎么构造 std::span 才不踩空指针或越界
构造本身不检查有效性，全靠你传进去的指针和长度是否匹配。最安全的方式是让编译器帮你推导，而不是手动写指针+长度。
立即学习“C++免费学习笔记（深入）”；
推荐做法：
- 从容器构造：
std::span{vec}、std::span{arr}、std::span{str.data(), str.size()} - 切片操作用
.subspan()，比手算偏移+长度更可靠：s.subspan(2, 5)取从索引 2 开始的 5 个元素，越界时返回实际可取部分（不会抛异常，但长度变小） - 避免
std::span{ptr, len}这种裸指针构造，除非你 100% 确认ptr非空且len≤ 实际可用长度
示例：
std::vector<int> v = {10, 20, 30, 40};
auto s = std::span{v}; // 安全，自动推导 size()
auto s2 = s.subspan(1, 2); // {20, 30}，类型仍是 std::span<int>
std::span<T, N> 和 std::span<T> 的关键区别
前者在编译期绑定长度，后者运行期确定。区别不只是类型不同，还直接影响能否通过某些接口、是否做边界检查（其实都不做运行时检查，但编译期长度能触发更多静态诊断）。
使用场景：
- 函数参数想强制要求固定长度输入，比如矩阵行：
void mul_row(std::span<float, 4> row, std::span<float, 4> mat_row)，传std::vector<float>(3)直接编译失败 -
std::span<const char, N>可用于替代 C 字符串字面量视图，避免退化为const char* - 性能无差异，但
std::span<T, N>的.size()是constexpr，可在模板上下文中用
注意：std::span<int, 5>{arr} 要求 arr 至少有 5 个元素，否则编译失败；而 std::span<int>{arr} 总是成功，大小按实际推导。
和 raw pointer + size 对比，为什么它更安全
它不改变运行时行为，但把“指针+长度”这个易错二元组，封装成一个有语义、可传递、可切片、可类型推导的一等公民。真正提升安全性的是使用惯性，而非内置检查。
容易被忽略的点：
-
std::span的data()返回裸指针，你仍可能把它传给不安全 API —— 它不阻止你犯错，只是让你更难无意犯错 - 没有迭代器失效保护：如果源容器被移动或销毁，
std::span立即变成悬垂视图，这点和std::string_view一样 - 某些老编译器（如 GCC < 10）对
std::span支持不完整，需确认__cpp_lib_span >= 202002L，否则退回到gsl::span或自定义轻量 wrapper
复杂点在于：它安全的前提是你理解「视图不管理资源」——这和 std::string_view 是同一套心智模型，但 C++ 新人常把它当成智能指针用。
