为何Visual Studio堆快照中，作用域内对象显示为“已死”？

示例代码 #

Program.cs #

internal class Program
{
    private static void Main(string[] args)
    {
        var testObject = new ZZTest();

        Console.ReadLine();
        Console.WriteLine(testObject.ToString());
    }
}

ZZTest.cs #

public class ZZTest
{
    private string testString = "test";
}

问题现象 #

在Main方法的Console.ReadLine();行设置断点，拍摄堆快照后发现：ZZTest对象被标记为已死对象（需勾选“显示已死对象”才能看到），且无引用。但此时变量testObject仍处于语法作用域内，后续代码还会调用它的ToString()方法，按常理应该还被引用，为何会被标记为已死？

原因分析 #

CLR的垃圾回收判断对象存活的依据是是否存在活跃的根引用，而非代码的语法作用域。JIT编译器会根据代码的实际执行流，优化局部变量的生命周期：

• 对于当前代码，testObject的下一次使用是在Console.ReadLine()执行完成之后的Console.WriteLine(testObject.ToString())调用。
• 当程序暂停在Console.ReadLine()的断点处时，testObject的引用并没有被当前活跃的根（比如正在使用的寄存器、栈上的活跃引用）持有——JIT可能已经将引用暂存到寄存器，或者标记栈上的对应位置为不再需要。
• 此时GC扫描堆时，会认为该对象没有活跃引用，因此标记为已死对象。

需要注意的是，这种情况不会导致后续执行出错：当程序继续运行到Console.WriteLine时，JIT会确保testObject的引用被正确恢复，不会出现空引用异常。这种优化是CLR为提升内存效率而做的，即使变量在语法上还处于作用域内，只要当前执行点到下一次使用之间没有被访问，就可能被暂时视为可回收对象。

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