std::span不能直接接收{1,2,3}或std::array{1,2,3}等右值，因其禁止绑定临时对象；正确方式为传左值数组、左值std::array或显式构造，且形参应为值传递而非const&。
直接用
作函数形参是安全且高效的，但必须传左值或显式构造，不能直接传字面量数组或临时
而不加约束——否则编译失败或生命周期出问题。
为什么不能直接传
或
？
因为
默认不接受右值容器（C++20 标准明确禁止绑定到临时对象的指针），而花括号初始化列表和临时
都是纯右值。编译器会报类似错误：
常见误写：
→ 错误：没有匹配的
构造函数
→ 错误：试图绑定临时对象的地址
→ 编译通过但危险：
持有悬垂指针
正确传参的三种方式（按推荐顺序）
核心原则：确保 span 所指内存生命周期 ≥ 函数调用期。
立即学习
“
C++免费学习笔记（深入）
”；
传具名左值变量：
—— 最安全，数组生命周期明确
传
左值：
——
可隐式转换
显式构造（仅限已确认生命周期足够时）：
—— 适用于 raw pointer + size 场景，比如 C API 回调
形参要不要加
？
不需要。因为
本身是轻量值类型（通常仅含两个指针大小），拷贝开销极小；加
反而可能阻碍编译器优化，且语义上无意义——它不拥有数据，只是视图。
正确写法：
错误写法：
—— 多余引用，且妨碍
的移动/拷贝优化
—— 除非你真要修改 span 本身（如重绑定），否则没必要
跨编译单元或模板推导时的兼容性注意点
当函数定义在头文件中（尤其模板函数），且调用方使用不同标准版本（如 caller 是 C++17，callee 声明为 C++20），
可能不可见或推导失败。此时需：
确保所有参与编译的 TU 都启用
（MSVC）或
（GCC/Clang）
显式包含
，不要依赖间接包含
避免对
做 SFINAE 推导（如
），因部分标准库实现对其做了私有别名包装
最易被忽略的是：把
当作“零成本抽象”就以为可以随意跨栈帧传递——但它不管理内存，一旦底层容器析构，span 立即失效。这点比
更容易踩坑，因为数组生命周期更隐蔽。
std::spanstd::array{1,2,3}std::array{1,2,3}std::spanstd::arrayerror: no matching constructor for initialization of 'std::span' func({1,2,3});std::spanfunc(std::array{1,2,3});func(std::vector{1,2,3});std::spanint arr[] = {1,2,3}; func(arr);std::arraystd::array a = {1,2,3}; func(a);std::spanfunc(std::span(data_ptr, size));std::spanconst&std::spanconst&void process(std::span s); // 接收只读视图
void mutate(std::span s); // 允许修改底层元素 void f(const std::span&) std::spanvoid f(std::span&) std::span/std:c++20-std=c++20std::spanstd::is_same_v> std::spanstd::string_view