std::indirectly_copyable_storable

template< class In, class Out >
concept indirectly_copyable_storable =
    std::indirectly_copyable<In, Out> &&
    std::indirectly_writable<Out, std::iter_value_t<In>&> &&
    std::indirectly_writable<Out, const std::iter_value_t<In>&> &&
    std::indirectly_writable<Out, std::iter_value_t<In>&&> &&
    std::indirectly_writable<Out, const std::iter_value_t<In>&&> &&
    std::copyable<std::iter_value_t<In>> &&
    std::constructible_from<std::iter_value_t<In>, std::iter_reference_t<In>> &&
    std::assignable_from<std::iter_value_t<In>&, std::iter_reference_t<In>>;

Концепция indirectly_copyable_storable описывает взаимосвязь между типом indirectly_readable и типом indirectly_writable. В дополнение к indirectly_copyable, эта концепция указывает, что копирование из типа indirectly_readable может выполняться через промежуточный объект.

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

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

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

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

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

См. также