使用std::span传参时必须确保源数据生命周期长于span对象，否则会导致悬垂指针；其可写性由模板参数决定，安全做法是让调用方传入容器并在函数内构造span。
用 std::span 传参时必须确保源数据生命周期长于 span 对象
直接把局部数组或临时 std::vector 的 data() 交给 std::span 是常见陷阱。比如写 std::span<int>{vec.data(), vec.size()}</int> 没问题，但若 vec 是函数内临时变量，返回的 std::span 就指向已销毁内存。
- 安全做法：只对「调用方持有、且明确比被调函数活得久」的数据构造
std::span - 禁止这样写：
auto get_span() { std::vector<int> v = {1,2,3}; return std::span(v.data(), v.size()); }—— 返回的 span 指向已析构 vector 的内存 - 推荐传参方式：让调用方传入容器（如
const std::vector<int>&</int>），被调函数内部再转成std::span<const int></const>
std::span 的模板参数决定是否允许修改底层数据
std::span 本身不拥有数据，它的可写性完全由元素类型决定。传 std::span<int></int> 表示允许通过它改原数组；传 std::span<const int></const> 则禁止写入，编译器会报错。
- 函数声明应显式标注 const 性：
void process(std::span<const double> s); // 安全，只读
- 误用
std::span<double></double>接 const 容器会导致编译失败，例如：process(std::span<double>{v.data(), v.size()})</double>中v是const std::vector<double>&</double>时会失败 - C++20 起支持
std::span的动态 extent（即不指定长度），但静态 extent（如std::span<int></int>）在编译期检查长度，适合固定大小场景
从 C 风格数组、std::vector、std::array 构造 std::span 的差异
三者都能隐式转成 std::span，但隐式转换规则不同，影响函数重载和模板推导。
-
int arr[5]→ 可隐式转为std::span<int></int>（静态 extent）或std::span<int></int>（动态 extent） -
std::array<int> a</int>→ 同样支持两种转换，且a.data()和a.size()是constexpr，适合编译期计算 -
std::vector<int> v</int>→ 只能转成动态 extent 的std::span<int></int>，因为 size 在运行时才确定 - 注意：
std::span不接受裸指针 + 长度以外的构造方式，所以std::span{ptr, n}是最通用写法，兼容所有连续存储
跨 DLL/so 边界传递 std::span 会出问题
std::span 是纯头文件类模板，但它的 ABI 稳定性依赖编译器和标准库实现。MSVC、GCC、Clang 在 C++20 下基本一致，但若 DLL 和主程序用不同 STL（如 MSVC 的 /MD vs /MT）、或不同标准库版本，std::span 的二进制布局可能不兼容。
立即学习“C++免费学习笔记（深入）”；
- 安全边界：只在同进程、同编译器、同 STL 实现的模块内传递
std::span - 跨模块接口建议降级为 C 风格：
void func(const int* data, size_t size)，再在内部封装成std::span<const int></const> - 不要把
std::span作为 DLL 导出函数的参数或返回值类型
实际用的时候，最常踩的坑不是语法，而是生命周期管理——std::span 太轻量，轻量到容易让人忘记它背后连着谁的内存。
