C20 std::span用一个参数传递连续内存别忘了生命周期传统接口常写成“指针加长度”。一旦长度传错调用方和被调用方就可能对数据范围产生不同理解。std::span 把地址和元素数量放在一个轻量视图里适合统一接收数组、std::array 与 vector。最低标准C20。span 是非拥有视图不负责分配或释放元素。1. 数组和 vector 使用同一个接口#includeiostream#includespan#includevectorlonglongsum(std::spanconstintvalues){longlongtotal0;for(intvalue:values)totalvalue;returntotal;}voiddouble_values(std::spanintvalues){for(intvalue:values)value*2;}intmain(){intarray[]{1,2,3};std::vectorintnumbers{4,5,6};std::coutsum(array)\n;double_values(numbers);std::coutsum(numbers)\n;std::spanconstintviewnumbers;std::coutsum(view.subspan(1,2))\n;}预期输出是 6、30、22。span 通常按值传递即可复制视图不等于复制底层所有元素。上面的 subspan 取出从下标 1 开始的两个元素同样没有复制数组内容。2. const 放在哪里很重要std::spanconst int表示不能通过该视图修改元素。const std::spanint则主要限制视图对象本身仍允许通过它修改 int 元素。设计只读接口时应选择前一种写法。span 只适用于连续存储。std::list 不是连续数组std::vector 也不能当成普通 bool 连续区间直接传入。3. 携带长度不等于自动防住所有越界C20 的 span 下标访问和 subspan 都有范围前提不应依赖它们自动抛出越界异常。上例之所以能取 subspan(1, 2)是因为长度确定为 3处理外部输入时要先验证范围。另一个关键问题是生命周期vector 扩容、容器销毁或原数组离开作用域后指向旧内存的 span 会失效。span 不会延长底层对象寿命也不会随着容器自动更新长度。即使 vector 增加元素但没有重新分配旧 span 也仍只覆盖原来的长度。4. 什么时候值得用算法只需要临时访问一段连续元素时span 很合适需要长期保存数据时应明确复制到拥有数据的容器。把 span 看成“带长度的借用”而不是“小型 vector”就不容易用错。接口与构造方式可进一步参考 Microsoft 的 span 文档。C20 std::span用一个参数传递连续内存别忘了生命周期传统接口常写成“指针加长度”。一旦长度传错调用方和被调用方就可能对数据范围产生不同理解。std::span 把地址和元素数量放在一个轻量视图里适合统一接收数组、std::array 与 vector。最低标准C20。span 是非拥有视图不负责分配或释放元素。1. 数组和 vector 使用同一个接口#includeiostream#includespan#includevectorlonglongsum(std::spanconstintvalues){longlongtotal0;for(intvalue:values)totalvalue;returntotal;}voiddouble_values(std::spanintvalues){for(intvalue:values)value*2;}intmain(){intarray[]{1,2,3};std::vectorintnumbers{4,5,6};std::coutsum(array)\n;double_values(numbers);std::coutsum(numbers)\n;std::spanconstintviewnumbers;std::coutsum(view.subspan(1,2))\n;}预期输出是 6、30、22。span 通常按值传递即可复制视图不等于复制底层所有元素。上面的 subspan 取出从下标 1 开始的两个元素同样没有复制数组内容。2. const 放在哪里很重要std::spanconst int表示不能通过该视图修改元素。const std::spanint则主要限制视图对象本身仍允许通过它修改 int 元素。设计只读接口时应选择前一种写法。span 只适用于连续存储。std::list 不是连续数组std::vectorbool也不能当成普通 bool 连续区间直接传入。3. 携带长度不等于自动防住所有越界C20 的 span 下标访问和 subspan 都有范围前提不应依赖它们自动抛出越界异常。上例之所以能取 subspan(1, 2)是因为长度确定为 3处理外部输入时要先验证范围。另一个关键问题是生命周期vector 扩容、容器销毁或原数组离开作用域后指向旧内存的 span 会失效。span 不会延长底层对象寿命也不会随着容器自动更新长度。即使 vector 增加元素但没有重新分配旧 span 也仍只覆盖原来的长度。4. 什么时候值得用算法只需要临时访问一段连续元素时span 很合适需要长期保存数据时应明确复制到拥有数据的容器。把 span 看成“带长度的借用”而不是“小型 vector”就不容易用错。接口与构造方式可进一步参考 Microsoft 的 span 文档。
