std:: copy_constructible

Определено в заголовке <concepts>
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 > ;		(начиная с C++20)

Концепт 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 .

Ссылки

Смотрите также

is_copy_constructible is_trivially_copy_constructible is_nothrow_copy_constructible (C++11) (C++11) (C++11)

проверяет, имеет ли тип конструктор копирования (шаблон класса)