std::span<T,Extent>::subspan

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

容器库

node-handle (C++17)

序列容器

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

hive (C++26)

deque

forward_list (C++11)

list

关联容器

set

multiset

map

multimap

无序关联容器

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

容器适配器

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

视图

span (C++20)

mdspan (C++23)

表格

迭代器失效

成员函数表格

非成员函数表格

 

std::span

成员函数

span::span

span::operator=

元素访问

span::front

span::back

span::at (C++26)

span::operator[]

span::data

迭代器

span::beginspan::cbegin (C++23)

span::endspan::cend (C++23)

span::rbeginspan::crbegin (C++23)

span::rendspan::crend (C++23)

观察器

span::empty

span::size

span::size_bytes

子视图

span::first

span::last

span::subspan

非成员函数

as_bytesas_writable_bytes

非成员常量

dynamic_extent

推导指引

 

template<std::size_t Offset,           std::size_t Count =std::dynamic_extent> constexprstd::span<element_type, /* 见下文 */>     subspan()const;	(1)	(C++20 起)
constexprstd::span<element_type, std::dynamic_extent>     subspan( size_type Offset,              size_type Count =std::dynamic_extent)const;	(2)	(C++20 起)

获得此 span 的若干连续元素上的子视图，根据元素个数和偏移确定要包含的元素。

1) 元素个数和偏移由模板实参提供，并且子视图只有在 Count 和 Offset 都是 std::dynamic_extent 时才拥有动态长度。

• 如果 Count 是 std::dynamic_extent，那么子视图包含从第 Offset 个元素开始的所有元素。
• 否则子视图包含从第 Offset 个元素开始的 Count 个元素。

以 FinalExtent 表示返回类型的第二个模板实参，它的定义是 Count !=std::dynamic_extent
    ? Count
    :(Extent !=std::dynamic_extent
        ? Extent - Offset
        :std::dynamic_extent)。

如果Offset <= Extent &&(Count ==std::dynamic_extent|| Count <= Extent - Offset) 是 false，那么程序非良构。

如果 Offset <= size()&&(Count ==std::dynamic_extent|| Count <= size()- Offset) 是 false，那么行为未定义。	(C++26 前)
如果 Offset <= size()&&(Count ==std::dynamic_extent|| Count <= size()- Offset) 是 false，那么： 如果实现是硬化实现，那么就会发生契约违背。并且契约违背处理函数在“观察”求值语义下返回时行为未定义。 如果实现不是硬化实现，那么行为未定义。	(C++26 起)

2) 元素个数和偏移由函数实参提供，并且子视图始终拥有动态长度。

• 如果 count 是 std::dynamic_extent，那么子视图包含从第 offset 个元素开始的所有元素。
• 否则子视图包含从第 offset 个元素开始的 count 个元素。

如果 offset <= size()&&(count ==std::dynamic_extent|| count <= size()- offset) 是 false，那么行为未定义。	(C++26 前)
如果 offset <= size()&&(count ==std::dynamic_extent|| count <= size()- offset) 是 false，那么： 如果实现是硬化实现，那么就会发生契约违背。并且契约违背处理函数在“观察”求值语义下返回时行为未定义。 如果实现不是硬化实现，那么行为未定义。	(C++26 起)

返回值

1)std::span<element_type, FinalExtent>
    (data()+ Offset, Count !=std::dynamic_extent? Count : size()- Offset))

2)std::span<element_type, std::dynamic_extent>
    (data()+ offset, count !=std::dynamic_extent? count : size()- offset))

示例

运行此代码

#include <algorithm>#include <cstdio>#include <numeric>#include <ranges>#include <span>   void display(std::span<constchar> abc){constauto columns{20U};constauto rows{abc.size()- columns +1};   for(auto offset{0U}; offset < rows;++offset){ std::ranges::for_each(abc.subspan(offset, columns), std::putchar);std::puts("");}}   int main(){char abc[26]; std::ranges::iota(abc, 'A'); display(abc);}

输出：

ABCDEFGHIJKLMNOPQRST BCDEFGHIJKLMNOPQRSTU CDEFGHIJKLMNOPQRSTUV DEFGHIJKLMNOPQRSTUVW EFGHIJKLMNOPQRSTUVWX FGHIJKLMNOPQRSTUVWXY GHIJKLMNOPQRSTUVWXYZ

参阅

first	获得由序列前 N 个元素组成的子段 (公开成员函数)
last	获得由序列末 N 个元素组成的子段 (公开成员函数)