std::indirectly_swappable - cppreference.com

From cppreference.com


`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); };`		(since C++20)

The concept indirectly_swappable specifies a relationship between two types respectively modelling std::indirectly_readable, where their referenced types can be swapped.

Semantic requirements

I1 and I2 model indirectly_swappable only if all concepts it subsumes are modeled.

Equality preservation

Expressions declared in requires expressions of the standard library concepts are required to be equality-preserving (except where stated otherwise).

	specifies that a type is indirectly readable by applying operator `*` (concept) [edit]
	swaps the values referenced by two dereferenceable objects (customization point object)[edit]

Semantic requirements

Equality preservation

See also