Created on 2017-02-03.00:00:00 last changed 90 months ago
Proposed resolution:
This wording is relative to N4640.
Modify [util.smartptr.shared.const] as indicated:
template<class Y> explicit shared_ptr(const weak_ptr<Y>& r);[…] -25- Throws: […] -?- Remarks: This constructor shall not participate in overload resolution unless Y* is compatible with T*.
-22- Requires: Y* shall be compatible with T*.
[ Kona 2017-02-27 ]
Accepted as Immediate to resolve NB comment.
[ 2017-02-23, Jonathan provides wording ]
Addresses US 129
Paragraph 22: This constructor should not participate in overload resolution unless the requirements are satisfied, in order to give correct results from the is_constructible trait.
Proposed change:
Add a Remarks: clause to constrain this constructor not to participate in overload resolution unless the Requires clause is satisfied.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2017-07-30 20:15:43 | admin | set | status: wp -> c++17 |
| 2017-03-05 23:46:08 | admin | set | status: immediate -> wp |
| 2017-03-03 22:08:49 | admin | set | messages: + msg9058 |
| 2017-03-03 22:08:49 | admin | set | status: new -> immediate |
| 2017-02-23 21:54:27 | admin | set | messages: + msg8994 |
| 2017-02-23 21:54:27 | admin | set | messages: + msg8993 |
| 2017-02-03 00:00:00 | admin | create | |