Regarding this question on iterator invalidation rules, it seems obvious that the spirit of the standard means, for example, that "an erase in the middle of the deque invalidates all the iterators and references to elements of the deque" also refers to the end iterator.
However, I can't find anywhere that the standard makes this explicit, and strictly speaking the end iterator is not an iterator to an element in the container.
Does the 2003 standard make this clear somewhere?
To avoid invalidation of references to elements you can use a std::deque if you do not insert or erase in the middle. To avoid invalidation of iterators you can use a std::list.
No; all of the iterators at or after the iterator(s) passed to erase are invalidated. However, erase returns a new iterator that points to the element immediately after the element(s) that were erased (or to the end if there is no such element). You can use this iterator to resume iteration.
Inserting into std::map does not invalidate existing iterators.
For example, 23.1/10:
no
swap()
function invalidates any references, pointers, or iterators referring to the elements of the containers being swapped. [ Note: Theend()
iterator does not refer to any element, so it may be invalidated. —end note ]
I do not know if we can be certain that iterator referring to an element has been used consistently in the Standard to exclude end iterators :/
As said in a comment, I suppose this is to allow end iterators pointing to sentinel values within the container.
For example, a typical doubly linked List
implementation is to create a Node
structure, and have one Node
by value within the List
to act as the end node.
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With