Title
co_await change_coroutine_scheduler(s) requires assignable
Status
new
Section
[task.promise]
Submitter
Dietmar Kühl

Created on 2025-08-31.00:00:00 last changed 2 weeks ago

Messages

Date: 2025-09-01.11:52:04

Proposed resolution:

Change the wording in [task.promise] paragraph 11 to avoid the use of std::exchange and transfer the using construction:

template<class Sch>
  auto await_transform(change_coroutine_scheduler<Sch> sch) noexcept;

-11- Effects: Equivalent to:

return await_transform(just(exchange(SCHED(*this), scheduler_type(sch.scheduler))), *this);
auto* s{address_of(SCHED(*this))};
auto rc{std::move(*s)};
s->~scheduler_type();
new(s) scheduler_type(std::move(sch));
return std::move(rc);

Date: 2025-08-31.00:00:00

The specification of change_coroutine_scheduler(sched) uses std::exchange to put the scheduler into place (in [task.promise] paragraph 11). The problem is that std::exchange(x, v) expects x to be assignable from v but there is no requirement for scheduler to be assignable.

History
Date User Action Args
2025-09-01 11:52:04adminsetmessages: + msg14992
2025-08-31 00:00:00admincreate