Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help 
std::indire...ble_storable(3) C++ Standard Libarystd::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
       between an
	  indirectly_readable  type  and an indirectly_writable	type. In addi-
       tion to
	  indirectly_copyable, this concept specifies that the copy from the
	  indirectly_readable type can be performed via	 an  intermediate  ob-
       ject.

	  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)

Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=std::indirectly_copyable_storable&sektion=3&manpath=FreeBSD+Ports+15.1.quarterly>

home | help