![]() |
A type X meets the CancellationSlot requirements if it satisfies
the requirements of CopyConstructible
(C++Std [copyconstructible]) and Destructible
(C++Std [destructible]), as well as the additional requirements listed below.
In the table below, x1 and
x2 denote (possibly const)
values of type X, mx1 denotes an xvalue of type X, H
denotes a type that satisfies CancellationHandler,
h denotes an xvalue of type
H, and u0
to uN denote identifiers.
Table 8. CancellationSlot requirements
|
expression |
type |
assertion/note |
|---|---|---|
|
|
Shall not exit via an exception. |
|
|
|
Shall not exit via an exception. |
|
|
|
|
Returns |
|
|
|
Same as |
|
|
|
|
|
|
|
Requires that |