Na verdade essa ideia de apontar está ligeiramente errada. Até existe isso sim, mas vamos começar pelo fim que você entende melhor.
Quando você atribui 23 para a variável a
é bem fácil de entender. Está colocando um objeto numérico cujo valor é 23 no local de armazenamento com um nome chamado a
.
Se não entende isso precisa ler O que é uma variável?.
E se você colocar o número 12 em a
?
Está colocando um outro objeto numérico cujo valor é 12. Notou o destaque?
Acho que deu para entender que o valor anterior é descartado.
Você pode fazer isso quanto quiser.
E em JavaScript pode colocar objetos de outros tipos porque é uma linguagem de tipagem dinâmica, então só os objetos possuem tipos, a variável não.
O que acontece se você fizer como no começo e agora atribuir um array para a
? O que será armazenado em a
?
Tipos por valor X tipo por referência
O que eu mostrei inicialmente é o tipo por valor que é mais fácil de entender. O objeto vai direto na variável.
Acontece que existem os tipos por referência. Eles são tipos que dependem de indireção. Então você tem uma referência que é um ponteiro para outro objeto e em outro lugar diferente tem o objeto de fato.
Isso é necessário porque esse objeto tem um tamanho a ser definido, não há como reservar memória previamente no local de armazenamento da variável. Mesmo que soubesse o tamanho ele poderia ser muito grande.
Qual é o valor que vai na variável? O valor do ponteiro, que é um endereço de memória para onde de fato está o objeto, aí entra o apontamento.
Quando a
vale 23 e você fizer:
b = a
você está copiando o objeto numérico que tem o valor 23 que está em a
para o local de b
. Você terá duas variáveis como o mesmo valor, apesar de serem objetos diferentes, fisicamente existem dois. Simples.
Mas o que está copiando quando tem um objeto for por referência como o array?
Está copiando a referência, o ponteiro. Então você terá duas variáveis com o mesmo valor, um endereço de memória apontando para o mesmo objeto. Isso você pode observar. Quando você mudou a composição do objeto por uma variável o objeto mudou pela outra porque é o mesmo objeto. Dois ponteiros mas só um objeto.
Mas o que aconteceu quando fez isto?
a = [1, 2, 3] //isto é um literal de criação de array
Coloquei no GitHub para referência futura.
Você acabou de criar um objeto novo e atribui para a
o endereço à ela. E o que aconteceu com b
? Continuou apontando para o objeto que ele estava apontando antes, ninguém mexeu em b
.
Então agora você tem a
apontando para um objeto que acabou de ser criado e b
apontando para outro objeto que já existia antes. Não tem mais duas variáveis apontando para o mesmo objeto.
Notou que o valor que estava em a
que era a referência para o primeiro objeto foi descartada? Aconteceu igual ao tipo por valor 23
, ele foi descartado. Não necessariamente o objeto apontado. De fato o objeto ainda existe porque b
continua apontando para ele. Se ninguém apontasse para esse objeto mais ele seria descartado também. Esse é o mecanismo do tipo por referência.
Se o objetivo fosse entender o gerenciamento da memória de como isso acontece a pergunta seria outra.
Conclusão
Então é isso, em tipos por valor você sempre cria novos objetos quando atribui algo à variável, em tipos por referência só em algumas situações é que isso acontece, só cria um novo objeto se mandar criar um novo objeto. Atribuir b = a
em um tipo por referência não está criando um novo objeto, só quando você usa uma sintaxe que claramente é um literal de novo objeto é que está criando algo novo.