std::span是c++20引入的轻量级非拥有式数组视图，仅持有指针和长度，适用于函数参数中替代裸指针+长度、vector（无需所有权时）或c数组；需确保底层内存连续且生命周期足够长。
std::span 是什么，什么时候该用它
std::span 不是容器，而是一个轻量级的、非拥有的数组视图。它不管理内存，只持有一个指针和长度，类似 std::string_view 之于 std::string。适合在函数参数中替代裸指针 + 长度、std::vector（当不需要所有权或动态扩容时）、或 C 风格数组（避免退化为指针丢失大小信息）。
典型场景包括：函数接收固定/动态大小的连续数据、跨模块传递缓冲区、封装 C API 返回的内存块、写泛型算法时统一接口。
注意：std::span 要求元素类型必须是 TriviallyCopyable，且底层内存必须连续——它不支持 std::vector<bool></bool> 或自定义分配器导致非连续布局的容器。
怎么构造 std::span：从原生数组、vector、指针+长度
构造方式直接影响安全性与可读性。最安全的是直接从原生数组或 std::vector 构造，编译期能推导长度；手动传指针+长度则容易出错。
- 从原生数组：自动推导大小，
int arr[5] = {1,2,3,4,5}; std::span s{arr};→s.size()是 5，且编译期可知 - 从
std::vector：仅借用，不拷贝，std::vector<int> v = {10,20}; std::span s{v};</int>→ 等价于{v.data(), v.size()} - 从指针+长度：需确保指针有效、长度匹配，
std::span s{ptr, len};—— 这里没运行时检查，越界访问是未定义行为 - 切片操作：用
subspan，比如s.subspan(1, 3)取从索引 1 开始的 3 个元素；越界会截断（不抛异常），但若offset > s.size()则返回空 span
常见错误：传参时忘记 const、误用动态 vs 静态 extent
std::span 模板有两个参数：std::span<t extent></t>。其中 Extent 默认是 std::dynamic_extent（即运行时确定长度），但也可设为编译期常量（如 std::span<int></int>）。混用会导致模板实例化失败。
常见报错如：cannot convert from 'std::span<int>' to 'std::span<int>'</int></int> —— 这是因为函数声明用了静态 extent，但你传了动态 span。
实操建议：
- 函数参数优先用
std::span<const t></const>（只读）或std::span<t></t>（可写），不要写死Extent，除非真需要编译期校验（比如硬件寄存器映射） - 避免把
std::span存作类成员——它不拥有数据，若原始内存提前释放，span 就悬空 - 别对临时
std::vector构造 span 并长期持有：foo(std::span{std::vector{1,2,3}})是危险的，vector 临时对象在表达式结束就销毁
性能与兼容性：它真的零开销吗
是的，std::span 对象本身通常只占两个字（指针 + size_t），无虚函数、无堆分配、无构造/析构开销。所有操作（data()、size()、operator[]）都是内联的纯计算。
但要注意边界检查：标准库实现中，operator[] 不做越界检查（和原生数组一致），at() 才抛 std::out_of_range —— 后者有分支开销，仅调试时启用。
兼容性方面：std::span 是 C++20 特性，GCC 10+、Clang 9+、MSVC 19.20+ 支持。若需降级，可用 span-lite（C++11 兼容的单头实现），但注意其 subspan 行为与标准略有差异。
真正容易被忽略的是生命周期管理——std::span 看似简单，却把“谁负责内存”这个责任完全甩给了使用者。一个函数接受 std::span，不代表它能延长底层内存的寿命。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
