如果一个类型 X 公开且明确地派生自 execution_context，并且满足下面列出的附加要求，则它符合 ExecutionContext 要求。
在下表中，x 表示类型为 X 的值。
表 18. 执行上下文要求
|
表达式
|
返回类型
|
断言/注
先决/后置条件
|
|
X::executor_type
|
满足 Executor 要求的类型
|
|
|
x.~X()
|
|
销毁所有通过与执行上下文关联的执行器对象提交的未执行函数对象。
|
|
x.get_executor()
|
X::executor_type
|
返回一个与执行上下文关联的执行器对象。
|
