Es posible marcar una función miembro para que sea llamada cuando se aplica sobre un objeto temporal (u objeto de tipo valor-derecho), para ello se añade &&
al final de la firma de la función, esto es conocido como "cualificadores de referencia" o "referencia a valor-derecho para *this
", si usas estas funciones a tu Objeto
:
std::vector<int> const& Coleccion() &
{
if( coleccion.empty() )
RellenarColeccion();
return coleccion;
}
// Esta version de Coleccion sera llamada cuando el objeto sea un temporal
std::vector<int> Coleccion() &&
{
if( coleccion.empty() )
RellenarColeccion();
return std::move(coleccion);
// ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ <-- movemos la coleccion fuera del temporal
}
En la versión que usa una referencia a valor derecho para *this
, usamos std::move
para transformar la coleccion
interna del objeto temporal en un vector valor-derecho, el cuál será usado para construir el std::vector<int>
resultante que, al estar recibiendo un valor-derecho, moverá el contenido en lugar de copiarlo1. Para ver si esto funciona como necesitas, he hecho unos cambios en tu clase de ejemplo:
class Objeto
{
using type_t = chivato;
::vector<type_t> coleccion;
Objeto() { std::cout << this << ' ' << __FUNCTION__ << '\n'; }
friend Objeto NuevoObjeto(); // Otorgamos acceso a los miembros privados para la factoria
void RellenarColeccion()
{ coleccion.emplace_back(); } // Anyadimos un objeto como prueba
public:
~Objeto() { std::cout << this << ' ' << __FUNCTION__ << '\n'; } // mostramos mensaje al destruir
Objeto(Objeto const&) = delete;
Objeto(Objeto &&) = default;
std::vector<type_t> const& Coleccion() &
{
std::cout << "No temporal\n";
if( coleccion.empty() )
RellenarColeccion();
return coleccion;
}
std::vector<type_t> Coleccion() &&
{
std::cout << "Temporal\n";
if( coleccion.empty() )
RellenarColeccion();
return std::move(coleccion);
}
};
He añadido unos mensajes en la construcción y destrucción de Objeto
y cambiado el tipo del objeto contenido en la colección a este:
struct chivato
{
chivato() { std::cout << this << ' ' << __FUNCTION__ << '\n'; }
~chivato() { std::cout << this << ' ' << __FUNCTION__ << '\n'; }
};
Con dichos cambios, si ejecutamos este código en main
:
std::cout << "Objeto en main\n";
Objeto o1 = NuevoObjeto();
std::cout << "Referencia a coleccion\n";
auto& v1 = o1.Coleccion();
std::cout << "\nObjeto temporal del que se obtiene coleccion\n";
auto v2 = NuevoObjeto().Coleccion();
std::cout << "Despues\n";
Tenemos esta salida2:
Objeto en main
0x000000000001 Objeto
Referencia a coleccion
No temporal
0x0000001 chivato
Objeto temporal del que se obtiene coleccion
0x000000000002 Objeto
Temporal
0x0000002 chivato
0x000000000002 ~Objeto
Despues
0x0000002 ~chivato
0x000000000001 ~Objeto
0x0000001 ~chivato
Vemos que el primer Objeto
(0x000000000001
) crea una colección con el elemento 0x0000001
y se lee dicha colección mediante la función Coleccion
que no se aplica sobre temporales, no vemos que el elemento 0x0000001
sea destruido.
En la segunda parte se crea un Objeto
temporal (0x000000000002
) que contiene el elemento 0x0000002
y acto seguido se destruye el Objeto
sin que el elemento (0x0000002
) sea destruido, eso significa que la colección ha sido movida, también podemos ver que se ha llamado la versión de Coleccion
que se llama sobre temporales.
Después del mensaje Después
se llaman los destructores del elemento de la colección del Objeto
creado temporalmente desde la factoría (0x0000002
), seguidamente se llama al destructor del primer Objeto
(0x000000000001
) creado el cuál llama al destructor de su único elemento (0x0000001
).
Este comportamiento nos demuestra que no ha habido copia de la colección obtenida del temporal (de haber habido copia se vería una construcción-destrucción adicional de elementos de colección).
Puedes ver el código funcionando En Wandbox 三へ( へ՞ਊ ՞)へ ハッハッ.
1Atención, usar std::move
en una instrucción return
evita la optimización del valor de retorno.
2He editado las direcciones de memoria, por claridad y porque en diferentes ejecuciones son diferentes valores.
v2