Traits type used to obtain the executor associated with an object.
template< typename T, typename Executor = system_executor> struct associated_executor
Name |
Description |
---|---|
If T has a nested type executor_type, T::executor_type. Otherwise Executor. |
Name |
Description |
---|---|
If T has a nested type executor_type, returns t.get_executor(). Otherwise returns ex. |
A program may specialise this traits type if the T
template parameter in the specialisation is a user-defined type. The template
parameter Executor
shall
be a type meeting the Executor requirements.
Specialisations shall meet the following requirements, where t
is a const reference to an object of
type T
, and e
is an object of type Executor
.
type
that identifies a type meeting the Executor requirements.
get
,
callable as get(t)
and with return type type
.
get
,
callable as get(t,e)
and with return type type
.