No Javascript não tem diferença de tipos. Todas as variáveis são instanciadas com a palavra-chave
var
.
###JavaScript tem sim um sistema de tipos
Quando você armazena um valor em uma variável, esse valor tem um tipo. O tipo de um dado valor nunca muda, mas o valor guardado numa variável pode ser trocado. Qualquer variável pode conter um valor de qualquer tipo, a qualquer momento, e por isso não faz sentido declarar o tipo da variável. O tipo é uma característica dos valores, e as variáveis (pense nelas como lugares onde se guardam valores) são agnósticas quanto a eles. Em outras palavras, as variáveis não são amarradas a nenhum tipo, mas sempre contêm valores que pertencem a algum dos tipos disponíveis.
###Os tipos
Cinco dos seis tipos em JavaScript têm valores primitivos: Undefined, Null, Boolean, String e Number. Valores primitivos como undefined
, null
, true
, "texto"
e 10
são imutáveis. Undefined e Null são tipos especiais que possuem um só valor cada, respectivamente null
e undefined
.
O sexto tipo é Object, que inclui arrays, funções e outros. Objetos são conjuntos de propriedades, que podem guardar valores de qualquer um dos tipos já citados. Propriedades podem ser acrescentadas a um objeto ou removidas dele a qualquer momento, e valores de propriedades também podem ser alterados. Portanto, objetos são mutáveis.
Existem ainda outros tipos que a especificação define para uso próprio, para descrever como a linguagem deve funcionar. Eles não estão disponíveis para os usuários da linguagem (nós), nem precisam ter correspondentes diretos na implementação.
###Valor versus referência
Eu não conheço bem o C#, pelo que entendi sobre value types e reference types, é possível traçar um paralelo com o JavaScript. Deixe de lado a questão do local de alocação, que discutirei mais adiante, e foque no comportamento dos tipos quando um valor é atribuído a uma variável ou passado para uma função ou método.
Pode-se considerar que os tipos primitivos do JavaScript funcionam como os value types, enquanto que os objetos funcionam como os reference types. Vou explicar com um exemplo:
var meuObjeto = {};
Aqui cria-se um objeto, que fica guardado na variável meuObjeto
. Mas será mesmo? O que é guardado nessa variável é um valor do tipo Object. O objeto em si (com suas propriedades, métodos, etc.) fica guardado em algum lugar da memória, gerenciado pelo interpretador da linguagem. E o valor do tipo Object é uma referência a esse objeto.
Dizer que objetos são referências quer dizer apenas que com a referência em mãos, você consegue acessar o objeto, e não que a referência seja um ponteiro para o local onde o objeto está armazenado na memória. Essa distinção é muito importante. Pense na referência como um valor como qualquer outro. Agora considere o seguinte exemplo:
var a, b;
a = {};
b = a;
b.umaPropriedade = "um valor";
b == a; // true
a.umaPropriedade; // "um valor"
b = { outroObjeto: true };
b == a; // false
Em certas linguagens, seria de se esperar que atribuir outro valor a b
afetaria a
, já que b
é uma referência. Mas não é assim que funciona em JavaScript, e parece que em C# também não. É que b
não é "uma referência a a
"; b
contém uma referência a um determinado objeto, e a
contém outra referência ao mesmo objeto. Assim, pode-se alterar uma propriedade desse mesmo objeto por meio de a
ou b
. Mas não se pode sobrescrever o objeto que está em a
por atribuição de um novo valor a b
. O que b = { outroObjeto: true }
faz é somente armazenar em b
uma nova referência, a um outro objeto. O primeiro objeto continua existindo, e a referência contida em a
ainda aponta para ele.
Esse mesmo conceito também serve para entender como os objetos são passados para funções:
function teste(obj) {
obj.novaProp = "foo"; // o objeto fora da função é afetado
obj = { outraProp: "bar" }; // o objeto fora da função NÃO é afetado
}
var o = {};
teste(o);
o.novaProp; // "foo"
o.outraProp; // undefined
Isso quer dizer que em JavaScript não existe passagem "por referência". O objeto é passado por valor, só que o valor passado em teste(o)
é uma referência.
Então como funciona o gerenciamento de memória no Javascript? Existe essa diferença, de algumas variáveis serem armazenadas diretamente na pilha e outras serem armazenadas no heap somente tendo uma referência na pilha?
Ao programar em JavaScript, tenha em mente que o acesso à memória fica a cargo do interpretador da linguagem. Não se manipula a memória diretamente em JavaScript. A especificação da linguagem sequer menciona como a memória deve ser tratada, isso fica integralmente a cargo da implementação. Por isso não é possível dizer onde cada dado fica armazenado sem conhecer bem como cada interpretador funciona. Eu não conheço isso, então não posso afirmar nada a respeito.
Mas se você está preocupado com o uso de memória pelo seu JavaScript, lembre-se do seguinte:
- Existe um garbage collector nos engines de JavaScript
- Esse garbage collector é executado em momentos arbitrários (geralmente quando o interpretador não está ocupado com o seu código)
- O garbage collector só liberar a memória ocupada por um objeto se não houver nenhuma referência "viva" a esse objeto.
- Ou seja: cuidado com objetos capturados em closures, eles podem acabar ocupando memória eternamente!