16
Library introduction
[library]
16.4
Library-wide requirements
[requirements]
16.4.4
Requirements on types and expressions
[utility.requirements]
16.4.4.2
Template argument requirements
[utility.arg.requirements]
Table 31 —
Cpp17MoveConstructible
requirements
[tab:cpp17.moveconstructible]
🔗
Expression
Post-condition
🔗
T u
=
rv;
u
is equivalent to the value of
rv
before the construction
🔗
T
(
rv
)
T
(
rv
)
is equivalent to the value of
rv
before the construction
🔗
rv
's state is unspecified
[
Note
1
:
rv
must still meet the requirements of the library component that is using it
.
The operations listed in those requirements must work as specified whether
rv
has been moved from or not
.
—
end note
]