std::span_C++中文网

定义于头文件 <span>

template<

class T,
std::size_t Extent = std::dynamic_extent

> class span;

(C++20 起)

类模板 span 所描述的对象能指代对象的相接序列，序列的首元素在零位置。 span 能拥有静态长度，该情况下序列中的元素数已知并编码于类型中，或拥有动态长度。

典型实现只保有二个成员：指向 T 的指针和大小。

T	-	元素类型；必须是完整类型且非抽象类
Extent	-	序列中的元素数，或若它为动态则为 `std::dynamic_extent`


成员类型	定义
`element_type`	`T`
`value_type`	std::remove_cv_t<T>
`size_type`	std::size_t
`difference_type`	std::ptrdiff_t
`pointer`	`T*`
`const_pointer`	`const T*`
`reference`	`T&`
`const_reference`	`const T&`
`iterator`	实现定义的遗留随机访问迭代器 (LegacyRandomAccessIterator) 、常量表达式迭代器 (ConstexprIterator) 兼遗留连续迭代器 (LegacyContiguousIterator) ，其 `value_type` 为 `value_type`
`reverse_iterator`	std::reverse_iterator<iterator>
`const_reverse_iterator`	std::reverse_iterator<const_iterator>

注意：若 T 无 const 限定则 iterator 为可变迭代器。

容器 (Container) 的迭代器类型上的所有要求亦应用于 span 的 iterator 类型。

static constexpr std::size_t extent = Extent;

转换 span 为对其底层字节的视图
(函数模板)

(C++20)

size_t 类型常量，指明 span 拥有动态长度
(常量)

template<class T, std::size_t Extent> inline constexpr bool ranges::enable_borrowed_range<std::span<T, Extent>> = true;

template<class T, std::size_t Extent>

inline constexpr bool ranges::enable_view<std::span<T, Extent>> =

Extent == 0 || Extent == dynamic_extent;

std::ranges::enable_view 的此特化使零或动态长度的 span 满足 view 。非零静态长度的 span 非 default_initializable 从而不是视图。