33
Execution control library
[exec]
33.14
Execution scope utilities
[exec.scope]
33.14.2
Counting Scopes
[exec.counting.scopes]
33.14.2.2
Simple Counting Scope
[exec.scope.simple.counting]
33.14.2.2.2
Constructor and Destructor
[exec.simple.counting.ctor]
🔗
simple_counting_scope
(
)
noexcept
;
1
#
Postconditions
:
count
is
0
and
state
is
unused
.
🔗
~
simple_counting_scope
(
)
;
2
#
Effects
: If
state
is not one of
joined
,
unused
, or
unused-and-closed
, invokes
terminate
(
[except.
terminate]
)
.
Otherwise, has no effects
.