std::span通过构造时捕获长度解决裸数组退化问题，推荐用std::span{arr}调用；它零开销、无所有权、支持安全切片，但需注意生命周期和越界风险。
std::span 怎么接住裸数组的长度
裸数组传参时退化成指针，sizeof 和 std::size 都失效，std::span 就是为这事设计的：它在构造时就“记下”长度，不依赖运行时推导。用它替代 T* 或 std::vector<t>&</t> 做参数，既轻量又带尺寸信息。
常见错误是直接传栈数组给接受 std::span 的函数却忘了加模板推导——编译器不会自动把 int[5] 转成 std::span<int></int>，得靠构造函数或模板参数帮一把：
- 推荐写法：
func(std::span{arr})（C++20 类模板参数推导，最简洁） - 显式写法：
func(std::span<int>{arr})</int>或func(std::span<int>{arr})</int> - 别写
func(arr)—— 这会尝试隐式转换，失败且报错晦涩，典型错误信息是no matching constructor
为什么不用 std::vector 或指针+size_t
std::vector 带堆分配和所有权语义，纯读取场景纯属浪费；裸指针加 size_t 参数虽可行，但接口松散、易传错顺序、无法静态约束长度关系。而 std::span 是零开销抽象：它只存两个字段（指针 + size），无内存分配，无拷贝数据，且支持 std::span<const t></const> 向 std::span<t></t> 的安全转换限制（防止意外写入）。
性能上，std::span 构造是 constexpr 的，编译期可优化；兼容性上，只要编译器支持 C++20（GCC 10+/Clang 10+/MSVC 19.28+），就能用，无需额外依赖。
立即学习“C++免费学习笔记（深入）”；
- 传
std::vector给std::span完全合法：std::span{vec}→ 自动取data()和size() - 传字符串字面量：
std::span{"hello"} // 类型是 std::span<const char></const>，注意末尾\0也被计入 - 别对临时
std::vector取std::span并长期持有——std::span不延长生命周期，悬垂风险和裸指针一样
边界检查和迭代器使用要注意什么
std::span 默认不检查越界，operator[] 行为和原生数组一致：越界即未定义行为。想安全访问，得手动用 at()（抛 std::out_of_range），但它不是 constexpr，也不能用于 consteval 上下文。
迭代器接口完全对标容器：begin()/end() 返回的是普通指针（T*），所以能直接用范围 for、STL 算法，比如 std::find(span.begin(), span.end(), x)，也支持 span.data() 直接拿原始指针。
-
span.subspan(2, 3)返回新std::span，不复制数据，开销为零 -
span.first<n>()</n>和span.last<n>()</n>是编译期常量长度切片，类型包含维度信息，可用于模板匹配 - 误用
span.data()后自己算偏移再解引用？危险！不如直接用span[i]或span.subspan()，语义更清晰、更难出错
std::span 在模板函数里怎么写才不崩
模板参数推导对 std::span 很友好，但容易忽略两点：一是数组引用类型保留大小信息，二是 const 限定符传递要小心。比如函数声明为 template<typename t> void f(std::span<t> s)</t></typename>，传入 const int arr[10] 会失败，因为 T 推导为 int，而实际类型是 const int[10]。
更健壮的写法是让模板参数吸收顶层 const，或者直接用非模板重载：
- 推荐：
template<typename t> void f(std::span<const t> s)</const></typename>—— 兼容const和非const数据 - 或者更通用：
template<typename r> void f(R&& r) { std::span s{std::forward<r>(r)}; ... }</r></typename>，靠 CTAD 自动适配 - 别写
void f(std::span<int> s)</int>然后指望它接收std::array<int></int>——std::array到std::span的转换是用户定义转换，需要显式构造或 CTAD 辅助
真正麻烦的不是语法，而是生命周期管理：只要底层数据活不过 std::span 实例，一切安全假设都归零。这点和 std::string_view 一模一样，但更容易被忽略——毕竟数组看着太“实在”了。
