std::span是C++20零开销数组视图，不拥有数据、不分配内存，仅存储指针和长度；构造时必须确保源生命周期长于span，否则导致悬空或越界。
std::span 是 C++20 引入的零开销数组视图，不拥有数据、不分配内存，只存指向首元素的指针和长度 —— 它不是容器，也不是智能指针，用错场景会引发悬空或越界。
std::span 构造时为什么必须确保源生命周期长于 span？
因为 std::span 不拷贝数据，也不管理内存。一旦底层数组（比如局部 std::array 或栈上 C 风格数组）析构，std::span 就变成悬空视图。
- ✅ 正确：绑定全局/静态数组、堆分配内存（由调用方保证存活）、类成员数组
- ❌ 危险：从函数返回局部
std::array并构造std::span；用std::vector::data()后 vector 被移动或销毁 - ⚠️ 注意：
std::span不能隐式转为std::span，但std::span可隐式转为std::span
如何安全地从 std::vector 创建 std::span？
关键不是“能不能”，而是“什么时候能”。只要 vector 的生命周期覆盖 span 的使用期，且未发生重分配（如 push_back、resize），就安全。
- 推荐写法：
std::span或简写s{vec.data(), vec.size()} std::span s{vec}（C++20 起支持容器适配） - 避免裸指针 + size 手动构造，容易传错长度；优先用容器构造函数
- 若需子视图（如跳过前 2 个元素）：用
s.subspan(2)，它返回新std::span，不改变原视图 - 注意：
vec.data()在vec.empty()时仍合法（返回 nullptr），但std::span{vec.data(), 0}是合法空视图
std::span 静态维度 vs std::span 动态维度的区别
带模板非类型参数 N 的版本（如 std::span）在编译期固定大小，启用更多优化与边界检查机会；无 N 的版本运行时确定长度，更通用但失去部分静态保障。
立即学习“C++免费学习笔记（深入）”；
- ✅ 静态版适合：已知大小的栈数组、
std::array、函数参数要求精确长度（如图像宽高固定为 3 通道） - ✅ 动态版适合：泛型算法接口、接受任意大小输入的函数（如
void process(std::span）) - ⚠️ 混用风险：传
std::array给std::span编译失败；但可传给std::span - 性能提示：两者都是纯值类型，无动态分配；静态版可能让编译器内联索引检查（如
s[10]在span上直接报错）
常见误用：把 std::span 当作替代 std::vector 的轻量容器
它不支持 push_back、resize、capacity，也不能脱离原始存储独立存在 —— 这不是缺陷，是设计意图。
- ❌ 错误认知：“用
std::span替换std::vector能减少内存开销” → 忘记它根本不管理内存 - ✅ 正确定位：它是“函数参数抽象层”和“切片工具”，用于消除
T*+size_t参数对，提升类型安全 - 调试提示：越界访问（如
s[100]）不抛异常，行为未定义；启用 ASan 或 UBSan 可捕获；部分标准库实现（如 MSVC debug mode）会在operator[]中插入断言 - 跨平台注意：GCC libstdc++、Clang libc++、MSVC 均已完整支持 C++20
std::span，但需显式开启-std=c++20
真正难的不是怎么构造一个 std::span，而是判断谁负责生命周期、谁控制重分配、谁持有所有权 —— 这些责任没理清，再“现代”的视图也救不了悬空指针。
