WeakReference Behavior Gdy obiekt jest skończony, ale jeszcze nie zebrano śmieci

Question

Oto akademickie pytanie dotyczące finalizacji i gromadzenia obiektów w C#/.NET. Odczyt w tle to sekcja 3.9 specyfikacji języka C#, Automatyczne zarządzanie pamięcią.

Gdy nie ma wyraźnych odniesień do obiektu, może on zostać utracony. Staje się "uprawniony do zniszczenia". W pewnym momencie w przyszłości (np. Jeśli wymuszasz zbieranie śmieci), destruktor obiektu zostanie uruchomiony.

W destruktorze, jeśli zapiszesz odniesienie do obiektu, obiekt zostanie sfinalizowany, ale nie będzie można go odebrać. Może to prowadzić do tego, że obiekt znajduje się w stanie, w którym został sfinalizowany, ale nie został zebrany. Sekcja 3.9 specyfikacji ma tego przykład.

W tym momencie obiekt naprawdę żyje, ponieważ nie został jeszcze zebrany. Jednak WeakReference, odwołując się do obiektu, zgłasza wartość false dla wartości IsAlive, wskazując, że obiekt został zebrany.

Podstawowe pytanie brzmi: czym jest własność raportu IsAlive? Wiemy, że nie możemy ufać wartości true dla tej właściwości, ponieważ wartość może stać się fałszywa wkrótce po jej przeczytaniu. Ale wartość false jest godna zaufania i ma na celu wskazanie (zgodnie z dokumentacją), że obiekt został zebrany śmieci. Więc jaka jest właściwość IsAlive, która mówi nam w tym przypadku? Nie ściśle, czy obiekt został zebrany śmieci, ponieważ uważamy, że obiekt jest w stanie sfinalizowanym, ale nie zebrane.

Oto przykład pokazujący zachowanie.

public class Dog 
    { 
     public static Dog KeepDogRef; 



    public string Name { get; set; } 

    public Dog(string name) 
    { 
     Name = name; 
    } 

    ~Dog() 
    { 
     Console.WriteLine("Dog destructor for " + Name + " called"); 
     Dog.KeepDogRef = this; 
    } 

    public void Bark() 
    { 
     Console.WriteLine(Name + " : Woof"); 
    } 
} 

Kod programu głównego. Jeśli uruchomisz kod, zobaczysz, że oryginalna WeakReference raportuje IsAlive jako fałszywe, nawet po rekonstrukcji obiektu.

static void Main() 
    { 
     Dog dog = new Dog("Bowser"); 

     WeakReference dogRef = new WeakReference(dog); 

     // Unref Bowser, now eligible for destruction 
     dog = null; 
     GC.Collect(); 
     GC.WaitForPendingFinalizers(); 

     // Bowser no longer alive 
     Console.WriteLine(string.Format("Object still alive: {0}", dogRef.IsAlive)); 

     // Bowser alive again 
     Dog newRef = Dog.KeepDogRef; 
     newRef.Bark(); 
    } 
} 

Answer 1

Jeśli przeczytałeś całą dokumentację dla WeakReference, to jasne, że istnieje więcej niż jeden rodzaj słabego odniesienia dostępny. Wartością domyślną jest uzyskanie słabego odniesienia o wartości krótkiej. Ale można również utworzyć słabe odniesienia, które w szczególności uwzględniają scenariusze wskrzeszeń.

Z dokumentacji dla TrackResurrection:

Pobiera wskazanie, czy obiekt odwołuje bieżącego obiektu WeakReference jest śledzona po jego finalizacji.

Jeśli wartość jest prawdą, słabe odniesienie jest długim słabym odwołaniem, a wartość true została określona dla parametru trackResurrection w konstruktorze WeakReference.

Powiedziałbym, że musisz zrozumieć tę część słabych referencji przed interpretacją właściwości IsAlive.