home | help 
std::indire...ble_storable(3)  C++ Standard Libary std::indire...ble_storable(3)

NAME
     std::indirectly_copyable_storable - std::indirectly_copyable_storable

Synopsis
	Defined in header <iterator>
	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>&&>      &&
     (since C++20)
	    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>>;

	The indirectly_copyable_storable concept specifies the relationship  be-
     tween 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
	indirectly_copyable	    specifies that values may be copied from an
	(C++20) 		     indirectly_readable  type	 to   an   indi-
     rectly_writable type
				    (concept)
				    specifies that values may be moved from an
	indirectly_movable_storable   indirectly_readable   type   to  an  indi-
     rectly_writable type
	(C++20) 		    and that the move may be  performed  via  an
     intermediate
				    object
				    (concept)

http://cppreference.com 	   2024.06.10	   std::indire...ble_storable(3)
home | help