This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of C++23 status.
3010. [networking.ts]uses_executor
says "if a type T::executor_type
exists"
Section: 13.11.1 [networking.ts::async.uses.executor.trait] Status: C++23 Submitter: Jonathan Wakely Opened: 2017-08-17 Last modified: 2023-11-22
Priority: 0
View all issues with C++23 status.
Discussion:
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.
[ 2017-11-01 Moved to Tentatively Ready after 7 positive votes for P0 on c++std-lib. ]
[2018-3-17 Adopted in Jacksonville]
Proposed resolution:
This resolution is relative to N4656.
Edit 13.11.1 [networking.ts::async.uses.executor.trait] as indicated:
-1- Remark: Detects whether
T
has a nestedexecutor_type
that is convertible fromExecutor
. Meets theBinaryTypeTrait
requirements (C++Std [meta.rqmts]). The implementation provides a definition that is derived fromtrue_type
if a type the qualified-idT::executor_type
exists is valid and denotes a type andis_convertible<Executor, T::executor_type>::value != false
, otherwise it is derived fromfalse_type
. A program may specialize this template […].
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4