Wie verhält sich der Mechanismus der automatischen Speicherverwaltung, wenn ein Objekt eine Referenz auf sich selbst enthält?

In C# basiert der Mechanismus der automatischen Speicherverwaltung (Garbage Collector, GC) auf der Zählung der Erreichbarkeit von Objekten aus den Wurzeln.

Wenn ein Objekt eine Referenz auf sich selbst enthält (Selbstreferenz), hindert dies den Müllsammler nicht daran, den Speicher freizugeben, wenn keine externen Referenzen auf dieses Objekt bestehen. Der GC analysiert den Objektdiagramm, beginnend bei den Wurzeln, und markiert alle erreichbaren Objekte. Objekte, die nur durch zyklische Referenzen (einschließlich Selbstreferenzen) erreichbar sind, aber nicht von den Wurzeln aus, gelten als unerreichbar und werden gesammelt.

Daher hindert die Selbstreferenz die Sammlung des Objekts nicht, wenn es im Programm nicht verwendet wird.

Beispiel:

class Node {
    public Node SelfReference;
}

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

// Wenn nach diesem Schritt der node nicht mehr verwendet wird und keine anderen Referenzen auf ihn bestehen,
// wird der GC den Speicher freigeben, trotz der Selbstreferenz.