std::span通过封装“地址+长度”阻止指针退化,构造时绑定真实大小,避免传统t*传参丢失尺寸信息;使用需确保生命周期安全,禁止悬空引用,调用c api时注意const兼容性,subspan无越界检查需手动断言。

std::span 为什么能阻止动态数组传参时的指针退化
因为 std::span 不是裸指针,它把“地址 + 长度”打包成一个不可分割的类型。当你把 std::vector 或堆分配数组传给函数时,传统方式会退化为 T* 并丢失大小信息;而 std::span<t></t> 在构造时就绑定了有效长度,函数内调用 size() 永远返回真实元素数,sizeof 也不再返回指针大小(8 字节),彻底切断退化链。
从 std::vector 或 new[] 构造 span 的安全写法
关键不是“能不能构造”,而是“生命周期是否对齐”。常见错误是让 std::span 引用已销毁或即将销毁的数据。
- 来自
std::vector:用std::span{vec}或std::span{vec.data(), vec.size()},前提是vec对象在函数返回前不析构 - 来自
new[]:绝不能直接写std::span{new int[10], 10}——std::span不接管delete[],必须配合智能指针:auto ptr = std::make_unique<int>(10); std::span<int> sp{ptr.get(), 10};</int></int> - 禁止返回局部 vector 构造的 span:
std::span<int> bad() { std::vector<int> v(5); return {v}; }</int></int>——v函数结束即销毁,sp成悬空视图
调用 C 风格 API 时的 const 与非 const 陷阱
std::span 的 data() 返回 T*,但很多 C API 声明参数为 void* 或 const void*。表面看能强转,实际容易踩坑:
- 若 API 会修改数据(如
read(fd, buf, len)),你传了std::span<const int></const>,编译器直接报错:不能从const T*转void* - 正确做法是统一用非 const 版本:
std::span<int></int>,哪怕逻辑上只读;或者显式const_cast(不推荐) - 对只读 API(如
strlen、send只读缓冲区),用std::span<const char></const>更语义清晰,也防误写
subspan 切片时没有自动越界检查
subspan(offset, count) 是零开销操作,但它不做运行时校验 —— 如果 offset + count > span.size(),行为未定义,可能崩溃或读到垃圾内存。
- 手动加断言:
assert(offset + count - 更稳妥的做法是先用
first(n)或last(n)截取前/后若干元素,它们会自动 clamp 到合法范围 - 例如取后 3 个元素:
auto tail = sp.last(3);,即使sp.size() ,<code>tail.size()也会是sp.size(),不会越界
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











