std::span是C++20引入的轻量级非拥有型连续内存视图，统一函数参数接口、支持动态/静态长度、零开销、不管理内存、需注意生命周期。
std::span 是 C++20 引入的一个轻量级、非拥有型的连续内存视图（view），它不管理内存，只“看”一段已存在的连续内存区域（比如数组、std::vector、C 风格数组等），提供安全、便捷、泛型的访问接口。
它解决什么问题？
在 C++20 之前，函数想接受“一段连续数据”常得写多个重载（如 const T*, size_t）、用模板 + 迭代器对，或依赖 std::vector（但强制要求堆分配）。这些方式要么不安全（裸指针易越界）、要么不通用（vector 不能接收栈数组）、要么冗余（迭代器对写法啰嗦）。
std::span 统一了这种需求：一个类型，能安全地绑定任意连续内存块，带长度检查（可选）、支持范围 for、能隐式构造、零运行时代价。
基本用法和构造方式
定义：template
立即学习“C++免费学习笔记（深入）”；
-
动态长度（最常用）：
std::span或s(arr, 5); std::span s{vec};（C++20 类模板参数推导） -
静态长度（编译期检查）：
std::span—— 若传入长度不对，编译失败s{arr}; - 支持从
std::array、std::vector、T[]、std::string等自动构造（只要满足 ContiguousIterator）
关键特性与注意事项
- 零开销抽象：通常只含两个字段（指针 + 长度），无内存分配，无虚函数，内联友好
- 不拥有资源：析构不释放内存，传参时推荐按值传递（小对象，拷贝便宜）
-
边界安全可选：debug 模式下部分标准库实现会做断言检查（如
s[i]越界），但不强制抛异常；生产环境靠静态分析或 assert 配合 -
不可扩容/缩容：它是只读视图；想改大小要用 vector/array/span 的子视图（
s.subspan(1, 3)）或另建 - 注意生命周期：span 不延长所指对象的生命期，使用时确保原始内存还有效（常见错误：返回局部数组的 span）
典型使用场景
- 函数参数统一接口：
void process(std::span—— 可传data); std::vector、double[100]、std::array - 切片操作：
auto header = packet.subspan(0, 4); auto payload = packet.subspan(4); - 算法适配：配合
std::ranges::sort、std::ranges::find等直接使用（因满足 range 概念） - 替代 C 接口胶水层：把
void*+size_t封装成类型安全的 span，降低误用风险
基本上就这些。它不是万能容器，而是一个“智能指针+长度”的现代封装，让 C++ 在保持零成本的同时，显著提升接口清晰度和安全性。
