std::ranges::swap_ranges, std::ranges::swap_ranges_result

Определено в заголовке `<algorithm>`
Подпись вызова
template< std::input_iterator I1, std::sentinel_for<I1> S1, std::input_iterator I2, std::sentinel_for<I2> S2 > requires std::indirectly_swappable<I1, I2> constexpr swap_ranges_result<I1, I2> swap_ranges( I1 first1, S1 last1, I2 first2, S2 last2 );	(1)	(с C++20)
template< ranges::input_range R1, ranges::input_range R2 > requires std::indirectly_swappable<ranges::iterator_t<R1>, ranges::iterator_t<R2>> constexpr swap_ranges_result<ranges::borrowed_iterator_t<R1>, ranges::borrowed_iterator_t<R2>> swap_ranges( R1&& r1, R2&& r2 );	(2)	(с C++20)
Вспомогательные типы
template< class I1, class I2 > using swap_ranges_result = ranges::in_in_result<I1, I2>;	(3)	(с C++20)

1) Меняет местами элементы между первой областью [first1, first1 + M) и второй областью [first2, first2 + M) через ranges::iter_swap(first1 + i, first2 + i), где M = ranges::min(ranges::distance(first1, last1), ranges::distance(first2, last2)).

Области [first1, last1) и [first2, last2) не должны перекрываться.

2) То же самое, что и (1), но использует r1 в качестве первой области и r2 в качестве второй области, как если бы использовалась ranges::begin(r1) в качестве first1, ranges::end(r1) в качестве last1, ranges::begin(r2) в качестве first2, и ranges::end(r2) в качестве last2.

Функциональные сущности, описанные на этой странице, являются неблоидами, то есть:

Явные списки шаблонов аргументов не могут быть указаны при вызове ни одной из них.
Ни одна из них не видна для поиска аргументов, зависящих от имени (ADL).
Когда любая из них находится в результате обычного поиска без квалификатора (ADL) в качестве имени слева от оператора вызова функции, поиск аргументов, зависящих от имени (ADL), подавляется.

На практике они могут быть реализованы в виде объектов-функций или с помощью специальных расширений компилятора.

Параметры

first1, last1	-	первая область элементов, которые нужно поменять местами
first2, last2	-	вторая область элементов, которые нужно поменять местами
r1	-	первая область элементов, которые нужно поменять местами
r2	-	вторая область элементов, которые нужно поменять местами.

Значение возврата

{first1 + M, first2 + M}.

Сложность

Ровно M обменов.

Примечания

Реализации (например, MSVC STL) могут включить векторизацию, когда тип итератора соответствует contiguous_iterator, а обмен его типом значения не вызывает ни нетривиальной специальной функции-члена, ни найденной ADL swap.

Возможная реализация

struct swap_ranges_fn
{
    template<std::input_iterator I1, std::sentinel_for<I1> S1,
             std::input_iterator I2, std::sentinel_for<I2> S2>
    requires std::indirectly_swappable<I1, I2>
    constexpr ranges::swap_ranges_result<I1, I2>
        operator()(I1 first1, S1 last1, I2 first2, S2 last2) const
    {
        for (; !(first1 == last1 or first2 == last2); ++first1, ++first2)
            ranges::iter_swap(first1, first2);
        return {std::move(first1), std::move(first2)};
    }
 
    template<ranges::input_range R1, ranges::input_range R2>
    requires std::indirectly_swappable<ranges::iterator_t<R1>, ranges::iterator_t<R2>>
    constexpr ranges::swap_ranges_result<ranges::borrowed_iterator_t<R1>,
                                         ranges::borrowed_iterator_t<R2>>
        operator()(R1&& r1, R2&& r2) const
    {
        return (*this)(ranges::begin(r1), ranges::end(r1),
                       ranges::begin(r2), ranges::end(r2));
    }
};
 
inline constexpr swap_ranges_fn swap_ranges {};

Пример

#include <algorithm>
#include <iostream>
#include <list>
#include <string_view>
#include <vector>
 
auto print(std::string_view name, auto const& seq, std::string_view term = "\n")
{
    std::cout << name << " : ";
    for (const auto& elem : seq)
        std::cout << elem << ' ';
    std::cout << term;
}
 
int main()
{
    std::vector<char> p {'A', 'B', 'C', 'D', 'E'};
    std::list<char> q {'1', '2', '3', '4', '5', '6'};
 
    print("p", p);
    print("q", q, "\n\n");
 
    // swap p[0, 2) and q[1, 3):
    std::ranges::swap_ranges(p.begin(),
                             p.begin() + 4,
                             std::ranges::next(q.begin(), 1),
                             std::ranges::next(q.begin(), 3));
    print("p", p);
    print("q", q, "\n\n");
 
    // swap p[0, 5) and q[0, 5):
    std::ranges::swap_ranges(p, q);
 
    print("p", p);
    print("q", q);
}

Вывод:

p : A B C D E
q : 1 2 3 4 5 6
 
p : 2 3 C D E
q : 1 A B 4 5 6
 
p : 1 A B 4 5
q : 2 3 C D E 6

См. также

iter_swap (C++20)	меняет местами значения, на которые ссылаются две объекты, разрешаемые с помощью разыменования (объект точек настройки)
ranges::swap (C++20)	меняет местами значения двух объектов (объект точек настройки)
swap_ranges	меняет местами две области элементов (шаблон функции)
iter_swap	меняет местами элементы, на которые указывают два итератора (шаблон функции)
swap	меняет местами значения двух объектов (шаблон функции)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/algorithm/ranges/swap_ranges