This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of NAD Concepts status.
Section: 25.3.5.7 [random.access.iterators] Status: NAD Concepts Submitter: Alisdair Meredith Opened: 2009-03-11 Last modified: 2016-01-28
Priority: Not Prioritized
View all other issues in [random.access.iterators].
View all issues with NAD Concepts status.
Discussion:
Addresses UK 263
This requirement on operator-= would be better expressed as a default implementation in the concept, with a matching axiom.
[ Batavia (2009-05): ]
The proposed resolution should also remove paragraph 5 and the declaration that precedes it. Further, we should provide an axiom that captures the desired semantics. This may be a broader policy to be applied. Move to Open.
Proposed resolution:
Change 25.3.5.7 [random.access.iterators]:
concept RandomAccessIterator<typename X> : BidirectionalIterator<X>, LessThanComparable<X> {
...
X& operator-=(X& x, difference_type n) { return x += -n; }
...
}