C++ named requirements: MoveConstructible (since C++11)

Especifica que una instancia del tipo puede ser construida a partir de un argumento rvalue .

Requisitos

El tipo T satisface MoveConstructible si

Dado

• rv , una expresión rvalue de tipo T ,
• u , un identificador arbitrario.

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

Notas

Una clase no tiene que implementar un move constructor para satisfacer este requisito de tipo: un copy constructor que toma un argumento const T& puede enlazar expresiones rvalue.

Si una clase MoveConstructible implementa un constructor de movimiento, también puede implementar semánticas de movimiento para aprovechar el 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&& other) { n = other.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 el requisito MoveConstructible
    // 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