std::ranges::iter_swap

(C++20)

indirectly_writable

(C++20)

weakly_incrementable

(C++20)

incrementable

(C++20)

is-integer-like
is-signed-integer-like

(C++20)(C++20)

(C++20)

(C++20)

(C++20)

(C++20)

input_or_output_iterator

(C++20)

forward_iterator

(C++20)

bidirectional_iterator

(C++20)

random_access_iterator

(C++20)

contiguous_iterator

(C++20)

Iterator primitives

input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tagcontiguous_iterator_tag

(C++20)

iter_value_titer_difference_titer_reference_titer_const_reference_titer_rvalue_reference_titer_common_reference_t

(C++20)(C++20)(C++20)(C++23)(C++20)(C++20)

iterator

(deprecated in C++17)

iterator_traits

incrementable_traits

(C++20)

indirectly_readable_traits

(C++20)

Algorithm concepts and utilities

Indirect callable concepts

indirectly_unary_invocableindirectly_regular_unary_invocable

(C++20)(C++20)

indirect_unary_predicate

(C++20)

indirect_binary_predicate

(C++20)

indirect_equivalence_relation

(C++20)

indirect_strict_weak_order

(C++20)

Common algorithm requirements

indirectly_movable

(C++20)

indirectly_movable_storable

(C++20)

indirectly_copyable

(C++20)

indirectly_copyable_storable

(C++20)

indirectly_swappable

(C++20)

indirectly_comparable

(C++20)

(C++20)

(C++20)

(C++20)

(C++20)

(C++20)

(C++26)

make_reverse_iterator

(C++14)

move_iterator

(C++11)

make_move_iterator

(C++11)

default_sentinel_tdefault_sentinel

(C++20)(C++20)

unreachable_sentinel_tunreachable_sentinel

(C++20)(C++20)

front_insert_iterator

(C++20)

(C++20)

(C++20)

(C++23)

(C++23)

(C++23)

(C++23)

(C++23)

Iterator customization points

ranges::iter_move

(C++20)

ranges::iter_swap

(C++20)

(C++20)

(C++20)

(C++20)

(C++20)

(C++11)(C++14)

(C++14)(C++14)

(C++11)(C++14)

(C++14)(C++14)

(C++17)(C++20)

(C++17)

(C++17)

Defined in header <iterator>

namespace ranges {

inline namespace /* unspecified */ {
inline constexpr /* unspecified */
iter_swap = /* unspecified */;
}

}

(since C++20)
(customization point object)

Call signature

template< class I1, class I2 >
constexpr void iter_swap( I1&& i1, I2&& i2 ) noexcept(/* see below */);

(since C++20)

Helper function

template< class X, class Y >

constexpr std::iter_value_t <X>
iter-exchange-move( X&& x, Y&& y )
noexcept(noexcept(std::iter_value_t <X>(std::ranges::iter_move (x))) &&

noexcept(*x = std::ranges::iter_move (y)));

(exposition only*)

Swaps values denoted by two iterators.

The effect of the exposition-only helper function iter-exchange-move is equivalent to

std::iter_value_t <X> old(std::ranges::iter_move (x));
*x = std::ranges::iter_move (y);
return old;

ranges::iter_swap(i1, i2) is expression-equivalent to:

(void)iter_swap(i1, i2), if i1 or i2 has a class or enumeration type and the expression is well-formed, where the overload resolution of iter_swap is performed with the additional candidate void iter_swap(auto, auto) = delete;^[1], excluding std::ranges::iter_swap itself.
- If the selected overload does not exchange the value denoted by i1 and i2, the program is ill-formed, no diagnostic required.
Otherwise, ranges::swap (*i1, *i2) if both I1 and I2 model indirectly_readable and if std::iter_reference_t <I1> and std::iter_reference_t <I2> model swappable_with.
Otherwise, (void)(*i1 = iter-exchange-move(i2, i1)), if std::indirectly_movable_storable <I1, I2> and std::indirectly_movable_storable <I2, I1> are both modeled, except that i1 is only evaluated once.
Otherwise, ranges::iter_swap(i1, i2) is ill-formed, which can result in substitution failure when ranges::iter_swap(i1, i2) appears in the immediate context of a template instantiation.

↑ This precludes calling unconstrained std::iter_swap .

Customization point objects

The name ranges::iter_swap denotes a customization point object, which is a const function object of a literal semiregular class type. See CustomizationPointObject for details.

[edit] Example

This section is incomplete
Reason: no example

[edit] See also

iter_swap

(C++20)

swaps the objects pointed to by two adjusted underlying iterators
(function template) [edit]

iter_swap

(C++20)

swaps the objects pointed to by two underlying iterators
(function template) [edit]

iter_swap

swaps the elements pointed to by two iterators
(function template) [edit]

cppreference.com

Namespaces

Variants

Views

Actions

std::ranges::iter_swap

Customization point objects

[edit] Example

[edit] See also

Navigation

Toolbox