std::span 是轻量级非拥有型连续内存视图，用于统一接收 vector/array/原生数组等；应在需泛型处理连续数据且避免重载或裸指针时使用，不可用于 list/deque 等非连续容器。
std::span 是什么，什么时候该用它
std::span 不是容器，而是一个轻量级、非拥有型的视图（view），用来安全地引用一段连续内存——比如 std::vector、std::array、原生数组，甚至 malloc 分配的内存。它不管理生命周期，只记录起始地址和长度，因此零开销、无拷贝。
你该用它，当需要写一个函数，能同时接受 std::vector<int></int>、int[10]、std::array<double, 5> 等不同来源的连续数据，又不想重载一堆版本，也不愿退化成裸指针 + size_t 参数。
常见错误现象：传入 std::list 或 std::deque 给 std::span —— 编译直接失败，因为它们内存不连续；但这个失败是好事，它在编译期就拦住了逻辑错误。
怎么构造 std::span：从常见容器到原生数组
构造 std::span 最安全的方式是依赖模板推导，避免手动指定模板参数：
立即学习“C++免费学习笔记（深入）”；
- 对
std::vector：std::span v{vec}（自动推导为std::span<int></int>） - 对
std::array：std::span a{arr}（推导含大小，如std::span<int, 5>） - 对原生数组：
int raw[8]; std::span r{raw}（同样推导完整类型）
注意这些陷阱：
-
std::span{&vec[0], vec.size()}在vec为空时会解引用vec[0]→ 未定义行为；应改用vec.data() -
std::span<int>{vec.data(), vec.size()}</int>可行，但丢失了类型安全性（比如误传double*）；优先用推导构造 -
std::span<const t></const>能接收所有可读的连续内存，但不能隐式转成std::span<t></t>（const 正确性受保护）
std::span 和 std::string_view 的关键区别
std::string_view 是专用于字符序列的视图，内置了 find、substr、operator== 等语义操作；std::span 是泛型的，只提供基础能力：data()、size()、operator[]、first()/last() 子视图。
这意味着：
- 不能对
std::span<int></int>调用find("abc")—— 它没有字符串语义 - 也不能直接拿
std::span<char></char>当字符串用，除非你确认末尾有\0且想手动处理 - 如果你需要“一段字节”抽象，
std::span<:byte></:byte>比std::span<char></char>更合适（C++20 起推荐）
性能上两者都零成本，但语义不可混用：把 std::string_view 当作 std::span<const char></const> 传入通用函数没问题；反过来，把任意 std::span 强转成 std::string_view 是危险的。
传参时用 std::span 还是 std::span？带静态大小的 std::span<T, N>（例如 std::span<int, 4>）在编译期就知道长度，可用于需要尺寸保证的场景，比如硬件寄存器映射、固定协议头解析。
但绝大多数情况应使用动态大小的 std::span<t></t>（即 std::span<T, std::dynamic_extent>）：
- 它能接受任何大小的连续内存，兼容性最好
- 函数签名更简洁：
void process(std::span<const float>)</const>
-
std::span<T, N> 无法隐式转换为 std::span<t></t>（反之可以），所以混用会导致模板实例化爆炸或编译失败
一个容易被忽略的细节：如果你写了 template<typename t> void f(std::span<t> s)</t></typename>，调用时传 std::vector<long></long>，T 会被推成 long，但如果你写成 void f(std::span<long>)</long>，就明确锁死了类型——后者更清晰，也避免意外的模板膨胀。
带静态大小的 std::span<T, N>（例如 std::span<int, 4>）在编译期就知道长度，可用于需要尺寸保证的场景，比如硬件寄存器映射、固定协议头解析。
但绝大多数情况应使用动态大小的 std::span<t></t>（即 std::span<T, std::dynamic_extent>）：
- 它能接受任何大小的连续内存，兼容性最好
- 函数签名更简洁：
void process(std::span<const float>)</const> -
std::span<T, N>无法隐式转换为std::span<t></t>（反之可以），所以混用会导致模板实例化爆炸或编译失败
一个容易被忽略的细节：如果你写了 template<typename t> void f(std::span<t> s)</t></typename>，调用时传 std::vector<long></long>，T 会被推成 long，但如果你写成 void f(std::span<long>)</long>，就明确锁死了类型——后者更清晰，也避免意外的模板膨胀。
