std::span提供安全高效的连续数据视图，不拥有数据，支持静态与动态范围及子视图操作，需确保生命周期内所指数据有效。
在C++20中，std::span 提供了一种安全且高效的方式来表示连续的数据序列，比如数组、std::vector 或 C 风格数组，而无需拥有这些数据。它本质上是一个“视图”（view），只包含指向数据的指针和长度信息，不复制底层数据。
基本用法
std::span 定义在 头文件中。它可以绑定到任何连续存储的容器或数组上。
例如，将一个 std::vector 传递给函数时，使用 std::span 比使用原始指针或迭代器更安全：
#include
#include
#include
void print_values(std::span data) {
for (int value : data) {
std::cout << value << " ";
}
std::cout << "\n";
}
int main() {
std::vector vec = {1, 2, 3, 4, 5};
print_values(vec); // 自动转换为 span
int arr[] = {10, 20, 30};
print_values(arr); // 同样适用}
静态与动态范围
std::span 支持两种维度：编译期已知大小的静态 span 和运行时决定大小的动态 span。
- 使用
std::span表示固定大小为 3 的整型序列。 - 使用
std::span或std::span表示大小可变。
静态 span 可以在编译期做更多检查，比如越界访问检测（部分实现支持）。
子视图操作
std::span 提供了便捷的子视图方法，如 subspan、first、last，用于创建原数据的一部分视图。
std::vectordata = {1, 2, 3, 4, 5}; std::span
s(data); auto first_two = s.first(2); // {1, 2} auto last_three = s.last(3); // {3, 4, 5} auto middle = s.subsp
an(1, 3); // {2, 3, 4}
print_values(first_two);
an(1, 3); // {2, 3, 4}这些操作不会拷贝数据，只是调整指针和长度，非常轻量。
注意事项
std::span 不拥有数据，因此必须确保其生命周期不超过所引用的数据。避免返回指向局部数组的 span。
- 不要从函数返回本地数组的 span。
- 慎用于 lambda 捕获或长期存储。
正确使用时，它是替代 T* + size_t 或 std::pair
基本上就这些。std::span 让接口更清晰、更安全，是现代 C++ 中处理连续内存的推荐方式。
