Como é que os mecanismos de recolha de lixo determinam os objetos a serem destruídos?

Os mecanismos de recolha de lixo (GC) em Java determinam quais os objetos devem ser destruídos, com base na acessibilidade dos objetos a partir das referências de raiz (root references). Se um objeto não for acessível a partir das raízes, é considerado lixo e pode ser removido.

Etapas principais:

1. Definição das raízes — são referências da pilha de threads, campos estáticos, registos, etc.
2. Percurso do grafo de objetos — o GC marca todos os objetos acessíveis a partir das raízes.
3. Definição de objetos inacessíveis — objetos não marcados como acessíveis são considerados lixo.

Exemplo: se um objeto não estiver ligado a nenhuma variável na pilha ou campo estático, é considerado inacessível e será removido pelo coletor de lixo.

Assim, o GC usa algoritmos de percurso do grafo de objetos (por exemplo, marcação e limpeza) para determinar quais objetos podem ser destruídos com segurança.