std::indirectly_movable_storable

From cppreference.com
< cpp‎ | iterator
Iterator library
Iterator concepts
Iterator primitives
Algorithm concepts and utilities
Indirect callable concepts
Common algorithm requirements
indirectly_movable_storable
(C++20)
(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)
Defined in header <iterator>
template < class In, class Out >

concept indirectly_movable_storable =
std::indirectly_movable <In, Out> &&
std::indirectly_writable <Out, std::iter_value_t <In>> &&
std::movable < std::iter_value_t <In>> &&
std::constructible_from < std::iter_value_t <In>, std::iter_rvalue_reference_t <In>> &&

std::assignable_from < std::iter_value_t <In> &, std::iter_rvalue_reference_t <In>> ;
(since C++20)

The indirectly_movable_storable concept specifies the relationship between an indirectly_readable type and an indirectly_writable type. In addition to indirectly_movable, this concept specifies that the move from the indirectly_readable

Semantic requirements

In and Out model std::indirectly_movable_storable<In, Out> only if given a dereferenceable value i of type In

Equality preservation

Expressions declared in requires expressions of the standard library concepts are required to be equality-preserving

See also

specifies that values may be moved from an indirectly_readable type to an indirectly_writable type
(concept)
specifies that values may be copied from an indirectly_readable type to an indirectly_writable type and that the copy may be performed via an intermediate object
(concept)