std::span是C++20引入的轻量级非拥有式视图，用于安全高效地引用连续内存；适用于函数参数传递、统一容器切片、泛型算法等场景，但不管理内存生命周期，需确保底层数据有效。
std::span 是什么，什么时候该用它
std::span 是 C++20 引入的轻量级非拥有式视图（non-owning view），用来安全、高效地引用一段连续内存——比如原生数组、std::array、std::vector 的数据区域，或 std::string 的字符缓冲区。它不管理内存生命周期，只记录起始地址和长度，因此零开销、无拷贝、可隐式构造。
适合场景包括：函数参数传递（替代 T* + size_t 组合）、避免裸指针误用、统一处理不同容器的数据切片、编写泛型容器无关算法。
注意：它不是万能替代品——不能用于 std::list 或堆上分散分配的内存；也不能跨栈帧持有局部数组的 span（生命周期仍需你负责）。
怎么构造 std::span：常见方式与陷阱
构造 std::span 有多种方式，但关键在于理解模板参数推导规则和隐式转换限制：
立即学习“C++免费学习笔记（深入）”；
- 从原生数组自动推导（最常用）：
int arr[] = {1, 2, 3, 4, 5};<br>std::span s = arr; // OK，推导为 std::span<int, 5> - 从
std::vector获取数据视图：std::vector<int> v = {10, 20, 30};<br>std::span<int> s{v.data(), v.size()}; // OK<br>// 或更简洁：<br>std::span s2{v}; // OK，C++20 允许从 vector 隐式构造（要求 element_type 匹配） - 切片操作要小心越界：
std::span<int> s = arr;<br>auto sub = s.subspan(2, 3); // 从索引 2 开始取 3 个元素<br>// 如果 2+3 > s.size()，subspan 抛出 std::out_of_range（仅在 debug 模式下检查，release 不保证）
常见错误：
-
std::span<const int> s = arr;编译失败：数组类型是int[5]，不能隐式转成const int视图（需显式构造或用std::as_const） - 把局部数组地址传给函数后长期保存
span：函数返回后数组销毁，span成悬垂指针 - 误以为
std::span<T, Extent>中的Extent是运行时值：它是编译期常量，std::span<int, 5>和std::span<int>是完全不同的类型
用 std::span 写安全的切片函数（对比裸指针）
传统 C 风格接口：
void process(int* data, size_t len);<br>process(arr, 3); // 容易传错 len，且无法静态检查 data 是否有效
用 std::span 改写：
void process(std::span<const int> data) {<br> for (int x : data) { /<em> ... </em>/ }<br>}<br>process(arr); // OK，类型安全，长度已知<br>process({arr+1, 4}); // OK，显式构造任意切片<br>process(v); // OK，支持 vector
优势：
- 编译期捕获长度不匹配（如
process(std::span<int, 10>)只接受恰好 10 元素的数组） - 自动适配
std::array、std::vector、std::string等，无需重载 - 迭代器接口完整（
begin()/end()、data()、size()），可直接用于 STL 算法
注意：若函数内部需修改元素，声明为 std::span<int>；若只读，用 std::span<const int>——这不仅是语义提示，还能阻止意外写入。
性能与兼容性注意事项
std::span 对象本身通常只有两个字段（指针 + size），大小和 std::pair<T*, size_t> 相当，在所有主流编译器（GCC 10+、Clang 9+、MSVC 19.28+）中都是零成本抽象。
但要注意：
- C++20 标准库实现必须支持
std::span，旧标准库（如 libstdc++ 早于 GCC 10）不提供，需自行实现简易版或降级使用gsl::span -
std::span默认不启用边界检查，operator[]行为等同于原生数组访问（未定义行为），调试时建议配合 sanitizer 或自定义 wrapper 做断言 - 在模板函数中使用
std::span时，若依赖Extent非std::dynamic_extent，会限制调用者只能传编译期可知大小的数组，灵活性下降
真正容易被忽略的是：std::span 的“安全”仅限于接口层面——它不解决内存生命周期问题。哪怕用了 std::span，如果底层数据提前析构，程序依然会崩溃。所以它不是智能指针，而是把责任更清晰地交还给你。
