std::span 构造时必须确保原始数据生命周期足够长，因其不拥有数据而仅持有指针和长度，否则会导致悬空视图和未定义行为；应通过引用传递源容器、限制作用域或使用固定大小模板参数来保障安全。
std::span 构造时必须确保原始数据生命周期足够长
std::span 不拥有数据，只持有指针和长度。如果用局部数组或临时容器构造 span，而该 span 在原数据销毁后还被使用，就会变成悬空视图 —— 行为未定义，但往往表现为读到垃圾值或崩溃。
常见错误写法：
std::span<int> get_slice() {
std::array<int, 4> arr = {1, 2, 3, 4};
return std::span(arr); // ❌ arr 在函数返回时销毁
}正确做法是让 span 的生命周期严格受限于源数据：
- 传入 const std::vector
& 或 std::array & 参数，再构造 span - 在同作用域内使用：比如先定义 vector，再定义其 span，且 span 不逃逸该作用域
- 若需跨函数传递，确保调用方负责维持底层存储的存活（例如传入 vector 的引用，而非 vector 的值）
用 std::span 替代裸指针 + 长度参数时注意边界检查模式
std::span 默认不检查下标访问越界（operator[] 是 unchecked），这点和 std::vector::operator[] 一致；但 at() 方法会抛 std::out_of_range 异常。
立即学习“C++免费学习笔记（深入）”；
典型场景：封装一个处理连续整数块的函数，原来用 int* data, size_t len，现在改用 std::span<const int></const>：
void process(std::span<const int> data) {
if (data.empty()) return;
int first = data[0]; // ✅ 快，无检查
int last = data[data.size()-1]; // ✅ 同上，但需确保 size > 0
// int bad = data.at(100); // ❌ 可能抛异常，仅在调试/关键路径需要时用
}注意事项：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 不要假设 span 的
data()永远非空 —— 空 span 的data()是合法的空指针 - 避免对空 span 调用
front()或back()，它们未定义行为 - release 模式下
operator[]无开销，但调试时可配合assert(!s.empty())辅助验证
std::span 的模板参数决定是否允许动态重绑定
声明为 std::span<int></int>（即 std::span<int std::dynamic_extent></int>）可指向任意长度的 int 序列；而 std::span<int></int> 只接受恰好 5 个元素的数组（编译期固定大小）。
这意味着：
- 用
std::span<int></int>接收std::vector、std::array、C 数组都行，最常用 - 用
std::span<int n></int>可触发编译期长度校验，适合配置表、协议头等固定结构，但无法从 vector 构造（vector 大小运行时才知道） -
std::span<const t></const>和std::span<t></t>类型不兼容 —— 不能把 const vector 绑定到非 const span
示例：
std::array<int, 3> a = {1,2,3};
std::span<int, 3> s1{a}; // ✅ 编译通过
std::span<int> s2{a}; // ✅ 动态 extent 兼容固定数组
std::vector<int> v = {1,2,3};
// std::span<int, 3> s3{v}; // ❌ 编译失败：vector 不提供编译期长度信息与 std::string_view 类比理解 std::span 的适用边界
std::span 是 std::string_view 的泛化：前者管任意类型连续内存，后者只管 char。但二者都不管理内存、都不保证 null 结尾、都不隐式转换自非连续容器（如 std::list）。
因此：
- 不要试图用
std::span<char></char>替代std::string_view做字符串操作 —— 缺少find、substr等语义，且不保证末尾 \0 - 不要对
std::deque或std::forward_list构造 span —— 它们内存不连续，data()无效 - std::span 本身没有迭代器适配器（如
std::ranges::sort可直接用 span，但老式算法如std::sort需传s.begin(), s.end()）
真正安全的子数组场景，是当你已经有一块连续、生命周期可控的内存，并想以轻量、类型安全的方式切片访问 —— 这时候 std::span 才发挥价值。
最容易被忽略的一点：span 的“安全”不是自动内存安全，而是把原本分散在指针+长度里的契约，显式提升为类型系统的一部分；能否安全，终究取决于你有没有守住那个生命周期约定。
