std::span是C++20引入的轻量零开销视图容器，不拥有数据，仅安全访问已存在连续内存；核心用途是替代裸指针+长度，避免越界与所有权混乱，提升类型安全与代码可读性。
std::span 是 C++20 引入的轻量、零开销视图容器，它不拥有数据，只“看”一段已存在的连续内存（比如数组、vector、C 风格数组），帮你安全、简洁地传递和操作子范围。
核心用途：替代裸指针+长度，避免越界和所有权混乱
过去常写 void func(int* data, size_t len)，容易传错长度、无法静态检查、不表达意图。用 std::span 后变成：
void process(std::spans) { for (int x : s) { /* 安全遍历 */ } if (!s.empty()) std::cout << s[0]; // 自动边界检查（debug 模式下可能触发断言） }
调用时可直接传：
-
int arr[] = {1,2,3,4}; process(arr);→ 自动推导长度 -
std::vector→ 适配容器（需支持v = {10,20,30}; process(v); data()和size()） -
process(v.subspan(1, 2));→ 取子视图 [20,30]
构造方式：灵活且多数隐式，但注意生命周期
std::span 本身不拷贝数据，所以你必须确保它所指向的原始内存**在 span 生命周期内有效**。
立即学习“C++免费学习笔记（深入）”；
- 从数组：
std::span（编译期知道大小，更安全）s1{arr}; - 从 vector：
std::span（运行期大小，类型为s2{v}; span） - 指定范围：
std::span或s3{v.data() + 1, 2}; s3{&v[1], 2} - ⚠️ 错误示范：
{ std::vector→ 返回悬空 span！tmp{1,2,3}; return std::span{tmp}; }
常用操作：像容器一样用，但不可增删
它提供类似容器的接口，但所有操作都是只读或重绑定（不修改原数据）：
-
s.data()/s.size()/s.empty() -
s.front()/s.back()/s[i]（无界检查，但 debug 模式下可能 assert） -
s.first→ 前 N 个元素的新 span（编译期 N）() -
s.last→ 后 N 个() -
s.subspan(off, count)→ 运行期截取（如s.subspan(1, 2)） -
std::span→ 可隐式转为 const 版本cs = s;
进阶提示：配合模板和算法更自然
它天生适合泛型编程。例如写一个通用求和函数：
templateauto sum(std::span s) { return std::accumulate(s.begin(), s.end(), T{}); } // 调用：sum(arr), sum(v), sum(v.subspan(0, v.size()/2))
再比如与 std::ranges::sort 配合（C++20）：
std::vectordata = {5,2,8,1}; std::ranges::sort(std::span{data}.subspan(1, 3)); // 只排序中间三个：{5,1,2,8}
基本上就这些 —— 不复杂，但容易忽略生命周期约束。用好 span，代码更清晰、更安全、也更现代。
