- Title
- operator-= should use default in concept
- Status
- nad concepts
- Section
- [random.access.iterators]
- Submitter
- Alisdair Meredith
Created on 2009-03-11.00:00:00 last changed 182 months ago
Messages
Date: 2010-10-21.18:28:33
Proposed resolution:
Change [random.access.iterators]:
concept RandomAccessIterator<typename X> : BidirectionalIterator<X>, LessThanComparable<X> {
...
X& operator-=(X& x, difference_type n) { return x += -n; }
...
}
Date: 2010-10-21.18:28:33
[ 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.
Date: 2009-03-11.00:00:00
Addresses UK 263
This requirement on operator-= would be better expressed as a default implementation in the concept, with a matching axiom.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2010-10-21 18:28:33 | admin | set | messages: + msg307 |
| 2010-10-21 18:28:33 | admin | set | messages: + msg306 |
| 2009-03-11 00:00:00 | admin | create | |