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 |