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)
Utilities
(C++20)
Iterator adaptors
Stream iterators
Iterator customization points
Iterator operations
(C++11)
(C++11)
Range access
(C++11)(C++14)
(C++11)(C++14)
(C++17)(C++20)
(C++14)(C++14)
(C++14)(C++14)
(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 type can be performed via an intermediate object.

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 (except where stated otherwise).

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)