17 Concepts library [concepts]

17.4 Language-related concepts [concepts.lang]

17.4.14 Concept CopyConstructible [concept.copyconstructible]

🔗
template<class T> concept CopyConstructible = MoveConstructible<T> && Constructible<T, T&> && ConvertibleTo<T&, T> && Constructible<T, const T&> && ConvertibleTo<const T&, T> && Constructible<T, const T> && ConvertibleTo<const T, T>;
1
#
If T is an object type, then let v be an lvalue of type (possibly const) T or an rvalue of type const T.
CopyConstructible<T> is satisfied only if
  • (1.1)
    After the definition T u = v;, u is equal to v.
  • (1.2)
    T(v) is equal to v.