std:: indirectly_copyable_storable

From cppreference.com
Iterator library
Iterator concepts
Iterator primitives
Algorithm concepts and utilities
Indirect callable concepts
Common algorithm requirements
indirectly_copyable_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>
(since C++20)

The indirectly_copyable_storable concept specifies the relationship between an indirectly_readable type and an indirectly_writable type. In addition to indirectly_copyable , this concept specifies that the copy from the indirectly_readable type can be performed via an intermediate object.

Semantic requirements

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

  • After the definition std:: iter_value_t < In > obj ( * i ) ; , obj is equal to the value previously denoted by * i , and
  • if std:: iter_reference_t < In > is an rvalue reference type, * i is placed in a valid but unspecified state after the initialization of obj .

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 copied from an indirectly_readable type to an indirectly_writable type
(concept)
specifies that values may be moved from an indirectly_readable type to an indirectly_writable type and that the move may be performed via an intermediate object
(concept)