std::span不拥有内存，仅持指针和长度，必须确保所指内存生命周期长于span本身；越界访问时subscript无检查而at()抛异常；转换为vector等需显式拷贝；使用时需注意const正确性及所有权语义。
std::span 构造时传入裸指针和长度，必须确保内存生命周期足够长
std::span 不拥有内存，只持有一个指针和长度。如果它引用的数组或容器在 span 还活着时被销毁，后续访问就是未定义行为——不报错，但结果不可预测。
- 常见错误现象：
std::span<int> s = get_local_array();</int>（get_local_array()返回局部数组的指针）→ 程序可能读到垃圾值或崩溃 - 安全做法：只从栈上已知生命周期更长的数组、堆分配后明确管理生命周期的内存、或容器的
.data()构造span - 推荐构造方式：
std::vector<int> v = {1,2,3}; std::span<int> s{v.data(), v.size()};</int></int>或更简洁的std::span s{v};（C++20 类模板参数推导） - 注意：用
std::span<const t></const>接收临时容器的.data()依然危险，因为临时对象在完整表达式结尾就析构
std::span 的 subscript 和 at 访问区别：越界检查只在 at 中存在
span[i] 是无检查的直接访问，行为和原生指针一样；span.at(i) 会做边界检查并抛出 std::out_of_range 异常——但仅在调试/开发阶段有用，发布版通常不启用运行时检查（除非你手动编译时定义了 _GLIBCXX_ASSERTIONS 或类似宏）。
- 使用场景：写库函数或关键路径时，优先用
at()配合异常处理；高频循环中避免at()，改用subscript+ 逻辑保证索引合法 - 性能影响：
at()多一次条件跳转和分支预测开销；subscript编译后几乎等价于ptr[i] - 容易踩的坑：以为
span[i]会像std::vector::operator[]一样在 debug 模式下断言——它不会，C++ 标准明确要求span::operator[]不做任何检查
std::span 转换为 std::vector 或 C 风格数组时，需要显式拷贝
std::span 是视图（view），不能隐式转成拥有数据的类型。想存下来或传给旧接口，必须手动复制内容。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 常见错误现象：把
std::span<char></char>直接传给接受char*且会修改/释放内存的 C 函数 → 崩溃或数据损坏 - 正确做法：
std::vector<char> buf{s.begin(), s.end()};</char>或std::copy(s.begin(), s.end(), dest_ptr); - 参数差异：如果目标函数只读，传
s.data()是安全的；如果要写或长期持有，必须分配新内存并拷贝 - 兼容性注意：某些嵌入式或 ABI 敏感环境里，
span的二进制布局（两个字段：指针+size）虽是标准规定的 trivial，但不要假设它能直接 reinterpret_cast 成其他结构体
用 std::span 替代 T* + size_t 参数时，别漏掉 const 正确性
函数签名从 void f(int* p, size_t n) 升级为 void f(std::span<int> s)</int> 后，调用方代码看似更干净，但语义变化容易被忽略：原接口允许修改所指内存，而 std::span<int></int> 也允许；但若原意是只读，应写成 std::span<const int></const>。
立即学习“C++免费学习笔记（深入）”；
- 容易踩的坑：升级后没改调用方 const 修饰，导致本该只读的 span 被意外修改，或与 const 容器（如
const std::vector<int>&</int>）无法匹配 - 建议：对输入只读场景，一律用
std::span<const t></const>；函数内部需修改数据时，才用std::span<t></t> - 兼容性影响：
std::span<const t></const>可由std::vector<t></t>、std::array<t></t>、T[]构造；但反过来不行——std::span<t></t>不能绑定到 const 容器上
事情说清了就结束。最常出问题的地方不是语法，而是把 span 当成“更安全的指针”就松懈了——它只是把指针和长度绑在一起，不解决生命周期、所有权、线程安全这些根本问题。
