...one of the most highly
regarded and expertly designed C++ library projects in the
world.
— Herb Sutter and Andrei
Alexandrescu, C++
Coding Standards
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 7. CancellationSlot requirements
expression |
type |
assertion/note |
---|---|---|
|
Shall not exit via an exception. |
|
|
Shall not exit via an exception. |
|
|
|
Returns |
|
|
Same as |
|
|
|
|
|
Requires that |