Title
awaitable-receiver's members are potentially throwing
Status
new
Section
[exec.as.awaitable]
Submitter
Eric Niebler

Created on 2024-07-30.00:00:00 last changed 4 months ago

Messages

Date: 2024-08-15.00:00:00

[ 2024-08-21; Reflector poll ]

Set priority to 1 after reflector poll.

`promise()` can probably be Throws: Nothing (along with a bunch of other coroutine_handle members), but `resume()` certainly can throw. Also AS-EXCEPT-PTR can throw for the `error_code` case (that might be worth a separate issue though).

Date: 2024-07-30.00:00:00

The specification of awaitable-receiver in [exec.as.awaitable]/p4 as of N4988 is not taking into consideration the fact that the resume() and promise() member functions on coroutine_handle<P> are not marked noexcept. awaitable-receiver's member functions must all be noexcept, but they are specified as being "equivalent to" statement that call resume() and promise() outside of try/catch blocks.

History
Date User Action Args
2024-08-21 15:02:31adminsetmessages: + msg14328
2024-07-30 00:00:00admincreate