std::span 是“裸指针+长度”的安全封装，支持跨连续容器（如 vector、array、C数组）切片，但不支持 list、deque 等非连续容器；它不拥有数据、零拷贝、无生命周期管理，使用时须确保底层数据生命周期长于 span 本身。
std::span 是什么，它真能跨容器切片吗？
能，但仅限于满足 contiguous_iterator 要求的容器（如 std::vector、std::array、原生数组），不支持 std::list、std::deque 或自定义非连续内存布局的容器。它的本质是“裸指针 + 长度”的安全封装，不拥有数据，也不复制数据——这才是零拷贝视图的核心。
常见错误现象：std::span<int>(my_list.begin(), my_list.end())</int> 编译失败，因为 std::list::iterator 不是连续迭代器；或误以为 std::span 能自动推导生命周期，结果悬垂访问。
- 使用场景：函数参数统一接收任意连续内存块（比如图像行数据、网络包 payload、音频采样缓冲区）
- 必须确保底层数据生命周期长于
std::span实例——它不延长对象生命 - 构造时若传入空指针 + 非零长度（如
std::span<int>(nullptr, 10)</int>），行为未定义，编译器通常不报错
怎么从 vector / array / C 数组构造 std::span？
构造本身简单，但关键在类型推导和 const 正确性。推荐显式指定元素类型，避免模板推导出意外的 cv-qualifier。
示例对比：
立即学习“C++免费学习笔记（深入）”；
std::vector<int> v = {1, 2, 3, 4, 5};
auto s1 = std::span(v); // OK，推导为 std::span<int>
const std::vector<int>& cv = v; auto s2 = std::span(cv); // 推导为 std::span<const int> —— 正确
int arr[5] = {1,2,3,4,5};
auto s3 = std::span(arr); // 推导为 std::span<int, 5>（带长度的静态 span）
- 动态长度 span（最常用）：用
std::span<t></t>，构造时传指针+长度，如std::span<int>(v.data(), v.size())</int> - 静态长度 span（编译期检查）：用
std::span<t n></t>，仅适用于已知大小的数组或std::array - 别直接对临时容器取
.data()：如std::span<int>(std::vector{1,2,3}.data(), 3)</int>→ 悬垂指针
std::span 作为函数参数时，为什么 const std::span& 反而是冗余的？
std::span 本身是小对象（通常仅两个 size_t-size 成员），按值传递开销极小，且语义更清晰：函数明确只读视图，不隐含“可能修改内部状态”的误解。
常见错误现象：写成 void process(const std::span<int>& s)</int>，以为能防止修改——但 std::span 没有可变状态；真正要控制的是是否允许通过它写底层数据。
- 只读访问：用
std::span<const t></const>（注意const在T上，不是在span上） - 可写访问：用
std::span<t></t>，调用方自然需传可写源（如非 constvector） - 传值比传引用更高效也更安全：避免因引用绑定到临时 span 导致的生命周期困惑
容易被忽略的边界：subspan() 和越界访问检测
std::span::subspan() 不做运行时越界检查，越界调用（如 s.subspan(10, 100) 超出原 span 长度）是未定义行为——编译器不会报错，运行时可能静默截断或崩溃。
性能影响：所有 std::span 操作（operator[]、at()、subspan()）默认无边界检查。想加检查只能靠 at()（抛 std::out_of_range），但它不是 constexpr，且开销明显。
- 调试阶段可封装一个带 assert 的辅助函数，但生产环境慎用
at() -
subspan(offset)和subspan(offset, count)都要求offset ，否则 UB - 没有
std::span::empty()这种成员函数，判断为空请用s.empty()或s.size() == 0
最复杂的点其实不在语法，而在于：你得时刻清楚谁在管理那块内存，以及 std::span 只是借来一瞥——它不提醒你，也不兜底。
