std::swappable, std::swappable_with

 

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

 

Определено в заголовочном файле <concepts>
template<class T > concept swappable =   requires(T& a, T& b){     ranges::swap(a, b);   };	(1)	(начиная с C++20)
template<class T, class U > concept swappable_with =   std::common_reference_with<T, U>&&   requires(T&& t, U&& u){     ranges::swap(std::forward<T>(t), std::forward<T>(t));     ranges::swap(std::forward<U>(u), std::forward<U>(u));     ranges::swap(std::forward<T>(t), std::forward<U>(u));     ranges::swap(std::forward<U>(u), std::forward<T>(t));   };	(2)	(начиная с C++20)

Концепт swappable<T> указывает, что значения lvalue типа T могут быть обменяны.

Концепт swappable_with<T, U> определяет, что выражения типа и категории значений, закодированные T и U можно обменять друг с другом. swappable_with<T, U> выполняется, только если вызов ranges::swap(t, u) обменивает значения t и u, то есть при заданных различных объектах t2 равно t и u2 равно u, после оценки либо ranges::swap(t, u) либо ranges::swap(u, t), t2 равно u и u2 равно t.

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

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