Issue 3010 - WG21 LWG Issues
Title
[networking.ts] uses_executor says "if a type T::executor_type exists"
Status
c++23
Section
[async.uses.executor.trait]
Submitter
Jonathan Wakely

Created on 2017-08-17.00:00:00 last changed 5 months ago

Messages

msg9739 (view)
Date: 2018-03-18.16:03:30

Proposed resolution:

This resolution is relative to N4656.

  1. Edit [async.uses.executor.trait] as indicated:

    -1- Remark: Detects whether T has a nested executor_type that is convertible from Executor. Meets the BinaryTypeTrait requirements (C++Std [meta.rqmts]). The implementation provides a definition that is derived from true_type if a typethe qualified-id T::executor_type existsis valid and denotes a type and is_convertible<Executor, T::executor_type>::value != false, otherwise it is derived from false_type. A program may specialize this template […].

msg9492 (view)
Date: 2018-03-17.00:00:00

[ 2018-3-17 Adopted in Jacksonville ]
msg9446 (view)
Date: 2017-11-01.00:00:00

[ 2017-11-01 Moved to Tentatively Ready after 7 positive votes for P0 on c++std-lib. ]
msg9445 (view)
Date: 2017-08-17.00:00:00

Addresses: networking.ts

[async.uses.executor.trait] p1 says "if a type T::executor_type exists" but we don't want it to be required to detect private or ambiguous types.

History
Date User Action Args
2023-11-22 15:47:43adminsetstatus: wp -> c++23
2021-02-27 12:43:20adminsetstatus: c++20 -> wp
2021-02-25 10:48:01adminsetstatus: wp -> c++20
2018-03-18 16:03:30adminsetmessages: + msg9739
2018-03-18 16:03:30adminsetstatus: voting -> wp
2018-02-12 01:13:49adminsetstatus: ready -> voting
2017-11-01 18:09:14adminsetmessages: + msg9492
2017-11-01 18:09:14adminsetstatus: new -> ready
2017-08-18 19:06:48adminsetmessages: + msg9446
2017-08-17 00:00:00admincreate