Разница воскресения в использовании Object Initializer

Question

У меня есть этот код:

По сути, я пытаюсь продемонстрировать использование финализатора c # и создать объект, который не может умереть, я назвал его Зомби.Обычно эта демонстрация работает отлично, но сегодня я попытался использовать тот же код с инициализатором объекта, а не просто присваивать свойству (имя в данном случае).Я заметил, что есть разница.А именно, что финализатор никогда не вызывается, даже когда я изо всех сил стараюсь заставить сборщика мусора выполнять свою работу.

Может кто-нибудь объяснить разницу или я нашел ошибку в компиляторе C #?

(я использую C # 4 в VS2010 SP1 на Win7x64)

Спасибо.

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading;

namespace Zombie
{
  class Program
  {
    static void Main(string[] args)
    {
      Console.WriteLine("Main thread: " + Thread.CurrentThread.ManagedThreadId);

              // case 1: this is where the problem is located.
      Zombie z = new Zombie { Name = "Guy" }; // object initializer syntax makes that the finalizer is not called.

              // case 2: this is not causing a problem. The finalizer gets called.
      //Zombie z = new Zombie();
      //z.Name = "Guy";

      WeakReference weakZombieGuyRef = new WeakReference(z, true);

      z = null;

      GC.GetTotalMemory(forceFullCollection: true);

      GC.Collect();

      while (true)
      {

        Console.ReadKey();
        if (weakZombieGuyRef.IsAlive)
        {
          Console.WriteLine("zombie guy still alive");
        }
        else
        {
          Console.WriteLine("Zombie guy died.. silver bullet anyone?");
        }

        Zombie.Instance = null;

        GC.AddMemoryPressure(12400000);
        GC.GetTotalMemory(forceFullCollection: true);

        GC.Collect();
      }


    }
  }

  public class Zombie
  {
    public string Name { get; set; }
    public  static Zombie Instance = null;

    ~Zombie()
    {
      Console.WriteLine(Thread.CurrentThread.ManagedThreadId);
      Console.WriteLine("Finalizer called on zombie" + this.Name);
      lock (typeof(Zombie))
      {
        Instance = this;

        GC.ReRegisterForFinalize(this);
      }
    }
  }
}

Answer 1

РЕДАКТИРОВАТЬ: Хотя оригинальный ответ ниже все еще точен, похоже, что это смесь отладочной информации и оптимизации, которая имеет значение здесь.

Из моих экспериментов:

Compiler flags                        Result
/o+ /debug-                           Finalizer runs
/o+ /debug+                           Finalizer runs
/o- /debug-                           Finalizer runs
/o- /debug+                           Finalizer does *not* run

---

Финализатор все еще вызывается на моем компьютере при компиляции в командной строке с /o+.Я предполагаю, что вы работаете в отладчике, который меняет поведение GC.Без отладчика GC будет собирать все, что может доказать, что он никогда не будет прочитан. С отладчиком я считаю, что сборщик мусора не будет собирать объекты, на которые еще есть ссылки в стеке, даже если нет кода для чтения рассматриваемых переменных.

Теперь с инициализатором объекта код компилятора включает дополнительную ссылку на стек.Эта строка:

Zombie z = new Zombie { Name = "Guy" };

эффективно:

Zombie tmp = new Zombe();
tmp.Name = "Guy";
Zombie z = tmp;

Присвоение z выполняется только после , все свойства были установлены.

Я предполагаю, что переменная tmp поддерживает объект живым.

Answer 2

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

class Immortal
{
    static List<Immortal> _immortals = new List<Immortal>();

    public Immortal()
    {
       _immortals.Add(this);
    }
}