最简方式是直接用std::span s = arr;（c++20起支持隐式构造），关键需保持数组不退化为指针；函数参数须用引用模板template void f(int (&arr)[n])或直接std::span，避免int*导致尺寸丢失。
普通数组转 std::span 的最简方式
直接用 std::span 构造函数即可，不需要额外拷贝或转换。C++20 起，std::span 支持从原生数组（含长度信息）隐式构造，编译器能自动推导大小。
例如：
int arr[] = {1, 2, 3, 4, 5};
std::span<int> s = arr; // ✅ 正确：自动推导 size() == 5
</int>
关键点是：数组不能退化为指针。传入形参为 int* 或函数参数中写成 int arr[]（实际是 int*）时，长度信息丢失，无法直接构造 —— 这是初学者最常卡住的地方。
函数参数里怎么安全传数组进 std::span
如果想让调用方传普通数组、又在函数内拿到带尺寸的 std::span，函数参数必须保留数组类型（含大小），不能写成指针或裸 []。
- ✅ 正确（模板推导数组大小）：
template<size_t n> void f(int (&arr)[N]) { std::span s = arr; }</size_t> - ✅ 正确（直接接受
std::span）：void f(std::span<const int> s)</const>，调用时写f(arr)即可 - ❌ 错误（丢失尺寸）：
void f(int* arr)或void f(int arr[])，此时arr已是int*，无法构造std::span
注意：std::span 构造不检查空指针，但若源数组生命周期结束（比如栈数组已出作用域），std::span 会变成悬垂视图 —— 它本身不管理内存，这点和 std::vector 有本质区别。
std::span 构造失败的典型错误信息
常见编译错误包括：
-
error: no matching constructor for initialization of 'std::span<int>'</int>—— 多半是传了int*却没给长度 -
error: array type 'int [0]' is not assignable—— 尝试用空数组字面量{}初始化，但 C++20 不允许零长数组作为左值参与推导 -
warning: temporary whose address is used as value of local variable will be destroyed at the end of the full-expression—— 对临时数组（如std::array{1,2,3}.data()）取.data()后构造span，容易悬垂
绕过这些错误的核心原则只有一条：确保构造时的源对象是具名、非临时、生命周期可控的数组对象。
和 std::vector / std::array 的互操作差异
std::span 是纯视图，它不拥有数据，因此构造开销为零；而 std::vector 和 std::array 都是容器，前者堆分配，后者栈固定大小。
-
std::vector→std::span：std::span{v}或v（C++23 起支持隐式转换） -
std::array→std::span：std::span{a}直接构造，安全且高效 -
std::span→std::vector：必须显式拷贝，如std::vector{span.begin(), span.end()}，别指望隐式转换
最容易被忽略的是：std::span 的 data() 返回的是 T*，不是智能指针，也不带所有权语义 —— 所以哪怕你把它传进一个期望 std::shared_ptr<int></int> 的函数，也完全不兼容。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
