Làm thế nào để một người thu gom rác tránh được một vòng lặp vô hạn ở đây?

Hãy xem xét chương trình C # sau, tôi đã gửi nó trên codegolf như một câu trả lời để tạo một vòng lặp mà không lặp lại:

class P{
    static int x=0;
    ~P(){
        System.Console.WriteLine(++x);
        new P();
    }
    static void Main(){
        new P();
    }
}

Chương trình này trông giống như một vòng lặp vô hạn trong quá trình kiểm tra của tôi, nhưng nó dường như chạy trong vài nghìn lần lặp, và sau đó chương trình kết thúc thành công mà không có lỗi (Không có lỗi nào được đưa ra). Nó có phải là một vi phạm đặc điểm kỹ thuật mà người hoàn thiện Pcuối cùng không được gọi?

Rõ ràng đây là đoạn mã ngu ngốc, sẽ không bao giờ xuất hiện, nhưng tôi tò mò không biết làm thế nào mà chương trình có thể hoàn thành.

Bài đăng về gôn mã gốc :: /codegolf/33196/loop-without-looping/33218#33218

Theo độ Richter trong phiên bản thứ hai của CLR qua C # (vâng, tôi cần cập nhật):

Trang 478

Đối với (CLR đang ngừng hoạt động) mỗi Finalize phương thức được cung cấp khoảng hai giây để trả về. Nếu một phương thức Finalize không trả về trong vòng hai giây, CLR sẽ giết quá trình - không còn phương thức Finalize nào được gọi nữa. Ngoài ra, nếu mất hơn 40 giây để gọi các phương thức Finalize của tất cả các đối tượng , một lần nữa, CLR sẽ giết quá trình.

Ngoài ra, như Servy đã đề cập, nó có một chuỗi riêng.

Trình hoàn thiện không chạy trong luồng chính. Trình hoàn thiện có luồng riêng chạy mã và nó không phải là luồng nền trước sẽ giữ cho ứng dụng chạy. Luồng chính hoàn thành một cách hiệu quả ngay lập tức, tại thời điểm đó, luồng hoàn thiện chỉ đơn giản chạy nhiều lần nếu có cơ hội trước khi quy trình bị phá bỏ. Không có gì là giữ cho chương trình tồn tại.

Bộ thu gom rác không phải là một hệ thống hoạt động. Nó chạy "đôi khi" và chủ yếu là theo yêu cầu (ví dụ: khi tất cả các trang do HĐH cung cấp đều đã đầy).

Hầu hết các trình thu gom rác chạy theo cách giống như thế hệ thứ nhất theo chiều rộng trong một luồng con. Trong hầu hết các trường hợp, có thể mất hàng giờ trước khi đồ vật được tái chế.

Sự cố duy nhất xảy ra khi bạn muốn chấm dứt chương trình. Tuy nhiên đó không thực sự là một vấn đề. Khi bạn sử dụng killmột hệ điều hành sẽ yêu cầu một cách lịch sự để chấm dứt các quy trình. Tuy nhiên, khi quy trình vẫn hoạt động, người ta có thể sử dụngkill -9 nơi Hệ điều hành loại bỏ tất cả quyền kiểm soát.

Khi tôi chạy mã của bạn trong csharpmôi trường tương tác , tôi có:

csharp>  

1
2

Unhandled Exception:
System.NotSupportedException: Stream does not support writing
  at System.IO.FileStream.Write (System.Byte[] array, Int32 offset, Int32 count) [0x00000] in <filename unknown>:0 
  at System.IO.StreamWriter.FlushBytes () [0x00000] in <filename unknown>:0 
  at System.IO.StreamWriter.FlushCore () [0x00000] in <filename unknown>:0 
  at System.IO.StreamWriter.Write (System.Char[] buffer, Int32 index, Int32 count) [0x00000] in <filename unknown>:0 
  at System.IO.CStreamWriter.Write (System.Char[] buffer, Int32 index, Int32 count) [0x00000] in <filename unknown>:0 
  at System.IO.CStreamWriter.Write (System.Char[] val) [0x00000] in <filename unknown>:0 
  at System.IO.CStreamWriter.Write (System.String val) [0x00000] in <filename unknown>:0 
  at System.IO.TextWriter.Write (Int32 value) [0x00000] in <filename unknown>:0 
  at System.IO.TextWriter.WriteLine (Int32 value) [0x00000] in <filename unknown>:0 
  at System.IO.SynchronizedWriter.WriteLine (Int32 value) [0x00000] in <filename unknown>:0 
  at System.Console.WriteLine (Int32 value) [0x00000] in <filename unknown>:0 
  at P.Finalize () [0x00000] in <filename unknown>:0

Do đó, chương trình của bạn bị treo do stdoutbị chặn bởi sự khắc nghiệt của môi trường.

Khi gỡ bỏ Console.WriteLinevà giết chương trình. Sau năm giây, chương trình sẽ kết thúc (nói cách khác, trình thu gom rác từ bỏ và đơn giản là sẽ giải phóng tất cả bộ nhớ mà không cần tính đến các trình hoàn thiện).