std::assignable_from

 

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 LHS, class RHS > concept assignable_from = std::is_lvalue_reference_v<LHS> && std::common_reference_with< const std::remove_reference_t<LHS>&, const std::remove_reference_t<RHS>&> && requires(LHS lhs, RHS&& rhs) { { lhs = std::forward<RHS>(rhs) } -> std::same_as<LHS>; };

Концепт assignable_from<LHS, RHS> определяет, что выражение типа и категории значения, определёные как RHS, может быть присвоено выражению lvalue, тип которого определяется LHS.

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

Даны:

• lhs, левостороннее значение которое ссылается на объект lcopy, такой, что decltype((lhs)) является LHS,
• rhs, такое выражение, что decltype((rhs)) является RHS,
• rcopy, отдельный объект, равнозначный rhs,

assignable_from<LHS, RHS> моделируется только если

• std::addressof(lhs = rhs) == std::addressof(lcopy) (т.е. выражение присваивания возвращает левостороннее значение относящееся к левому операнду);
• После вычисления lhs = rhs:
  • lhs равно rcopy, если только rhs не является константным xvalue, которое ссылается на lcopy (т.е. присваивание является самоприсваиванием перемещением),
  • если rhs является glvalue:
    • Если оно не является неконстантным xvalue, объект, на который оно ссылается, находится в допустимом, но неопределённом состоянии;
    • Иначе, объект, на который оно ссылается не изменился;

Сохранение равенства

Выражения, объявленные в выражениях requires концептов стандартной библиотеки, должны сохранять равенство (если не указано иное).

Примечание

Присваивание не обязательно должно быть общей функцией. В частности, если присваивание какому-либо объекту x может изменить другой объект y, тогда x = y скорее всего не в сфере =. Обычно это происходит, если левый операнд прямо или косвенно принадлежит правому операнду (например, с умными указателями на узлы в структуре данных на основе узлов или с чем-то вроде std::vector<std::any>).

Смотри также

is_assignableis_trivially_assignableis_nothrow_assignable (C++11)(C++11)(C++11)

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