Una fuente de confusión muy habitual es pensar que las referencias en Java y en C++ son parecidas por tener el mismo nombre. Esto es indiscutíblemente falso.
Considera una clase en C++ o Java llamada Perro con un constructor que admite un nombre y métodos obtenerNombre y asignaNombre.
En Java este código que usa referencias es válido :
Perro perroA = new Perro("Gordito");
// Puedes cambiar la referencia contenida en perroA
perroA = new Perro("Gruñon");
Perro perroB; // Puedes declarar una variable de tipo referencia
// sin inicializarla explícitamente.
perroB = new Perro("Comilon"); // Y luego asignarle un objeto
perroB = perroA; // Ahora perroA y perroB referencian el mismo objeto
perroA.asignaNombre("Fifi"); // Modifica tanto perroA como perroB
System.out.println(perroB.obtenerNombre()); // Imprimie "Fifi"
El mismo código en C++ usando referencias no compila y cuando compila (quitando las líneas marcadas con !!!
) hace cosas distintas al de Java :
Perro perroObj1("Gordito");
Perro perroObj2("Comilon");
Perro& perroA = perroObj1; // Correcto
// No puedes cambiar el objeto al que referencia
// una variable tipo referencia en C++
perroA = Perro("Gruñon"); // Compila, pero no hace lo mismo que en Java
// perroA sique referenciando al mismo objeto, no a otro como en Java
// Lo que sucede en C++ es que se invoca el operador de asignación.
Perro& perroB; // !!!Error compilacion. No puedes declarar variables
// referencia sin inicializarlas.
perroB = perroObj2; // !!! Demasiado tarde
Perro& perroB = perroObj2; // Correcto
perroB = perroA; // No hace lo mismo que en java
perroA.asignaNombre("Fifi"); // Modificamos perroA pero no perroB
std::cout << perroB.obtenerNombre() << std::endl; // Imprimie "Gruñon", no "Fifi"
El mismo código en C++ con punteros sí sería valido y hace lo mismo que en java.
Perro* perroA = new Perro("Gordito");
// Puedes cambiar el puntero contenido en perroA
perroA = new Perro("Gruñon");
Perro* perroB; // Puedes declarar una variable de tipo puntero
// sin inicializarla explícitamente.
perroB = new Perro("Comilon"); // Y luego asignarle un puntero a objeto
perroB = perroA; // Ahora perroA y perroB apuntan al mismo objeto
perroA->asignaNombre( "Fifi" ); // Modifica tanto perroA como perroB
std::cout << perroB->obtenerNombre() << std::endl; // Imprime "Fifi"
También son muy diferentes las referencias de Java a las de C++ en lo que a paso de parámetros se refiere.
public static void main(String[] args)
{
Perro unPerro = new Perro("Tim");
cambiarNombre( unPerro );
}
public static void cambiarNombre(Perro p) {
p = new Perro("Fifi"); // No modifica unPerro en main
}
En las referencias de C++ tampoco se hace que unPerro referencie a otro objeto pero, a diferencia de lo que ocurre en Java, sí que cambia el contenido de unPerro
en main
como consecuencia de como funciona el operador asignación (suponiendo una implementación normal del operador asignación) :
int main(void)
{
Perro unPerro("Tim");
cambiarNombre( unPerro );
return 0;
}
void cambiarNombre(Perro& d) {
d = Perro("Fifi"); // Sí modifica unPerro en main
// a través del operador de asignación
}
En el caso de los argumentos pasados por puntero en C++ tiene los mismos efectos que en Java, puesto que los punteros en C++ también se pasan por valor, igual que las referencias de Java :
int main(void)
{
Perro* unPerro = new Perro("Tim");
cambiarNombre( unPerro );
return 0;
}
void cambiarNombre(Perro* d) {
// Como en Java, no tiene efecto sobre la variable unPerro en main
d = new Perro("Fifi");
}
Hasta aquí las referencias de Java se parecen mucho a los punteros en C++ y son muy distintas a las referencias en C++.
Pero también hay importantes diferencias entre los punteros en C++ y las referencias en Java :
- Recolección de basura. Los ejemplos de punteros C++ anteriores tendrían escapes de memoria (memory leaks), requieren de liberar la memoria con
delete
para que no se produzcan.
- Los punteros C++ tienen aritmética de punteros.
- Las referencias en Java están fuertemente tipadas.
- Las referencias en Java se implementan normalmente almacenando sus direcciones de memoria, igual que en los punteros, pero esto no es obligatorio en la especificación de Java y sería posible crear una máquina virtual en que las referencias estén asociadas a entradas de un diccionario en vez de a direcciones de memoria u otros mecanismos de indirección.