std::span包装裸数组时必须显式传入长度，因数组退化为指针后丢失大小信息；正确用法是std::span{arr, std::size(arr)}或模板推导；禁用std::span{ptr}，避免悬垂引用、const不匹配及odr问题。
std::span包装裸数组时，长度必须显式传入
裸数组在退化为指针时丢失长度信息，std::span 无法自动推导大小。直接写 std::span arr{ptr} 会触发默认构造（空 span），不是你想要的。
正确做法是显式提供长度：用 std::size()（对原生数组有效）或手动传入常量/变量。
- 对栈上定义的数组：
int data[5] = {1,2,3,4,5}; std::span<int> s{data, std::size(data)};</int>——std::size()是安全的，编译期常量 - 对函数参数里的数组引用（避免退化）：
template<size_t n> void f(int (&arr)[N]) { std::span s{arr}; }</size_t>—— 此时std::span构造函数能推导出N - 绝对不要这样：
void g(int* ptr) { std::span s{ptr}; }—— 没有长度，行为未定义
避免把局部数组地址传给长期存活的span
std::span 不拥有数据，只持有一个指针和长度。如果它引用的是栈上局部数组，而 span 本身逃逸到函数外（比如存入类成员、返回值、全局容器），就会变成悬垂引用。
- 错误示例：
std::span<int> bad() { int local[3]{1,2,3}; return std::span{local}; }</int>——local函数结束即销毁，返回的 span 指向垃圾内存 - 安全替代：改用
std::vector+std::span组合，或确保 span 生命周期严格短于所引用数组 - 工具辅助：启用编译器警告（如 Clang 的
-Wreturn-stack-address）可捕获部分此类问题
const正确性与cv-qualifier匹配要小心
std::span 的模板参数包含元素类型，const int* 和 int* 生成的是不同特化。把非 const 数组隐式转成 std::span<const int></const> 是允许的，但反过来不行。
- 允许：
int arr[4]; std::span<const int> s1{arr};</const> - 不允许：
const int carr[4]; std::span<int> s2{carr};</int>—— 编译失败，const 不能丢 - 常见陷阱：函数期望
std::span<const t></const>，你传std::span<t></t>没问题；但若函数签名为void f(std::span<t>)</t>，传const T[]就会编译不过
跨编译单元传递时，注意Odr-use和内联限制
如果你在头文件里定义了一个 std::span 全局变量并初始化为某个全局数组，要注意 ODR（One Definition Rule）风险：不同 TU 中该 span 可能被多次实例化，若数组定义在单个 TU 内，则其他 TU 中的 span 初始化会失败或未定义。
- 安全做法：把 span 声明为
extern，并在一个 .cpp 中定义；或改用函数返回 span（函数内联后由调用点解析数组地址） - 更稳妥：避免全局 span，改用函数作用域内的局部 span，或封装进类中管理生命周期
- 调试提示：链接时报
undefined reference to `xxx'，很可能是 span 初始化时试图取一个仅声明未定义的外部数组地址
实际使用中最容易忽略的是生命周期绑定关系——std::span 看似轻量，但它把“谁负责内存”这个责任完全交给了使用者，一不留神就从零成本抽象变成悬垂指针。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
