Resurrection sự khác biệt trong việc sử dụng Object Initializer

Question

tôi có mã này:

Về cơ bản tôi đang cố gắng để chứng minh việc sử dụng C# finalizer và làm cho một đối tượng mà không thể chết, tôi gọi nó là Zombie. Bây giờ, bình thường bản demo này hoạt động rất tốt, nhưng hôm nay tôi đã thử sử dụng cùng một mã với bộ khởi tạo đối tượng thay vì chỉ gán cho thuộc tính (Tên trong trường hợp này). Tôi nhận thấy có sự khác biệt. Cụ thể là các finalizer không bao giờ được gọi là, ngay cả khi tôi đang cố gắng hết sức để làm cho Garbage Collector làm việc đó.

Ai đó có thể giải thích sự khác biệt hay tôi đã tìm thấy lỗi trong trình biên dịch C#?

(Tôi đang sử dụng C# 4 trong VS2010 SP1 trên Win7x64)

Cảm ơn.

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

EDIT: Trong khi câu trả lời ban đầu dưới đây vẫn chính xác, có vẻ như đó là hỗn hợp của thông tin debug và tối ưu hóa tạo nên sự khác biệt ở đây.

Từ thí nghiệm của tôi:

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

---

Các finalizer vẫn kêu gọi các hộp của tôi, khi biên soạn trên dòng lệnh với /o+. Tôi đoán là bạn đang chạy trong trình gỡ rối - thay đổi hành vi GC. Nếu không có trình gỡ rối, GC sẽ thu thập bất cứ thứ gì mà nó có thể chứng minh sẽ không bao giờ được đọc. Với trình gỡ lỗi, tôi tin rằng GC sẽ không thu thập bất kỳ đối tượng nào vẫn có tham chiếu trên ngăn xếp, ngay cả khi không có mã để đọc các biến được đề cập.

Bây giờ với bộ khởi tạo đối tượng, mã trình biên dịch bao gồm tham chiếu bổ sung trên ngăn xếp. Dòng này:

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

là một cách hiệu quả:

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

Việc chuyển nhượng để z chỉ được thực hiện sau khi tất cả các thuộc tính đã được thiết lập.

Tôi đoán là biến số tmp ở đây đang giữ đối tượng còn sống.

Answer 2

Nếu bạn muốn các đối tượng không chết, bạn thực sự không cần phải gây rối với finalizers. Chỉ cần có một danh sách tĩnh tin của tất cả các trường hợp, và thêm đối tượng vào danh sách đó khi chúng được tạo ra:

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

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