Parece que você já entendeu bem como funciona, mas vou comentar cada caso.
Variáveis simples
Se não houver mais nenhuma referência ao objeto, ele pode ser eliminado:
var obj = {foo: "bar"};
obj = null; // sim, isso foi limpo da memória
Porém:
var bar = {foo: "bar"};
var boo = bar;
bar = null; // bar não contém mais nada, mas o objeto ainda está em boo
Ou seja, no caso de múltiplas referências ao mesmo objeto, todas precisam ser nulificadas para que ele seja marcado como lixo. Aliás, importante: a memória não é liberada no exato momento em que a referência é setada para null
. Nesse momento, o valor se torna "coletável", mas o GC roda no momento em que a implementação achar mais oportuno.
Funções
Você tem razão, se um valor for capturado em uma closure, ele não pode ser liberado:
var foo = (function() {
var text = "bar";
var bar = function() {
alert(text);
};
return bar;
})();
Ou seja, a string "bar" continuará existindo enquanto foo
existir.
DOM
Hoje em dia não existe muita diferença ao se lidar com objetos do DOM e objetos comuns, As regras explicadas acima se aplicam da mesma maneira. Mas antigamente não era o caso. Eu me lembro de excluir elementos do DOM sem excluir seus event listeners, e mais tarde ao inserir outro nó com o mesmo ID do que tinha sido removido, o listener ressuscitava! Isso se não me engano ocorria não só no IE, mas também no Firefox. Mas tudo indica que esse tipo de coisa seja mesmo problema do passado (como o clássico problema das referências circulares no IE, que exigia uma série de malabarismos para ser evitado, até o IE8).
Reference Counting vs. Mark and Sweep
Segundo a MDN, o GC de todos os browsers modernos usam um algoritmo do tipo Mark and Sweep em vez de Reference Counting. No Mark and Sweep, o coletor percorre todos os objetos vivos a partir de uma raiz (o objeto global, no caso), e considera "vivo" qualquer objeto que possa ser referenciado nessa busca. Na prática, isso significa que a memória pode ser liberada mesmo que ainda exista alguma referência ao objeto a ser limpo, mas essa referência não tenha mais como ser acessada e utilizada pelo programa. Isso resolveu o problema das referências circulares mencionado acima.