迭代过双向链表的前面

Iterating past the front of doubly linked list

本文关键字：前面 双向链表 迭代      更新时间：2023-10-16
std::list<my_type> my_list;
std::list<my_type>::iterator my_iter = my_list.begin();
std::list<my_type>::iterator my_prev = std::prev(my_iter);

my_prev的价值是什么？
它my_list.rend()，即使它在技术上是不同的类型吗？
除了my_iter == my_list.begin()之外，如何检查这种情况？

根据 C++11 标准：

24.4.4 Iterator operations [iterator.operations]  
§ 7
template <class BidirectionalIterator>  
BidirectionalIterator prev(BidirectionalIterator x,  
typename std::iterator_traits<BidirectionalIterator>::difference_type n = 1);  
Effects: Equivalent to advance(x, -n); return x;

在同一部分中，但 §2 和 §3

template <class InputIterator, class Distance>  
void advance(InputIterator& i, Distance n);  
Requires: n shall be negative only for bidirectional and random access iterators.
Effects: Increments (or decrements for negative n) iterator reference i by n.

然后，对于递减双向迭代器：

24.2.6 Bidirectional iterators
Expression  Return type Operational       Assertion/note
                          semantics     pre-/post-condition
                                        pre: there exists s such that
--r         X&                          r == ++s.
                                        post: r is dereferenceable.
                                        --(++r) == r.
                                        --r == --s implies r == s.
                                        &r == &--r.

因此，看起来（或者至少我无法从标准中找到更相关的部分），没有定义此行为。

我建议您在将其传递给std::prev之前保持这种情况并小心my_iter的值。

相关文章：