std::indirectly_swappable

Определён в заголовке <iterator>

Определён в заголовке `<iterator>`
template< class I1, class I2 = I1 > concept indirectly_swappable = std::indirectly_readable<I1> && std::indirectly_readable<I2> && requires( const I1 i1, const I2 i2 ) { ranges::iter_swap(i1, i1); ranges::iter_swap(i1, i2); ranges::iter_swap(i2, i1); ranges::iter_swap(i2, i2); };		(начиная с C++20)

template< class I1, class I2 = I1 >
concept indirectly_swappable =
    std::indirectly_readable<I1> &&
    std::indirectly_readable<I2> &&
    requires( const I1 i1, const I2 i2 )
    {
        ranges::iter_swap(i1, i1);
        ranges::iter_swap(i1, i2);
        ranges::iter_swap(i2, i1);
        ranges::iter_swap(i2, i2);
    };

(начиная с C++20)

Концепция indirectly_swappable задаёт отношение между двумя типами, моделирующими соответственно std::indirectly_readable, при котором их ссылочные типы можно поменять местами.

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

I1 и I2 моделируют indirectly_swappable только в том случае, если моделируются все включаемые им концепции.

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

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

См. также

indirectly_readable (C++20)	указывает, что тип можно читать косвенно, применяя оператор `*` (концепция)
ranges::iter_swap (C++20)	меняет местами значения, на которые ссылаются два разыменовываемых объекта (объект точки настройки)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/iterator/indirectly_swappable