std::indirectly_movable_storable

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>>;

Концепт indirectly_movable_storable задаёт отношение между типом indirectly_readable и типом indirectly_writable. Помимо indirectly_movable, этот концепт задаёт возможность перемещения из типа indirectly_readable через промежуточный объект.

Семантические требования

In и Out моделируют std::indirectly_movable_storable<In, Out>, только если для заданного разыменовываемого значения i типа In выполняются следующие условия:

• После определения std::iter_value_t<In> obj(ranges::iter_move(i));, obj равно значению, ранее обозначавшемуся *i, и
• если std::iter_rvalue_reference_t<In> является типом ссылки на rvalue, *i после инициализации obj находится в допустимом, но неуточнённом состоянии.

Сохранение равенства

Требуется, чтобы выражения, объявленные в выражениях requires концептов стандартной библиотеки, сохраняли равенство (за исключением случаев, когда указано иное).

См. также