¿Por qué tengo que crear un objeto auxiliar?
En mi opinión la pregunta debería ser "¿Por qué debo adoptar una solución concreta en este caso concreto?".
En el operador de asignación (y su gemelo maligno, el operador de movimiento) no existe una sola solución o patrón válido siempre, cada tipo de datos puede requerir una solución diferente.
El modismo de copia-intercambio.
Como bien has comentado, en el caso concreto de tu tipo Racional
no tienes necesidad alguna de un objeto auxiliar. Es posible que se mencione el auxiliar como parte del modismo de copia-intercambio (copy swap idiom en inglés).
El modismo de copia-intercambio consiste en delegar la funcionalidad de asignación de nuevos valores en el constructor de copia, mediante la creación de una copia local de los datos que después será intercambiada con los datos actuales; seguidamente el objeto temporal (que contiene los datos antiguos) se destruye. Es precisamente el modismo que ha usado Trauma en su respuesta:
Racional& Racional::operator=( const Racional &der ) {
Racional tmp( der ); // Copiamos el Racional recibido.
std::swap( *this, tmp ); // Intercambiamos con el Racional presente.
return *this; // Devolvemos el Racional presente, por si queremos encadenar operaciones.
} // El auxiliar se destruye.
¿Es necesario el auxiliar?.
El modismo de copia-intercambio usa un auxiliar para asegurar que se llama el destructor del objeto para los datos que están siendo descartados; esto es relevante en los casos en que el objeto maneje recursos:
struct Int {
int *i{nullptr};
Int(const Int &) = default;
~Int() {
delete i;
}
Int &operator =(const Int &i) {
Int tmp(i);
std::swap(*this, tmp);
return *this; // delete i sera llamado.
}
};
Si en el ejemplo anterior el operador de asignación hubiese sido este:
Int &operator =(const Int &i) {
this->i = i;
}
Perderíamos el puntero i
original, provocando una fuga de memoria. Pero no es tu caso, tu clase Racional
no maneja recursos por lo que no necesitas usar el modismo copia-intercambio.
Conclusión.
C++ permite sobrecargar operadores para que podamos hacernos cargo de tareas especiales que un objeto pueda requerir al ser operado; esta personalización del comportamiento es especial en cada caso y aunque existen determinados modismos no debemos utilizarlos sin pensar si se ajustan las necesidades concretas de cada caso.
En tu caso, tu duda es relevante y correcta; la respuesta es: no necesitas el temporal... pero NO consideres esta respuesta grabada en piedra, en otras situaciones la respuesta podría ser otra.