Come si comporterà il meccanismo di gestione automatica della memoria se un oggetto contiene un riferimento a se stesso?

In C#, il meccanismo di gestione automatica della memoria (Garbage Collector, GC) si basa sul conteggio dell'accessibilità degli oggetti dai riferimenti radice.

Se un oggetto contiene un riferimento a se stesso (auto-riferimento), ciò non impedisce al garbage collector di liberare la memoria se non ci sono riferimenti esterni a quell'oggetto. Il GC analizza il grafo degli oggetti, partendo dai riferimenti radice, e segna tutti gli oggetti raggiungibili. Gli oggetti raggiungibili solo tramite riferimenti ciclici (inclusi gli auto-riferimenti), ma non dai riferimenti radice, sono considerati inaccessibili e vengono raccolti.

Pertanto, l'auto-riferimento non impedisce la raccolta dell'oggetto se non viene utilizzato nel programma.

Esempio:

class Node {
    public Node SelfReference;
}

var node = new Node();
node.SelfReference = node;

// Se dopo questo, il nodo non viene più utilizzato e non ci sono altri riferimenti a esso,
// il GC libererà la memoria, nonostante l'auto-riferimento.