std::copy_constructible

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов (C++20)

Библиотека метапрограммирования (C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов (C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения (C++11)

Атомарные операции (C++11)

Библиотека поддержки конкуренции (C++11)

Библиотека файловой системы (C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека концептов

Основные концепты языка same_as derived_from convertible_to common_reference_with      common_with integral signed_integral unsigned_integral floating_point swappableswappable_with destructible constructible_from default_initializable move_constructible copy_constructible assignable_from

Концепты сравнения equality_comparableequality_comparable_with totally_orderedtotally_ordered_with Концепты объектов movable copyable semiregular regular Вызываемые концепты invocableregular_invocable predicate relation equivalence_relation strict_weak_order

Концепты только для экспозиции boolean-testable

 

<tbody> </tbody>

Определено в заголовочном файле <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 является левосторонним ссылочным типом, или объектом типа move_constructible, где объект этого типа может быть создан из (возможно константного) lvalue или const rvalue того-же типа как в контексте прямой инициализации, так и в контексте инициализации копированием с обычной семантикой (копия создаётся с неизменным исходным кодом).

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

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

• v, левостороннее значение типа (возможно const) T или правостороннее значение типаconst T,

верно следующее:

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

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

is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible (C++11)(C++11)(C++11)

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