std:: iter_swap (std::reverse_iterator)

From cppreference.com
Iterator library
Iterator concepts
Iterator primitives
Algorithm concepts and utilities
Indirect callable concepts
Common algorithm requirements
(C++20)
(C++20)
(C++20)
Utilities
(C++20)
Iterator adaptors
Range access
(C++11) (C++14)
(C++14) (C++14)
(C++11) (C++14)
(C++14) (C++14)
(C++17) (C++20)
(C++17)
(C++17)
template < std:: indirectly_swappable < Iter > Iter2 >

friend constexpr void iter_swap ( const reverse_iterator & x,
const std:: reverse_iterator < Iter2 > & y )

noexcept ( /* see below */ ) ;
(since C++20)

Swaps the objects pointed to by two adjusted underlying iterators.

Equivalent to auto tmp_x = x. base ( ) ;
auto tmp_y = y. base ( ) ;
ranges:: iter_swap ( -- tmp_x, -- tmp_y ) ;
.

This function template is not visible to ordinary unqualified or qualified lookup , and can only be found by argument-dependent lookup when std:: reverse_iterator < Iter > is an associated class of the arguments.

Parameters

x, y - reverse iterators to the elements to swap

Complexity

Constant.

Exceptions

noexcept specification:
noexcept (

std:: is_nothrow_copy_constructible_v < Iter > &&
std:: is_nothrow_copy_constructible_v < Iter2 > &&
noexcept ( ranges:: iter_swap ( -- std:: declval < Iter & > ( ) , -- std:: declval < Iter2 & > ( ) ) )

)

Example

#include <iostream>
#include <iterator>
#include <list>
#include <vector>
 
int main()
{
    std::vector v{1, 2, 3};
    std::list l{4, 5, 6};
 
    std::reverse_iterator<std::vector<int>::iterator> r1{v.rbegin()};
    std::reverse_iterator<std::list<int>::iterator> r2{l.rbegin()};
 
    std::cout << *r1 << ' ' << *r2 << '\n';
 
    iter_swap(r1, r2); // ADL
 
    std::cout << *r1 << ' ' << *r2 << '\n';
}

Output:

3 6
6 3

See also

swaps the values of two objects
(function template)
swaps two ranges of elements
(function template)
swaps the elements pointed to by two iterators
(function template)
(C++20)
swaps the values referenced by two dereferenceable objects
(customization point object)
(C++20)
swaps the objects pointed to by two underlying iterators
(function template)