C++ 参考手册
- C++11
- C++14
- C++17
- C++20
- C++ 编译器支持情况表
- 独立与宿主实现
- C++ 语言
- C++ 关键词
- 预处理器
- C++ 标准库头文件
- 具名要求
- 功能特性测试 (C++20)
- 工具库
- 类型支持（基本类型、RTTI、类型特性）
- 概念库 (C++20)
- 错误处理
- 动态内存管理
- 日期和时间工具
- 字符串库
- 容器库
- std::array
- std::vector
- std::map
- std::unordered_map
- std::priority_queue
- std::span
- std::span<T,Extent>::span
- std::span<T,Extent>::operator=
- std::span<T,Extent>::front
- std::span<T,Extent>::back
- std::span<T,Extent>::operator[]
- std::span<T,Extent>::data
- std::span<T,Extent>::begin
- std::span<T,Extent>::end
- std::span<T,Extent>::rbegin
- std::span<T,Extent>::rend
- std::span<T,Extent>::empty
- std::span<T,Extent>::size
- std::span<T,Extent>::size_bytes
- std::span<T,Extent>::first
- std::span<T,Extent>::last
- std::span<T,Extent>::subspan
- std::as_bytes, std::as_writable_bytes
- std::get(std::span)
- std::dynamic_extent
- std::span 的推导指引
- std::forward_list
- std::deque
- std::list
- std::set
- std::multiset
- std::multimap
- std::unordered_set
- std::unordered_multiset
- std::unordered_multimap
- std::stack
- std::queue
- std::vector<bool>
- 结点把柄 (C++17)
- 注释
- 迭代器库
- 范围库 (C++20)
- 算法库
- 数值库
- 输入/输出库
- 文件系统库
- 本地化库
- 正则表达式库
- 原子操作库
- 线程支持库
- 实验性 C++ 特性
- 有用的资源
- 索引
- std 符号索引
- 协程支持 (C++20)
- C++ 关键词
std::span
| 定义于头文件 <span>
|
||
| template< class T, |
(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 (公开成员函数) | |
赋值 span (公开成员函数) | |
迭代器 | |
| 返回指向序列起始的迭代器 (公开成员函数) | |
| 返回指向序列末尾的迭代器 (公开成员函数) | |
| 返回指向序列逆向起始的逆向迭代器 (公开成员函数) | |
| 返回指向序列逆向末尾的逆向迭代器 (公开成员函数) | |
元素访问 | |
| 访问第一个元素 (公开成员函数) | |
| 访问最后一个元素 (公开成员函数) | |
| 访问序列的元素 (公开成员函数) | |
| 返回指向元素序列起始的指针 (公开成员函数) | |
观察器 | |
| 返回序列中的元素数 (公开成员函数) | |
| 返回以字节表示的序列大小 (公开成员函数) | |
| 检查序列是否为空 (公开成员函数) | |
子视图 | |
| 获得由序列首 N 个元素组成的子段 (公开成员函数) | |
| 获得由序列末 N 个元素组成的子段 (公开成员函数) | |
| 获得子段 (公开成员函数) | |
非成员函数
转换 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; |
||
std::ranges::enable_borrowed_range 的此特化使得 span 满足 borrowed_range 。
| template<class T, std::size_t Extent> inline constexpr bool ranges::enable_view<std::span<T, Extent>> = |
||
std::ranges::enable_view 的此特化使零或动态长度的 span 满足 view 。非零静态长度的 span 非 default_initializable 从而不是视图。