C++中的std::span怎么用？C++20轻量级视图容器教程【现代C++】

std::span是C++20引入的轻量零开销视图容器，不拥有数据，仅安全访问已存在连续内存；核心用途是替代裸指针+长度，避免越界与所有权混乱，提升类型安全与代码可读性。

std::span 是 C++20 引入的轻量、零开销视图容器，它不拥有数据，只“看”一段已存在的连续内存（比如数组、vector、C 风格数组），帮你安全、简洁地传递和操作子范围。

核心用途：替代裸指针+长度，避免越界和所有权混乱

过去常写 void func(int* data, size_t len)，容易传错长度、无法静态检查、不表达意图。用 std::span 后变成：

void process(std::span s) {
    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 生命周期内有效**。

• 从数组：std::span s1{arr};（编译期知道大小，更安全）
• 从 vector：std::span s2{v};（运行期大小，类型为 span）
• 指定范围：std::span s3{v.data() + 1, 2}; 或 s3{&v[1], 2}
• ⚠️ 错误示范：{ std::vector tmp{1,2,3}; return std::span{tmp}; } → 返回悬空 span！

常用操作：像容器一样用，但不可增删

它提供类似容器的接口，但所有操作都是只读或重绑定（不修改原数据）：

• 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 cs = s; → 可隐式转为 const 版本

进阶提示：配合模板和算法更自然

它天生适合泛型编程。例如写一个通用求和函数：

template
auto 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::vector data = {5,2,8,1};
std::ranges::sort(std::span{data}.subspan(1, 3)); // 只排序中间三个：{5,1,2,8}

基本上就这些 —— 不复杂，但容易忽略生命周期约束。用好 span，代码更清晰、更安全、也更现代。