std::exchange

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos (C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación (C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos (C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos (C++17)

Biblioteca de apoyo de concurrencia (C++11)

Biblioteca de apoyo de ejecución (C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Biblioteca de servicios

Apoyo del lenguaje Apoyo de tipos (tipos básicos, RTTI) Biblioteca de macros de prueba de característica (C++20) Servicios del programa Apoyo de corrutinas (C++20) Funciones variádicas is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Comparación de tres vías three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

Servicios generales Objetos función Manipulación de bits (C++20) bitset hash (C++11) Operadores relacionales (en desuso en C++20) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= Funciones de comparación de enteros cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Intercambio y operaciones de tipos swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Tipos vocabulario comunes pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

<tbody> </tbody> <tbody class="t-dcl-rev "> </tbody><tbody> </tbody>

Definido en el archivo de encabezado <utility>
template< class T, class U = T > T exchange( T& obj, U&& new_value );		(desde C++14) (hasta C++20)
template< class T, class U = T > constexpr T exchange( T& obj, U&& new_value );		(desde C++20) (hasta C++23)
template< class T, class U = T > constexpr T exchange( T& obj, U&& new_value ) noexcept(/* véase más abajo */);		(desde C++23)

See More

Reemplaza el valor de obj con new_value y devuelve el valor antiguo de obj.

Parámetros

obj	-	Objeto cuyo valor hay que reemplazar.
new_value	-	El valor a asignar a obj.
Requisitos de tipo
- T debe satisfacer los requisitos de MoveConstructible. También debe ser posible asignar por movimiento objetos de tipo U a objetos de tipo T.

Valor de retorno

El valor antiguo de obj.

Excepciones

(Ninguna)	(hasta C++23)
Especificación noexcept:   (desde C++11) <tbody> </tbody> noexcept( std::is_nothrow_move_constructible_v<T> && std::is_nothrow_assignable_v<T&, U> )	(desde C++23)

Posible implementación

template<class T, class U = T> constexpr // desde C++20 T exchange(T& obj, U&& new_value) noexcept( // desde C++23 std::is_nothrow_move_constructible<T>::value && std::is_nothrow_assignable<T&, U>::value ) { T old_value = std::move(obj); obj = std::forward<U>(new_value); return old_value; }

Notas

La función de intercambio std::exchange puede usarse al implementar los operadores de asignación de movimiento y los constructores de movimiento:

struct S
{
  int n;

  S(S&& other) noexcept : n{std::exchange(other.n, 0)}
  {}
  
  S& operator=(S&& other) noexcept 
  {
    if(this != &other)
        n = std::exchange(other.n, 0); // mover n, dejando cero en other.n
    return *this;
  }
};

Ejemplo

Ejecuta este código

#include <iostream>
#include <utility>
#include <vector>
#include <iterator>

class stream
{
  public:

   using flags_type = int;

  public:

    flags_type flags() const
    { return flags_; }

    // Reemplaza flags_ por newf y devuelve el valor antiguo
    flags_type flags(flags_type newf)
    { return std::exchange(flags_, newf); }

  private:

    flags_type flags_ = 0;
};

void f() { std::cout << "f()"; }

int main()
{
   stream s;

   std::cout << s.flags() << '\n';
   std::cout << s.flags(12) << '\n';
   std::cout << s.flags() << "\n\n";

   std::vector<int> v;

   // Ya que el segundo parámetro de plantilla tiene un valor por defecto,
   // es posible usar una lista de inicializadores entre llaves como
   // el segundo argumento. La expresión siguiente es equivalente a
   // std::exchange(v, std::vector<int>{1,2,3,4});

   std::exchange(v, {1,2,3,4});

   std::copy(begin(v),end(v), std::ostream_iterator<int>(std::cout,", "));

   std::cout << "\n\n";

   void (*fun)();

   // El valor por defecto del parámetro de plantilla también hace posible
   // usar una función normal como segundo argumento.
   // La expresión siguiente es equivalente a
   // std::exchange(fun, static_cast<void(*)()>(f))
   std::exchange(fun,f);
   fun();
}

Salida:

0
0
12

1, 2, 3, 4, 

f()

Véase también

swap	Intercambia los valores de dos objetos (plantilla de función)
atomic_exchangeatomic_exchange_explicit (C++11)(C++11)	Reemplaza atómicamente el valor del objeto atómico con el del argumento no atómico y devuelve el valor anterior del objeto atómico. (plantilla de función)