Title
Consider changing how get-domain-early(sndr) works
Status
new
Section
[exec.snd.expos]
Submitter
Jonathan Wakely

Created on 2025-06-16.00:00:00 last changed 3 weeks ago

Messages

Date: 2026-01-15.00:00:00

[ 2026-01-16; Reflector poll. ]

Set priority to 2 after reflector poll.

A re-design, but we're already doing it for get-domain-late.

Date: 2025-06-16.00:00:00

During LWG review of P3481R3 it was noted that we need to say "except that `sndr` is only evaluated once" because it's used in get-domain-early(sndr), but that exposition-only-function doesn't actually use its argument, it only cares about the type, and it default constructs a `Domain` of a type determined by using the type of `sndr`.

If we had something like:

template<class Sender>
using get-domain-early-t = decltype(get-domain-early(declval<const Sender&>()));

then we wouldn't need to use `sndr` twice in expressions that currently use get-domain-early(sndr).

History
Date User Action Args
2026-01-16 15:25:05adminsetmessages: + msg15853
2025-06-16 00:00:00admincreate