为何GC回收后仅单独方法创建的对象Finalizer会被调用？

我写了个测试程序，定义了同时包含Dispose方法和Finalizer的ManagedClass。调用GC.Collect()强制回收后，发现只有在单独方法内创建的对象Finalizer会被执行，直接在Main方法中创建并把引用设为null的对象，Finalizer始终不运行。

两种场景我理解对象都已失去引用：

• 测试1：对象随方法作用域结束失去引用
• 测试2：对象引用被显式设为null

按微软文档，GC发现对象不可访问时会自动调用Finalizer（除非调用GC.SuppressFinalize），我没调用这个方法，用的是.NET 7.0环境。试过以下操作都没用：

• 给变量重新赋值新引用而非设为null
• 只实现Finalizer不实现Dispose方法
• 用Release配置运行或直接执行exe

问题根源 #

这是JIT编译器的优化逻辑和Main方法的特殊地位导致的：

• 普通方法执行完毕后，局部变量的作用域明确结束，JIT可以确定这些变量不会再被访问，对象会被标记为不可访问，GC回收时会触发Finalizer。
• Main作为程序入口方法，JIT编译器可能会延长局部变量的生命周期——哪怕你把引用设为null，编译器仍可能认为变量后续有潜在访问可能（尤其是Debug模式，Release模式下也可能因Main的特殊逻辑保留变量生命周期），因此不会把对象标记为可回收。

解决办法 #

1. 组合调用GC方法
   第一次GC标记对象，等待Finalizer执行完成后，再做一次GC清理执行完Finalizer的对象：

   // Main方法中置null后执行
   obj = null;
   GC.Collect();
   GC.WaitForPendingFinalizers();
   GC.Collect();
   

2. 封装对象操作到普通方法
   把Main中创建对象、置null的逻辑抽成单独方法，调用该方法后再触发GC，让对象随方法作用域结束自然失去引用：

   static void Main(string[] args)
   {
       CreateAndDiscardObject();
       GC.Collect();
       GC.WaitForPendingFinalizers();
   }
   
   static void CreateAndDiscardObject()
   {
       var obj = new ManagedClass();
       // 业务逻辑
       obj = null;
   }
   

3. 用弱引用验证对象可达性
   通过WeakReference可以确认对象是否真的被GC标记，排除JIT优化导致的误判：

   var obj = new ManagedClass();
   var weakRef = new WeakReference(obj);
   obj = null;
   GC.Collect();
   Console.WriteLine(weakRef.IsAlive); // 返回false则说明对象已被标记为可回收
   

内容的提问来源于stack exchange，提问作者Noby