std::span

定义于头文件 `<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`
`const_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 和 const_iterator 类型。

static constexpr std::size_t extent = Extent;

(C++20)

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

std::tuple_size<std::span>	获得静态长度 `span` 的大小 (类模板特化)
std::tuple_element<std::span>	获得静态长度 `span` 的元素类型 (类模板特化)