[tab:cpp17.copyconstructible] (original) (raw)

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 32 — Cpp17CopyConstructible requirements (in addition to Cpp17MoveConstructible) [tab:cpp17.copyconstructible]

🔗Expression Post-condition
🔗T u = v; the value of v is unchanged and is equivalent to u
🔗T(v) the value of v is unchanged and is equivalent to T(v)