Requisitos denominados de C++: ConstruiblePorMovimiento (desde C++11)

Especifica que un ejemplar del tipo puede construirse a partir de un argumento r-valor.

Requisitos

El tipo T satisface ConstruiblePorMovimiento si dados:

• rv, una expresión r-valor de tipo T, y
• u, un identificador arbitrario.

Las siguientes expresiones deben ser válidas y tener sus efectos especificados.

Notas

Una clase no tiene que implementar un constructor de movimiento para satisfacer este requerimiento de tipo: un constructor de copia que toma un argumento const T& puede vincularse a expresiones r-valor.

Si una clase ConstruiblePorMovimiento implementa un constructor de movimiento, también puede implementar la semántica de movimiento para tomar ventaja del hecho de que el valor de rv después de la construcción no está especificado.

#include <iostream>

struct S
{
    int n;
    S(int in) : n{in} {}
    S(S&& otro) { n = otro.n + 1; }
};
static_assert(std::is_move_constructible_v<S>);

int main()
{
    S v{1};
    std::cout << "v.n = " << v.n << '\n';
    S u = std::move(v);

    // La clase `S` no satisface un requisito de ConstruiblePorMovimiento 
    // El valor de `u` NO es equivalente al valor de `v` antes de la inicialización de `u` 
    std::cout << "u.n = " << u.n << '\n';
}

v.n = 1
u.n = 2

Referencias

Véase también