Ir al contenido principal

Impensando acerca de las referencias en Java

Fue hace ya algún tiempo que pase un rato discutiendo con algunos compañeros acerca de si existe o no el paso por referencia; el discurso fue mucho hacia que en Java el comportamiento, en el supuestamente pasamos por referencia un objeto y por valor los objetos primitivos creo mucha polémica.

Para ubicarnos en contexto veamos el siguiente ejemplo.

public static void main(String[] args) {

int value = 10;

changeValue(value);

System.out.println("value = " + value);

User user = new User();
Name name = new Name();

user.setName(name);
name.setName("jsanca");
name.setLastName("XXX");

user.setPassword("123queso");

System.out.println("user: " + user.getName().getName() + ", "
+ user.getName().getLastName() + ", " + user.getPassword());

changeValue1(user);

System.out.println("user: " + user.getName().getName() + ", "
+ user.getName().getLastName() + ", " + user.getPassword());

changeValue2(user);

System.out.println("user: " + user.getName().getName() + ", "
+ user.getName().getLastName() + ", " + user.getPassword());

changeValue3(user);

System.out.println("user: " + user.getName().getName() + ", "
+ user.getName().getLastName() + ", " + user.getPassword());
}


// lost the reference
private static void changeValue3(User user) {

Name name = new Name ();
name.setName("anotheruser");
name.setLastName("somelastname");
user = new User (); // here lost the reference.
user.setPassword("xxxxxx");
}

// change the password, used reference for user object.
private static void changeValue2(User user) {

user.setPassword("654321");
}

// change the name for new name object, used reference for user object.
private static void changeValue1(User user) {
Name name = new Name ();
name.setName("hackuser");
name.setLastName("trocker");

user.setName(name);
}

private static void changeValue(int value) {

value *= 20;
}

Resultado:

value = 10
user: jsanca, XXX, 123queso
user: hackuser, trocker, 123queso
user: hackuser, trocker, 654321
user: hackuser, trocker, 654321

Como se puede notar, cuando pasamos un valor primitivo (llamese entero, carácter, etc) y el valor se modifica en el método, el resultado no se refleja al salir del "scope" del método, de aquí le recomiendo pasar los valores primitivos como final y así se asegura que los programadores no van a tener confusiones.

El segundo y tercero método, consiste en la supuesta referencia y la misma es modificada, la tercera pierde la referencia, pues cuando se realiza un "new" el compilador otorga una nueva casilla de memoria, perdiendo totalmente la referencia pasada por parámetro.

Si analizamos, por ejemplo C++, cuando una variable inclusive nula, se le pasa &miVar en un parámetro, realmente pasamos un referencia, pero esto sucede porque en C++ la memoria es gestionada por los programadores, al contrario de Java, donde es tarea del Garbage Collector; en C++ existen los punteros, así como las instrucciones new y delete o free y malloc en el caso de C, pero en Java no existen los punteros, por lo que discutir acerca si el paso por referencia es estrictamente igual que el que esperamos en C++ no tiene sentido, pues la referencias pueden solo existir en un lenguaje con soporte de punteros, al no tener Java esta característica, en realidad no existe el paso por referencia, solo podemos concluir que Java no cambia los datos primitivos en una función, pero puede cambiar las propiedades de un objeto siempre y cuando el objeto en si, no sea cambiado, es decir que no suceda como en el método "changeValue3()" donde se le realiza un "new" al objeto pasado por parámetro.

La unica excepción a esta regla, la podemos encontrar en el contexto de RMI, donde todos los objetos así como los primitivos son pasados por valor (por razones obvias de perfomance), aunque extendiendo una interface se le puede indicar que esta variable debe ser sincronizada entre el cliente y el server, es decir que se pase una referencia al estilo de Java.

Comentarios

Carlos P. dijo…
En realidad los punteros son de alta importancia en Java, ya que sólo primitivos no son lo son, y esto da la apariencia de que no existen.
Los punteros simplemente se declaran de manera implícita, en otras palabras, comparando de manera simplista con C++, es similar a decir que el “*” viene incluido.
Otra cuestión es que en Java todos los argumentos son pasados por valor.
Vamos a ver a continuación que todos los no primitivos tienen todas las características y el comportamiento de punteros.

Una de las características es que requiere la asignación de memoria ó la asignación a nulo.
Ej:

UnaClase unaClase1 = null;
UnaClase unaClase2 = new UnaClase();

En C++ equivale a:
UnaClase * unaClase1 = null;
UnaClase * unaClase2 = new UnaClase();

En C++ se podría hacer una instancia a una clase sin asignación de memoria dinámica:
Ej: UnaClase a;
a.setValue(20);

Lo anterior no se puede hacen en Java.

Veamos los siguientes ejemplos para mostrar porqué los argumentos se pasan por referencia y no por valor (indistintamente del tipo):

public void swap (int a, int b){
int temp = a;
a = b;
b = temp;
}

