Created on 2015-07-07.00:00:00 last changed 82 months ago
Proposed resolution:
This wording is relative to N4529.
Edit [memory.observer.ptr.special] as indicated:
-15- template <class W1, class W2> bool operator>(observer_ptr<W1> p1, observer_ptr<W2> p2);[…]
-17- template <class W1, class W2> bool operator<=(observer_ptr<W1> p1, observer_ptr<W2> p2);[…]
-19- template <class W1, class W2> bool operator>=(observer_ptr<W1> p1, observer_ptr<W2> p2);
[ 2015-07, Telecon ]
Move to Tentatively Ready.
Addresses: fund.ts.v2
In N4529 [memory.observer.ptr.special] paragraphs 15, 17 and 19, the >, <= and >= operators of observer_ptr are shown as
template <class W> bool operator>(observer_ptr<W> p1, observer_ptr<W> p2);
whereas in [header.memory.synop] they are shown as
template <class W1, class W2> bool operator>(observer_ptr<W1> p1, observer_ptr<W2> p2);
Given that the specification of operator< took special care to support hetergeneous types, presumably the second version is intended.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2017-07-30 20:10:41 | admin | set | status: wp -> open |
| 2015-11-16 02:13:05 | admin | set | status: ready -> wp |
| 2015-08-03 14:55:12 | admin | set | messages: + msg7485 |
| 2015-08-03 14:55:12 | admin | set | status: new -> ready |
| 2015-07-11 13:39:26 | admin | set | messages: + msg7477 |
| 2015-07-07 00:00:00 | admin | create | |