std::span是c++20引入的非拥有式连续内存视图，不管理内存生命周期，适用于替代裸指针+长度、封装数组/容器切片；使用时须确保源数据生命周期长于span，避免悬空指针。
std::span 是什么，什么时候该用
std::span 不是容器，而是对已有连续内存的非拥有式视图——它不管理内存生命周期，只提供安全、轻量的访问接口。适合传参时替代裸指针 + 长度，或封装 std::Array、std::vector、栈数组的只读/可写切片。
常见错误现象：std::span<int> s(arr, 5);</int> 中 arr 是局部栈数组，但函数返回后 s 仍持有悬空指针；或者误以为 std::span 能自动推导长度（只有 C 风格数组能）。
使用场景：
- 函数参数接收任意连续序列（避免模板爆炸）
- 替换
int*+size_t组合，防越界访问（配合编译器检查或运行时断言） - 在 constexpr 上下文中做编译期切片（C++20 起支持部分 constexpr 操作）
怎么初始化 std::span 才不踩坑
初始化失败大多源于生命周期错配或类型不匹配。关键点：源数据必须比 std::span 活得久。
立即学习“C++免费学习笔记（深入）”；
- 栈数组：只能用 C 风格声明（
int arr[10]; std::span s = arr;），不能用std::array的 data() 直接构造（需显式指定长度） -
std::vector：用v.data()+v.size()，或直接std::span(v)（C++23 支持隐式转换，但 C++20 需显式构造） - 字符串字面量：
std::span<const char> s = "hello";</const>合法（含末尾' '），但std::span<char></char>不行（字面量是 const） - 空 span：
std::span<int>{} </int>或std::span<int>(nullptr, 0)</int>，但不要用std::span<int>(nullptr, 1)</int>—— UB
std::span 的边界检查和性能代价
默认无运行时边界检查，operator[] 和 at() 行为不同：
-
s[i]：不检查，和原生数组一样快 -
s.at(i)：检查下标，越界抛std::out_of_range（开销≈一次比较 + 分支）
编译器可能优化掉部分越界访问（如 s.subspan(5, 3) 在已知长度不足时触发编译错误）。但注意：
-
subspan参数是size_t，负数会被转成极大正数 → 越界 -
first(n)/last(n)安全，但n > size()会截断，不是错误 - 移动构造/赋值是
noexcept且零开销，sizeof(std::span<t>)</t>通常等于两个指针（16 字节）
跨标准版本和编译器兼容性要点
std::span 是 C++20 引入的，但 MSVC 19.20+、Clang 9+、GCC 7.4+ 已通过实验性支持（如 GCC 需 -std=c++2a -D_GLIBCXX_USE_CXX11_ABI=1）。
容易被忽略的细节：
- GCC 12 之前，
std::span对std::vector<bool></bool>的data()不适用（因特化不提供连续存储） - Clang + libc++ 要求显式包含
<span></span>，而 libstdc++ 在某些旧版本中可能未完全实现dynamic_extent - 如果目标环境不支持 C++20，可用
gsl::span（Guideline Support Library）临时替代，但语义略有差异（例如默认启用运行时检查）
C++20 的 std::span 本身不带所有权语义，真正容易出问题的永远是“谁负责释放内存”这个老问题——它不解决，只帮你更早暴露。