Title
reverse_iterator should not require a second copy of the base iterator
Status
nad
Section
[reverse.iter.elem]
Submitter
David Abrahams

Created on 2012-10-25.00:00:00 last changed 132 months ago

Messages

Date: 2013-05-20.16:25:01

Proposed resolution:

Strike the note, [reverse.iter.op.star]/2:

[ Note: This operation must use an auxiliary member variable rather than a temporary variable to avoid returning a reference that persists beyond the lifetime of its associated iterator. (See 24.2.) —end note ]
Date: 2013-05-20.16:25:01

[ 2013-04-20, Bristol ]

Alisdair: sugested to strike the "exposition only" member.

Daniel: we must check that it wouldn't conflict with a previous solution to another issue.

Dietmar: This is an issue but the proposing word is not correct. When we have proxies inside the sequence.

Solution: NAD thanks to a contrieved example by Dietmar.

Date: 2012-10-31.12:39:31

This note in [reverse.iter.op.star]/2:

[ Note: This operation must use an auxiliary member variable rather than a temporary variable to avoid returning a reference that persists beyond the lifetime of its associated iterator. (See 24.2.) —end note ]

is incorrect because such iterator implementations are ruled out by [forward.iterators]/6, where it says:

If a and b are both dereferenceable, then a == b if and only if *a and *b are bound to the same object.
History
Date User Action Args
2013-05-20 16:25:01adminsetmessages: + msg6512
2013-05-20 16:25:01adminsetstatus: new -> nad
2012-10-25 13:58:50adminsetmessages: + msg6222
2012-10-25 00:00:00admincreate