Title
std::launder() should be marked as [[nodiscard]]
Status
resolved
Section
[ptr.launder]
Submitter
Tony van Eerd

Created on 2016-11-13.00:00:00 last changed 76 months ago

Messages

Date: 2017-11-15.00:00:00

[ 2017-11-11, Albuquerque ]

This was resolved by the adoption of P0600R1.

Date: 2017-03-15.00:00:00

[ 2017-03-04, Kona ]

This should be handled post-C++17 by Nico's paper P0600.

Date: 2017-01-27.00:00:00

[ 2017-01-27 Telecon ]

Priority 3; Nico's upcoming paper P0532 should address this and other issues around launder.

Date: 2016-11-13.00:00:00

As pointed out by Nevin: A use of std::launder that does not make use of its return value is always pointless; the function has no side effects.

History
Date User Action Args
2017-12-20 03:30:17adminsetmessages: + msg9599
2017-12-20 03:30:17adminsetstatus: new -> resolved
2017-03-14 03:14:09adminsetmessages: + msg9107
2017-01-30 15:17:53adminsetmessages: + msg8798
2016-11-13 00:00:00admincreate