std::copy_constructible

template< class T >
concept copy_constructible =
    std::move_constructible<T> &&
    std::constructible_from<T, T&> && std::convertible_to<T&, T> &&
    std::constructible_from<T, const T&> && std::convertible_to<const T&, T> &&
    std::constructible_from<T, const T> && std::convertible_to<const T, T>;

Концепция copy_constructible удовлетворяется, если T является типом ссылки на lvalue, или если это тип объекта move_constructible, где объект этого типа может быть создан из (возможно const) lvalue или const rvalue этого типа в контекстах прямой и копирующей инициализации с обычной семантикой (копия создается с исходным значением без изменений).

Семантические требования

Если T это тип объекта, то copy_constructible<T> моделируется только если задано

• v, lvalue типа (возможно const) T или rvalue типа const T,

следующие утверждения верны:

• После определения T u = v;, u равно v и v не изменяется;
• T(v) равно v и не изменяет v.

См. также