C#对象何时被标记回收？测试代码行为不一致原因咨询

我正在测试C#的GC（垃圾回收）行为，以明确对象被回收的具体时机。编写了如下代码，预期输出True、False，但出现了不一致的行为：在本地机器和Programiz在线编译器上输出True、True，在dotnetfiddle上输出True、False。

WeakReference weakRef;
{
    var obj = new object();
    weakRef = new WeakReference(obj);
    Assert.That(weakRef.IsAlive, Is.True);
    obj = null;
}
GC.Collect();
GC.WaitForPendingFinalizers();
Assert.That(weakRef.IsAlive, Is.False);

行为差异的原因 #

• 核心是JIT编译器的优化策略不同：即使将obj置为null并让它超出作用域，JIT可能会延长局部变量的生命周期。比如Debug模式下，编译器为了调试便利，会保留变量到方法执行结束；而Release模式或部分在线编译器的优化级别更高，会提前判定变量不再被使用，允许GC回收对应的对象。
• 不同.NET运行时版本（如.NET Framework vs .NET Core/.NET 5+）或编译配置的差异，也会影响GC对对象可达性的判断。部分环境中，JIT可能认为weakRef关联的对象仍存在潜在引用（逻辑上已无），因此不会回收它。

强引用何时释放（输出True、True的情况） #

• 这种场景下，强引用的生命周期可能被延长至整个方法执行完毕，或者直到GC判定内存需要回收时才会释放。Debug模式下，编译器会保留局部变量的调试信息，即便变量超出作用域，其内存也不会立刻被标记为可回收。
• 若想确保对象被回收，可尝试：
  • 在Release模式下运行代码，此时优化级别更高，局部变量生命周期会更贴合逻辑预期；
  • 使用GC.Collect(2, GCCollectionMode.Forced, true, true)强制GC进行深度回收（不建议在生产代码中使用）；
  • 若对象实现IDisposable，可通过using语句显式释放资源，但这仅针对非托管资源，和GC回收托管对象的时机无关。

关于基础行为一致性的说明 #

.NET规范并未强制要求局部变量的生命周期必须在作用域结束时立刻终止，而是将这部分控制权交给JIT编译器以实现性能优化。因此不同环境下出现行为差异是符合规范的，并非基础行为不一致。

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