std::span是C++20引入的非拥有式连续内存视图，用于替代指针+长度的传参方式，提供类型安全与边界检查，支持数组、vector等容器的引用传递，避免越界访问，提升代码安全性与可读性。
在C++20中引入的std::span是一种轻量级、非拥有的视图类型，用于安全地访问连续内存块，如数组、std::array、std::vector等。相比传统的指针和长度组合方式，std::span提供了更好的类型安全和边界检查支持，有效减少越界访问等常见错误。
什么是std::span？
std::span是一个“视图”（view），它不拥有数据，只引用已存在的连续内存区域。它的设计目标是替代原始指针+大小的参数传递方式，使接口更清晰、更安全。
它可以指向：
- C风格数组
std::arraystd::vector- 动态分配的数组（需确保生命周期）
创建std::span不会复制数据，仅保存指向起始位置的指针和元素数量。
立即学习“C++免费学习笔记（深入）”；
基本用法示例
以下是一些常见的使用场景：
// 示例：使用 span 遍历 vector 元素#include
#include
#include iostream>
void print_values(std::span
for (const auto& val : data) {
std::cout }
std::cout }
int main() {
std::vector
print_values(vec); // 自动转换为 span
return 0;
}
注意：函数参数使用std::span可以直接接受std::vector、std::array等容器，无需手动传指针和长度。
也可以从数组创建：
int arr[] = {10, 20, 30, 40};std::span sp(arr); // 推导出 size=4
std::cout
安全优势：避免越界与类型混淆
传统做法中，我们常这样写函数：
void process(int* data, size_t count);这种方式的问题在于：
- 无法区分是指向单个整数还是数组
- 调用者容易传错大小
- 没有内置的范围检查机制
而使用std::span后，函数签名明确表达了“我需要一段连续的int序列”：
编译器会自动验证兼容类型，并保留大小信息。某些实现（如MSVC的/GS选项或启用contracts）可在调试中加入运行时边界检查。
例如，尝试越界访问：
std::spanif (!sp.empty()) {
int last = sp[sp.size()]; // 可能在调试中触发断言
}
虽然标准不要求强制抛异常，但许多现代库和工具链会在开发模式下提供警告或断言提示。
静态与动态范围：template 参数
std::span支持指定固定大小的维度，增强编译期检查能力：
调用示例：
std::array a = {1, 2, 3};needs_three(a); // OK
std::vector v = {1, 2};
// needs_three(v); // 编译错误！size 不匹配
这种机制特别适合处理固定大小协议字段、矩阵行等场景。
如果不确定大小，仍可用动态维度：
std::span基本上就这些。std::span 让你以更现代、更安全的方式操作连续内存，减少错误的同时提升代码可读性。只要注意它不管理生命周期，确保所引用的数据在 span 使用期间有效即可。
