std::swappable, std::swappable_with

 

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 conceptos

Conceptos del lenguaje principales
same_as derived_from convertible_to common_reference_with common_with integral signed_integral unsigned_integral floating_point swappableswappable_with destructible constructible_from default_initializable move_constructible copy_constructible assignable_from	Conceptos de comparación equality_comparableequality_comparable_with totally_orderedtotally_ordered_with Conceptos de objetos movable copyable semiregular regular Conceptos invocables invocableregular_invocable predicate relation equivalence_relation strict_weak_order

 

Definido en el archivo de encabezado <concepts>
template<typename T> concept swappable =   requires(T& a, T& b){     ranges::swap(a, b);   };	(1)	(desde C++20)
template<typename T, typename U> concept swappable_with =   std::common_reference_with<T, U>&&   requires(T&& t, U&& u){     ranges::swap(std::forward<T>(t), std::forward<T>(t));     ranges::swap(std::forward<U>(u), std::forward<U>(u));     ranges::swap(std::forward<T>(t), std::forward<U>(u));     ranges::swap(std::forward<U>(u), std::forward<T>(t));   };	(2)	(desde C++20)

El concepto swappable<T> especifica que lvalues de tipo T son intercambiables.

El concepto swappable_with<T, U> especifica que expresiones del tipo y la categoría de valor codificada por T y U son intercambiables la una con la otra. swappable_with<T, U> se satisface solamente si una llamada a ranges::swap(t, u) intercambia el valor de t y u, es decir, dados objetos distintos t2 igual a t y u2 igual a u, después de evaluar ya sea a ranges::swap(t, u) o a ranges::swap(u, t), t2 es igual a u y u2 es igual a t.

Conservación de la igualdad

Una expresión es conservadora de igualdad si resulta en salidas iguales dadas entradas iguales.

• Las entradas de una expresión consisten en sus operandos.
• Las salidas de una expresión consisten en su resultado y todos los operandos modificados por la expresión (si es que los hay).

Cada expresión que se requiere sea conservadora de igualdad, se requiere además que sea estable: dos evaluaciones de tal expresión con los mismos objetos de entrada debe tener salidas iguales si no se encuentra alguna modificación interventora de esos objetos de entrada.

A menos que se indique de otra manera, cada expresión utilizada en una expresión-requiere se requiere sea conservadora de igualdad y estable, y la evaluación de la expresión puede solamente modificar sus operandos no constantes. Los operandos que son constantes no deben ser modificados.