std::experimental::ranges::BidirectionalIterator

 

C++

编译器支持

独立式和宿主式

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库 (filesystem TS)

库基础 (library fundamentals TS)

库基础 2 (library fundamentals TS v2)

库基础 3 (library fundamentals TS v3)

并行性扩展 (parallelism TS)

并行性扩展 2 (parallelism TS v2)

并发性扩展 (concurrency TS)

并发性扩展 2 (concurrency TS v2)

概念 (concepts TS)

范围 (ranges TS)

反射 (reflection TS)

数学特殊函数 (special functions TR)

实验性非 TS

模式匹配

线性代数

std::execution

契约

2D 图形

 

范围

概念

通用工具

迭代器

范围

算法

 

迭代器库

迭代器概念
可读的 可写的 弱可递增的 可递增的	迭代器 哨位 带尺寸哨位	输入迭代器 前向迭代器 双向迭代器 随机访问迭代器	输出迭代器
间接可调用概念
间接一元可调用间接正则一元可调用	间接一元谓词	间接关系	间接严格弱序
常用算法要求
间接可移动的 间接可移动可存储的	间接可复制的 间接可复制可存储的	间接可交换的 间接可比较的	可置换的 可归并的 可排序的
概念工具
indirect_result_of	projected
迭代器工具和操作
iter_move iter_swap	advance distance	next prev
迭代器特性
difference_type value_type reference_trvalue_reference_titer_common_reference_t iterator_category	input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tag	ranges::iterator_traits std::iterator_traits<InputIterator>std::iterator_traits<OutputIterator>
迭代器适配器
reverse_iterator move_iterator move_sentinel	back_insert_iterator front_insert_iterator insert_iterator	common_iterator counted_iterator default_sentinel	danglingborrowed_iterator_t unreachable
流迭代器
istream_iterator	ostream_iterator	istreambuf_iterator	ostreambuf_iterator

 

在头文件 <experimental/ranges/iterator> 中定义
template< class I > concept bool BidirectionalIterator =     ForwardIterator<I> &&     DerivedFrom<ranges::iterator_category_t<I>, ranges::bidirectional_iterator_tag> &&     requires(I i) {         { --i } -> Same<I>&;         { i-- } -> Same<I>&&;     };		(ranges TS)

概念 BidirectionalIterator<I> 细化了 ForwardIterator，通过增加向后移动迭代器的能力。

如果存在某个 s 使得 ++s == r，则称双向迭代器 r 是可递减的。所有可递减的迭代器 r 都应在表达式 --r 和 r-- 的定义域内。

设 a 和 b 是 I 类型的可递减对象。仅当满足以下条件时，BidirectionalIterator<I> 才成立：

• 前置递减产生引用操作数的左值：std::addressof(--a) == std::addressof(a)。
• 后置递减产生操作数的先前值：如果 bool(a == b)，则 bool(a-- == b)。
• 后置递减和前置递减对其操作数执行相同的修改：如果 bool(a == b)，则在评估 a-- 和 --b 之后，bool(a == b) 仍然成立。
• 递增和递减互为逆运算

• 如果 a 是可递增的且 bool(a == b)，则 bool(--(++a) == b)。
• 如果 bool(a == b)，则 bool(++(--a) == b)。

相等性保持

如果一个表达式在给定相等输入时产生相等输出，则该表达式是相等性保持的。

• 表达式的输入由其操作数组成。
• 表达式的输出由其结果和表达式修改的所有操作数（如果有）组成。

每个需要相等性保持的表达式还必须是稳定的：在没有显式干预修改这些输入对象的情况下，对具有相同输入对象的此类表达式的两次评估必须具有相等的输出。

除非另有说明，否则requires-expression 中使用的每个表达式都必须是相等性保持和稳定的，并且表达式的评估可能仅修改其非常量操作数。常量操作数不得修改。