std::span是C++20引入的非拥有式连续内存视图，封装指针与长度，零开销、类型安全、支持静态/动态长度；可从vector/array/C数组等连续源构造，不适用于list/deque。

std::span 是 C++20 引入的轻量级、非拥有（non-owning）连续内存视图类型，本质是一个“安全指针 + 长度”的封装。它不管理数据生命周期，只提供对已有数组、std::vector、std::array、C 风格数组等连续内存块的只读或可写访问，兼顾效率与安全性。

核心定位：不接管内存，只观察数据

std::span 不分配、不释放、不复制数据，也不延长所引用对象的生存期。它就像一张“内存快照”，必须确保 span 对象存活期间，其背后的数据依然有效——否则行为未定义。

• 适用于函数参数传递，替代 T* + size_t 的易错组合
• 零运行时开销：内部通常仅含一个指针和一个大小（静态 extent 下 size 可能完全编译期折叠）
• 支持 const 和非 const 元素类型，可读可写（取决于所引用原始数据的 cv 限定）

两种长度模式：编译期确定 vs 运行时确定

模板参数 Extent 控制长度是否在编译期已知：

• std::span：静态 extent，长度 5 在编译期固定，size() 是 constexpr，无运行时存储开销
• std::span（即 std::span）：动态 extent，长度在构造时传入，内部保存 size 值

静态 span 能触发更多编译器优化，也更利于接口契约表达（例如要求“必须传入恰好 4 个 float 的顶点坐标”）。

怎么创建？兼容多种连续数据源

只要数据连续、有起始地址和明确元素数，就能构造 span：

• 从容器： std::span{vec}、std::span{arr}、std::span{str}
• 从迭代器对：std::span{v.begin() + 2, v.end()}
• 从指针+长度：std::span{ptr, n}
• 子视图切片：s.subspan(1, 3) 返回新 span，不拷贝数据

注意：不能从 std::list 或 std::deque 直接构造——它们内存不连续。

为什么比裸指针更安全、更清晰？

std::span 内置边界感知能力：

• s[i] 行为同原生数组（无检查，但语义明确）
• s.at(i) 提供可选的运行时越界检查（调试模式下常启用）
• s.front()/s.back() 安全获取首尾，空 span 调用会抛异常
• 所有成员函数（data()、size()、empty() 等）语义统一，避免手写 ptr + len 逻辑出错

类型系统也更健壮：std::span 和 std::span 是不同类型，不可隐式转换，防止误写。