public void swap (UnaClase a, UnaClase b){
UnaClase temp = a;
a = b;
b = temp;
}

Suponiendo que en el segundo caso se pasan los argumentos por referencia, “a” y “b” se verían intercambiados, pero no sucede. En el siguiente ejemplo de C++ hacemos lo mismo pasando los argumentos por referencia:

void swap (UnaClase &a, UnaClase &b){
UnaClase temp = a;
a = b;
b = temp;
}

“a” y “b” en efecto son intercambiados, lo cual no se dio en los ejemplos de Java. En realidad análogamente lo que ocurre en Java es esto:

void swap(UnaClase *a, UnaClase *b){;
UnaClase *tmp = a;
a = b;
b = tmp;
}

Alguien dirá ¿Y entonces porqué se modifican las propiedades? Eso significaría que es por referencia.

La respuesta es No. No necesariamente porque se modifiquen las propiedades significa que sea el argumento haya sido pasaoo por referencia. Veamos:

public void changeValue (UnaClase a){
a.setValue(15);
}

Ahora, con el comportamiento análogo mostrado anteriormente para C++ se da esto:

void changeValue(UnaClase *a, UnaClase *b){;
a->setValue(15);
}

La propiedad en efecto se ve modificada en ambos casos, aunque en el segundo ejemplo el argumento fue pasado por valor.

En los ejemplo de C++ cuyos comportamientos son los mismos en Java, los argumentos son punteros pasados por valor, y no se puede atribuir el mismo comportamiento que tendrían si se pasaran por referencia.
Carlos P. dijo…
Por cierto, me gustaría también aclarar que si bien hay punteros, el modelo en Java es distinto al de C++, ya que no es físico y Java mismo gestiona el uso de memoria y no el programador, por lo que sólo se pueden usar para hacer referencia a objetos y no manipularse para apuntar a direcciones cualquiera en memoria.
Yo diría que son punteros seguros.
jsanca dijo…
Me parece que asegurar que un objeto en Java es un puntero es muy apresurado. Insisto que en Java no existen los punteros, cosa diferente a C#, donde se puede utilizar el keyword "ref" para pasar una refencia y además existe la posibilidad de utilizar segmentos no seguros.
Como describe el articulo, los objetos en Java se comportan de cierta forma cuando se pasan por parametro.
jsanca dijo…
Es tan valido decir que en Java existen los punteros, como que en ActionScript existen los hilos, puede que la implementación utilice hilos para renderizar cosas, etc, pero el lenguaje no soporta hilos, como tal, asi como Java no soporta punteros y sin punteros el paso por referencia, no tiene sentido.
Carlos P. dijo…
El uso de los punteros es más limitado en Java y además son implícitos, sin embargo eso no los hace inexistentes o irrelevantes.

Anteriormente se vio que el comportamiento de los no primitivos es igual a de los punteros usados como referencia a objetos en C++.

Sobre si son relevantes o no, eso depende. Son relevantes para mí. Jajaja. El tema ayuda a comprender el comportamiento de las referencias y de los métodos en Java. Conozco varia gente que no sabía que no se puede hacer un void swap(a,b) en Java. También permite entender la simpleza del asunto, sin suposiciones complicadas de que el JVM hace esto para los primitivos o aquello para los objetos.

Sobre los hilos en ActionScript, existe una forma de manejo de hilos primitiva que es el setTimeOut(), el cual funciona para crear un hilo de ejecución, pero que no tiene “yield”, “stop”, “wait” o “sleep”. Suponiendo que no existe el setTimeOut() en ActionScript, la analogía sobre hilos en AS y punteros en Java no aplica de la misma manera. No se puede inferir el comportamiento de los hilos como tales ni decir con certeza qué es un hilo y qué no es un hilo a partir del modelo de ActionScript, ni siquiera a nivel de eventos. A cambio en Java, sí se puede inferir el comportamiento de los punteros como tales, tal es el caso de los ejemplos descritos en mi primera aportación.
jsanca dijo…
Carlos si los punteros existieran en Java uno podría:

1 - Asignar memoria.
2 - Borrar memoria.
3 - Hacer un puntero a función.
4 - Hacer un puntero a algo.
5 - Hacer referencias.
6 - Un podría conocer la posición de memoria donde se encuentra almacenado, el objeto, etc.

De estas, la unica que se cumple, podriamos decir que es la primera. Y que la segunda, que la maneje el GC, no tiene nada que ver, no hay punteros, usted puede decir que medio se parece, pero en JavaScript medio parece que los pseudo objetos son OOP, pero no existe herencia, polimorfismo, encapsulación, por lo tanto no es un lenguaje orientado a objetos, como si lo es C# o Java. Tampoco hay hilos en JavaScript o AS, por que podes hacer bloqueos, notificaciones, dormir hilos, etc. El setTimeOut, es simplemente un rutina que hacer algo "parecido" a un Hijo, pero usted no lo maneja.
Basandome en esa analogia, no hay punteros en Java, por lo tanto no existe los pasos por referencia, por lo tanto uno tiene que tener en cuenta, cual sera el comportamiento esperado al pasar primitivos o objetos, a una función, tal como lo dice el articulo.
jsanca dijo…
Por ejemplo veamos un lenguaje como C++, que cuenta con punteros y referencias, a diferencia de Java que no los tiene:

