Este método:
Block& getBlock() const
{
return _b;
}
Lo que hace es exponer el objeto _b
al exterior de la clase. Un ejemplo un poco más gráfico sería el siguiente:
Block* getBlock() const
{
return &_b;
}
Aquí no habría ninguna duda de que cualquiera podría modificar el objeto _b
desde fuera de la clase simplemente llamando a getBlock
... pues con la referencia pasa exactamente lo mismo.
Lo que sucede en esta línea:
m.getBlock()=Block(7)
Es lo siguiente:
- Se crea un Rvalue de tipo
Block
con _n_block=7
- El método
getBlock
expone una referencia a _b
. Es decir, es como si _b
fuese público.
- Se llama al operador de asignación,
_b = Block(7)
. Como no has implementado un operador de forma explícita se invoca al operador move (Block& operator=(Block&&)
)
- Se destruye el objeto Rvalue creado en el primer paso.
El comportamiento que describes es el esperado. El problema es que estás confundiendo conceptos. Tu has asumido que getBlock
debe ser un Rvalue porque es una función... y las funciones son inmutables... pero lo importante en este caso no es getBlock
sino lo que devuelve dicha función. Si getBlock
devolviese una referencia constante o un objeto por valor:
Block const& getBlock()
Block getBlock()
Entonces sí que te encontrarías con errores en tiempo de compilación... pero no en este caso.
Un ejemplo muy similar lo puedes encontrar en el uso de la función tie
, que sirve para explotar un pair
o un tuple
:
std::pair<int,bool> pareja = std::make_pair(123,true);
int numero;
bool booleano;
std::tie(numero,booleano) = pareja;
std::cout << numero << ' ' << booleano;
De primeras el código parece contraintuitivo ya que no se le puede asignar nada a una función... ¿o sí? Si revisas la documentación de la función verás que devuelve un tuple
con referencias. Dicho en cristiano y personalizándolo para el ejemplo que te he puesto la especialización de tie
(que efectivamente es una plantilla) sería la siguiente:
std::tuple<int&,bool&> tie(int& a, bool& b)
{
return {a,b};
}
Es decir, crea una tupla de referencias. Si modificas la tupla estarás modificando una de las variables con las que has llamado a tie
... la llamada a tie
no es un Rvalue sino un Lvalue.
'a'
es unaconst char &
.char & = const char &
crea una copia; podrás modificar la copia, pero nunca el original.