std::span是C++20引入的非拥有式轻量视图，仅存指针和长度，零拷贝、零分配；它避免拷贝因其不复制数据，只封装已有连续内存的访问边界，切片（subspan）仅调整内部指针与长度。
std::span 是什么，为什么能避免拷贝
std::span 是 C++20 引入的轻量级视图类型，它不拥有数据，只保存指向连续内存的指针和长度。它本质是两个字段：data_（T*）和size_（size_t），构造开销为零，拷贝就是按位复制这两个字段——所以切片操作本身不触发任何内存分配或元素拷贝。
常见误用是把它当成 std::vector 或 std::array 的替代品：它不能延长原数据生命周期，也不能脱离原始内存存在。
怎么从常见容器安全构造 span
必须确保 span 生命周期不超过其引用的原始内存。以下方式基本安全：
- 从局部
std::array构造：std::array<int> a = {1,2,3,4,5}; std::span s = a;</int> - 从函数参数传入的
std::vector引用构造：void f(const std::vector<int>& v) { std::span s{v}; }</int>（注意：不能写成std::span{v.data(), v.size()}然后返回该 span，因为v可能已析构） - 从 C 风格数组构造：
int arr[10]; std::span s{arr};
危险操作示例：std::span s = std::vector<int>{1,2,3};</int> —— 这里临时 vector 构造后立即析构，s.data() 指向已释放内存，UB。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
切片操作：subspan 的行为与边界检查
subspan 是切片的核心方法，它返回一个新的 std::span，不移动、不拷贝元素，只调整内部指针和长度。
-
s.subspan(2)：从索引 2 开始到末尾 -
s.subspan(2, 3)：从索引 2 开始取 3 个元素（若原 span 长度不足，则截断；C++20 标准规定这是定义行为，但结果 size 小于请求值） - 无运行时边界检查：越界调用
subspan（如s.subspan(100)）不会抛异常，也不会 assert，只会产生一个空 span（size() == 0）——这容易掩盖逻辑错误
建议在调试阶段加一层封装，例如：
template<typename T>
std::span<T> safe_subspan(std::span<T> s, size_t offset, size_t count) {
if (offset > s.size()) return {};
auto actual_count = std::min(count, s.size() - offset);
return s.subspan(offset, actual_count);
}和 std::string_view 的关键区别：为什么 span 不支持隐式空终止
std::string_view 天然适配 C 字符串，因为它可由 const char* + 长度或仅由 const char*（隐式推导至 \0）构造；而 std::span **绝不推导终止符**，它严格依赖显式长度。
- 正确：
char buf[100] = "hello"; std::span s{buf, 5}; - 错误：
std::span s{buf};—— 它会把整个 100 字节当有效数据，不是只取 "hello" - 也错误：
std::span s{buf, std::strlen(buf)};—— 虽然结果对，但多了一次遍历，违背“零开销”初衷；应直接传入已知长度
如果你常处理以 \0 结尾的缓冲区，别强套 span，该用 std::string_view 就用它；混用两者时，务必手动确认长度来源是否可信。
最易被忽略的一点：span 的 template 参数 T 必须是完整类型，且 span<const T> 和 span<T> 类型不兼容——即使底层数据可写，你也无法把 span<int> 直接赋给 span<const int>（缺少隐式转换），得显式构造或使用 std::as_const 辅助。
