Почему может не срабатывать финализатор при вызове GC.Collect?

Question

[Amir228]

class Program
    {
        static void Main(string[] args)
        {
            Console.WriteLine("Hello World!");


            Person person = new Person("Vitalya");
            person = null;
            
            GC.Collect(1, GCCollectionMode.Forced);//Почистить от мусора
            Console.Read();

            Console.WriteLine("Program complide.");
        }
    }

    public class Person : IDisposable
    {
        public string Name { get; init; }
        public Person(string name) =>
            Name = name;


        ~Person() => PersonDispose(false);
        public void Dispose() => PersonDispose(true);
        protected virtual void PersonDispose(bool suppressFinalize)
        {
            if (suppressFinalize)
                GC.SuppressFinalize(this);

            Console.WriteLine("delete");
        }
    }

Почему на консоль не выводиться "delete"? Dispose работает(если вызвать), а вот финализатор нет. Person ставлю на null, обьект без ссылок должен удаляться, может даже удаляеться но почему то метод не работает. Я помню что финализатор может и не выполнять свой код если появляеться ошибка, но ведь ее нету.

Answer 1

[Василий Банников]

1. Финализация вполне может быть отложена по усмотрению сборщика мусора
2. JIT вполне может так скомпилировать твой код, что вот этот = null будет опущен => при поиске ссылок, ссылка всё ещё будет на стеке.
Попробуй вынести в новый метод и посмотреть там.

Ну и такой код как у тебя в реальном мире лучше не использовать (это я про принудительный вызов гц, логи в финализаторе, и финализатор который не чистит неуправляемые ресурсы)

PS: читаем внимательно документацию и особенно слова "не гарантирует"

Используйте параметр , mode чтобы указать, должна ли сборка мусора происходить немедленно или только при оптимальном времени для освобождения объектов. Использование этого метода не гарантирует, что вся недоступная память в указанном поколении будет освобождена.

Чтобы настроить навязчивость сборки мусора в критические периоды в приложении, задайте LatencyMode свойство .

Сборщик мусора не собирает объекты с номером поколения, превышающим указанное параметром generation . Используйте свойство , MaxGeneration чтобы определить максимально допустимое generationзначение .

Чтобы сборщик мусора учитывал все объекты независимо от их создания, используйте версию этого метода, которая не принимает параметров.

Чтобы сборщик мусора отнимает объекты до указанного поколения объектов, используйте перегрузку GC.Collect(Int32) метода . При указании максимального поколения собираются все объекты.

Comments

[Amir228]

То есть gc может не удалять мусор даже если вызван Collect?

[Василий Банников]

Amir228, он может удалить его позже или не удалить вообще, да.
Вызов GC.Collect - это просто сигнал сборщику "я хочу чтобы ты как можно скорее собрал мусор", а по факту он может ничего и не собрать - это прописано в спецификации.

[Amir228]

Проверил сделав кучу обьектов через цикл с рандомной генерацией имени, работает. Я еще заметил что "deleted" может вывестись после "Program complete", это значит чистка мусора проводиться в другом потоке?

[Василий Банников]

Amir228, ага. Во время сборки все потоки же на паузу встают.

[Amir228]

Спасибо очень помогли.