#include <cstdlib>
#include <iostream>

using namespace std;

void frefence(int* i);
void fvalue (int i);

int main(int argc, char *argv[])
{

int i = 2;
fvalue(i);
cout << i << endl;
frefence(&i);
cout << i << endl;
cin >> i;
return EXIT_SUCCESS;
}

void frefence(int *i) {

*i *= 2;
}

void fvalue (int i) {

i *= 2;
}

Resultado
2
4

Esto no se puede lograr con Java.
Gabriel Solano dijo…
Mi humilde opinión es que podrían haber dos preguntas, qué comportamiento vemos nosotros como programadores cuando pasamos nuestros parámetros a las funciones? y cómo se implementa por debajo? Si yo paso un objeto a una función y esta misma la modifica y cuando regresa ha cambiado, pues para mi es por referencia. Y si paso un valor primitivo y cuando regresa no ha cambiado aunque la función lo haga, para mi es por valor. Los detalles de cómo lo hace por debajo el lenguaje podrían o no ser relevantes pero igual el comportamiento que ve el programador es el que vale.
jsanca dijo…
Excelente chino, sería cool que nos regalaras una pequeña introducción a los pases por referencia en C# y si no es mucho pedir, los puntos a tomar en cuenta, en los segmentos de código no seguros.
jsanca dijo…
Excelente comentario Chino!
Unknown dijo…
En este link esta claro y es de sun, y se menciona que todos los parametros se pasan por valor, inicializando copias nuevas de cada uno ya sean estas valor primitivos o objectos compuestos, por lo tanto si hay punteros en java.

http://java.sun.com/docs/books/jls/second_edition/html/classes.doc.html#37472

Entradas más populares de este blog

Pasos para remover Postgresql 8.3 en MAC OS

Tomado de: http://forums.enterprisedb.com/posts/list/1437.page In Mac OSX: (Assuming Default Locations) Via uninstaller: 1) In the installation directory, there will be a uninstall-postgresql.app file will be there, executing (double clicking) that will uninstall the postgresql installation. Manual Uninstallation: 1) Stop the server sudo /sbin/SystemStarter stop postgresql-8.3 2) Remove menu shortcuts: sudo rm -rf /Applications/PostgreSQL 8.3 3) Remove the ini file sudo rm -rf /etc/postgres-reg.ini 4) Removing Startup Items sudo rm -rf /Library/StartupItems/postgresql-8.3 5) Remove the data and installed files sudo rm -rf /Library/PostgreSQL/8.3 6) Delete the user postgres sudo dscl . delete /users/postgres

Validaciones con HTML5 sin necesidad de form.submit

Como parte de HTML5 existe la posibilidad de agregar información a los inputs de un form, para realizar validaciones; podemos indicar si queremos que sea requerido, con el tipo de datos; number, email, etc restringimos los valores que pueden ser agregados, podemos usar alguna mascara para validaciones, colocar mensajes de error custom, etc (en la red existen muchos ejemplos acerca de como customizar formularios). Ahora bien pongamos en contexto, tengo un formulario como este: <form name="managerForm"  id="managerForm">              <p>                  Name:                 <input id="managerNameText" required="required" placeholder="Write here the new manager name" size="40"/>              </p>             <p>                 Email:                 <input id="emailText" required="required" placeholder="myemail@myserver.com" type="email" />

Inventario anual de bebidas

Hola gente, Solo quería compartir mi inventario anual de bebidas (así conocer gustos), excluyendo algunas cervecillas que tengo por ahí guardadas, este es mi inventario: Ron: Flor de Cana 1 botella 5 anos. 2 botellas 7 anos una pacha 7 anos 2 botellas 12 anos 1 botella 18 anos Ron Zacapa 15 anos Centenario pachita 7 anos Centanario pachita 12 anos Bacardi limon Bacardi Razz Ron abuelo 7 anos Bacardi superior 1862 Ron Boltran XL Ron Centenario Garrafon Ron Jamaica Appleton 7 anos Ron Jamaica Appleton 12 anos (muchisimas gracias a Mayra :) Capitan Morgan Rum Jumbie, coconnut splash Ron coconut Malibu Ron Tequila Milagro Silver (muchisimas gracias a Pablito :) Sauza Gold Sauza Reposado Don Julio Reposado Vino Luigi Borer Malbec 2006 Casillero del Diablo, Caberut Sauviguon 2009 Vodka 2 botellas smirnoff y una smirnoff con sabor cranberry Cremas y otro licores Cahuita pacha Amaretto Barinet Licor de menta Licor de agave Rancho Escondido Bayleys 2 botellas (muchisimas gracias a Brian B :) Li