¿Cómo funciona la asignación de variables en JavaScript?

Así que estuve jugando el otro día solo para ver exactamente cómo funciona la asignación masiva en JavaScript.

Primero probé este ejemplo en la consola:

a = b = {};
a.foo = 'bar';
console.log(b.foo);

El resultado fue que se mostraba una "barra" en una alerta. Eso es bastante justo, ay en brealidad son solo alias para el mismo objeto. Luego pensé, ¿cómo podría simplificar este ejemplo?

a = b = 'foo';
a = 'bar';
console.log(b);

Eso es más o menos lo mismo, ¿no? Bueno, esta vez, devuelve foono barlo que cabe esperar del comportamiento del primer ejemplo.

¿Por qué pasó esto?

NB Este ejemplo podría simplificarse aún más con el siguiente código:

a = {};
b = a;
a.foo = 'bar';
console.log(b.foo);

a = 'foo';
b = a;
a = 'bar';
console.log(b);

(Sospecho que JavaScript trata las primitivas como cadenas y enteros de manera diferente a los hash. Los hash devuelven un puntero mientras que las primitivas "centrales" devuelven una copia de sí mismas)

En el primer ejemplo, está configurando una propiedad de un objeto existente. En el segundo ejemplo, está asignando un objeto nuevo.

a = b = {};

ay bahora son punteros al mismo objeto. Entonces, cuando lo hagas:

a.foo = 'bar';

También establece b.foodesde ay bapunta al mismo objeto.

¡Sin embargo!

Si haces esto en su lugar:

a = 'bar';

estás diciendo que ahora aapunta a un objeto diferente. Esto no tiene ningún efecto sobre lo aseñalado antes.

En JavaScript, asignar una variable y asignar una propiedad son 2 operaciones diferentes. Es mejor pensar en las variables como punteros a objetos, y cuando asigna directamente a una variable, no está modificando ningún objeto, simplemente re-apuntando su variable a un objeto diferente.

Pero asignar una propiedad, como a.foo, modificará el objeto al que aapunta. Esto, por supuesto, también modifica todas las demás referencias que apuntan a este objeto simplemente porque todas apuntan al mismo objeto.

Su pregunta ya ha sido respondida satisfactoriamente por Squeegy: no tiene nada que ver con objetos frente a primitivas, sino con reasignación de variables frente a establecer propiedades en el mismo objeto referenciado.

Parece haber mucha confusión sobre los tipos de JavaScript en las respuestas y comentarios, así que aquí hay una pequeña introducción al sistema de tipos de JavaScript:

En JavaScript, hay dos tipos de valores fundamentalmente diferentes: primitivos y objetos (y no hay nada como un 'hash').

Las cadenas, los números y los valores booleanos, así como nully undefinedson primitivos, los objetos son todo lo que puede tener propiedades. Incluso las matrices y las funciones son objetos regulares y, por lo tanto, pueden contener propiedades arbitrarias. Solo difieren en la propiedad interna [[Clase]] (las funciones además tienen una propiedad llamada [[Llamar]] y [[Construir]], pero bueno, eso es detalles).

La razón por la que los valores primitivos pueden comportarse como objetos se debe al autoencuadre, pero los primitivos en sí mismos no pueden tener ninguna propiedad.

Aquí hay un ejemplo:

var a = 'quux';
a.foo = 'bar';
document.writeln(a.foo);

Esto dará como resultado undefined: acontiene un valor primitivo, que se promueve a un objeto cuando se asigna la propiedad foo. Pero este nuevo objeto se descarta inmediatamente, por lo que foose pierde el valor de .

Piensa en esto, de esta manera:

var a = 'quux';
new String(a).foo = 'bar'; // we never save this new object anywhere!
document.writeln(new String(a).foo); // a completly new object gets created

Estás más o menos en lo correcto excepto que lo que te refieres como un "hash" es en realidad una sintaxis abreviada de un objeto.

En el primer ejemplo, un y b ambos se refieren al mismo objeto. En el segundo ejemplo, cambia a para hacer referencia a otra cosa.

aquí está mi versión de la respuesta:

obj = {a:"hello",b:"goodbye"}
x = obj
x.a = "bonjour"

// now obj.a is equal to "bonjour"
// because x has the same reference in memory as obj
// but if I write:
x = {}
x.a = obj.a
x.b = obj.b
x.a = "bonjour"

// now x = {a:"bonjour", b:"goodbye"} and obj = {a:"hello", b:"goodbye"}
// because x points to another place in the memory

Está configurando a para que apunte a un nuevo objeto de cadena, mientras que b sigue apuntando al antiguo objeto de cadena.

En el primer caso se cambia alguna propiedad del objeto contenido en la variable, en el segundo caso se asigna un nuevo valor a la variable. Eso son cosas fundamentalmente diferentes. Las variables ay bno están vinculadas mágicamente de alguna manera por la primera asignación, solo contienen el mismo objeto. Ese también es el caso en el segundo ejemplo, hasta que asigne un nuevo valor a la bvariable.

La diferencia está entre tipos y objetos simples.

Todo lo que sea un objeto (como una matriz o una función) se pasa por referencia.

Todo lo que sea de un tipo simple (como una cadena o un número) se copia.

Siempre tengo una función copyArray a mano para poder estar seguro de que no estoy creando un montón de alias para la misma matriz.