C++ 命名需求： 可逆容器

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名需求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

C++ 命名需求

基本 默认可构造 移动可构造 (C++11) 复制可构造 复制可赋值 移动可赋值 (C++11) 可析构 类型属性 标量类型 POD 类型 平凡可复制 (C++11) 平凡类型 (C++11) 标准布局类型 (C++11)   隐式生命周期类型 库范围 布尔可测试 相等可比较 小于可比较 可交换 值可交换 (C++11) 可空指针 (C++11) 哈希 (C++11) 分配器 函数对象 可调用 谓词 二元谓词 比较

容器 容器 可逆容器 分配器感知容器 序列容器 连续容器 (C++17) 关联容器 无序关联容器 (C++11)   容器元素 默认可插入 (C++11) 复制可插入 (C++11) 移动可插入 (C++11) 就地构造可插入 (C++11) 可擦除 (C++11) 迭代器 遗留迭代器 遗留输入迭代器 遗留输出迭代器 遗留前向迭代器 遗留双向迭代器 遗留随机访问迭代器 遗留连续迭代器 (C++17) 常量表达式迭代器 (C++20) 流 I/O 格式化输入函数 非格式化输入函数 格式化输出函数 非格式化输出函数 格式化器 基本格式化器 (C++20) 格式化器 (C++20)

随机数 种子序列 (C++11) 随机数引擎 (C++11) 随机数分布 (C++11) 均匀随机位生成器 (C++11) 随机数引擎适配器 (C++11) 并发 基本可锁定 (C++11) 可锁定 (C++11) 定时可锁定 (C++11) 共享可锁定 (C++14) 共享定时可锁定 (C++14) 互斥量 (C++11) 定时互斥量 (C++11) 共享互斥量 (C++17) 共享定时互斥量 (C++14) 范围 范围适配器对象 (C++20) 范围适配器闭包对象 (C++20) 多维视图 布局映射 (C++23) 布局映射策略 (C++23) 访问器策略 (C++23) 其他 字符特征 正则表达式特征 (C++11)   位掩码类型 文字类型 (C++11) 数值类型 一元类型特征 (C++11) 二元类型特征 (C++11) 变换特征 (C++11) 时钟 (C++11) 平凡时钟 (C++11)

 

一个 可逆容器 是一个 容器，其迭代器满足 遗留双向迭代器 或 遗留随机访问迭代器 的要求。这样的迭代器允许 可逆容器 反向迭代。

需求

如果一个类型满足 可逆容器，则它满足 容器，其迭代器类型属于双向或随机访问 迭代器类别，并且，鉴于以下类型和值，满足以下表格中的语义和复杂性要求

类型	定义
X	一个 可逆容器 类型
T	X 的 value_type
值	定义
a	X 类型的值

类型

名称	类型	需求
typename X::reverse_iterator	std::reverse_iterator<X::iterator>	一个迭代器类型，其 值类型 为 T
typename X::const_reverse_iterator	std::reverse_iterator<X::const_iterator>	一个常量迭代器类型，其 值类型 为 T

表达式

以下表格中的类型 reverse_iterator 和 const_reverse_iterator 分别表示 typename X::reverse_iterator 和 typename X::const_reverse_iterator。

表达式	类型	语义	复杂度
a.rbegin()	reverse_iterator const_reverse_iterator 用于常量 a	reverse_iterator(a.end())	常量
a.rend()	reverse_iterator const_reverse_iterator 用于常量 a	reverse_iterator(a.begin())	常量
a.crbegin()	const_reverse_iterator	const_cast<const X&>(a).rbegin()	常量
a.crend()	const_reverse_iterator	const_cast<const X&>(a).rend()	常量

标准库

• std::array
• std::deque
• std::list
• std::vector
• std::inplace_vector
• std::map
• std::multimap
• std::set
• std::multiset

示例

以下示例反向迭代一个 vector（具有 随机访问迭代器）。

运行此代码

#include <iostream>
#include <vector>
 
int main()
{
    std::vector<int> v = {3, 1, 4, 1, 5, 9};
 
    for (std::vector<int>::const_reverse_iterator i{v.crbegin()}; i != v.crend(); ++i)
        std::cout << *i << ' ';
    std::cout << '\n';
}

输出

9 5 1 4 1 3

缺陷报告

以下行为更改缺陷报告被追溯地应用于先前发布的 C++ 标准。

DR	应用于	已发布的行为	正确的行为
LWG 2105	C++98	typename X::const_reverse_iterator 被 要求为值类型为 const T 的迭代器类型	要求为 值类型为 T 的常量迭代器类型