std::span::subspan() 是唯一安全的切片方式，因其内置编译时静态断言与运行时调试断言，避免越界；手动指针偏移构造易致未定义行为，而 subspan 保留类型信息如 extent。
std::span 不能直接“处理子数组”——它本身不创建、不复制、不管理内存，只提供对已有连续内存的非拥有式视图；所谓“子数组”操作，本质是构造新 std::span 对原视图的切片。
为什么 std::span::subspan() 是唯一安全的切片方式
手动计算指针偏移再构造 std::span 容易越界或长度错误，而 subspan() 内置边界检查（编译时静态断言 + 运行时调试断言），且保留原始 std::span 的类型信息（如 extent）。
常见错误现象：std::span<int>(ptr + 2, 5)</int> 看似切了 5 个元素，但若 ptr 所属原数组长度不足 7，行为未定义；而 span.subspan(2, 5) 在 span.size() 时触发断言（Debug 模式）或静默截断（Release 模式，取决于实现）。
- 使用场景：函数接收
std::span<const t></const>后需分段处理（如解析协议头/体） - 参数差异：
subspan(offset)返回从 offset 到末尾；subspan(offset, count)尝试取 count 个，实际返回min(count, size() - offset) - 性能影响：零开销抽象，生成汇编与裸指针加法无异
固定大小 std::span（extent != std::dynamic_extent）的陷阱
声明为 std::span<int></int> 的变量，只能绑定到恰好 10 个元素的数组或容器；传入 std::vector 或运行时长度未知的数组会编译失败。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
容易踩的坑：std::array<int> arr; std::span<int> s{arr.data(), 10};</int></int> —— 错！std::span<int></int> 要求编译期确认前 10 个元素属于同一数组对象，而 arr.data() 不携带长度信息，此代码在 GCC/Clang 下报错（C++20 标准要求 extent 匹配底层对象）。
- 正确做法：用
std::span<int>{arr}</int>让模板推导出extent = 12，再用.subspan(0, 10) - 兼容性影响：固定 extent
std::span无法接受std::vector、new[]等动态来源，仅适用于栈数组、std::array - 调试提示：编译错误通常指向
std::span构造函数重载不匹配，而非“越界”
和 std::string_view 类比但不可互换
两者都是非拥有式视图，但 std::span 不带 data()/size() 以外的语义，不提供 find、substr 等成员函数；误以为它能像 std::string_view 那样直接 substr(2,5) 会导致编译失败。
使用场景差异：处理二进制协议帧、图像像素行、数值计算缓冲区时，std::span 更自然；字符串处理仍首选 std::string_view。
- 关键区别：
std::string_view隐含char类型和空终止假设（尽管不依赖）；std::span对类型完全中立 - 转换限制：没有隐式转换，
std::span<const char></const>和std::string_view需显式构造（std::string_view{span.data(), span.size()}） - 性能注意：频繁构造
std::string_view用于日志等场景，不如直接传std::span+ 自定义打印函数，避免重复strlen类逻辑
真正难的是生命周期管理——std::span 不延长所指内存的生存期，任何将局部数组地址传给异步回调、或保存 std::span 到容器中等待后续使用的做法，都会导致悬垂指针。这无法靠语法检查发现，必须靠设计约束和代码审查。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
