1.前言
一个小伙伴的私信:面试的时候,面试官问一个对象把它赋值为,就会被GC回收吗?很显然是不会的,为什么会出现这种情况?来看下这个问题。
2.概述
示例代码:
internal class Program{
static void Main(string[] args){
Program pm = new Program();
Console.WriteLine("Hello World");
GC.SuppressFinalize(pm);//这句是废话
pm = ;
GC.Collect(0);//默认的GC垃圾回收器
Console.ReadLine();
}
~Program(){
Console.WriteLine("调用了析构函数");
}
}
被GC回收的条件是这个对象不再存活(也就是没有被标记为1),但是pm对象是根(局部引用对象),所以它是存活的(标记为1)。是不会被垃圾回收的。
但是如果把pm=呢?同样的它也不会被GC回收,为什么呢?
首先看下这段代码,GC.SuppressFinalize不运行pm对象的析构函数,因为这段程序本身就不执行,所以这句代码可有可无。这句代码的后面是pm=,以及垃圾回收。
二.原理
在我们new Program的时候,它会被调用两次。一次是快速或者慢速分配内存及入栈,此步骤完成之后,会调用.Ctor在进行再一次对象(pm)入栈。所以这里我们看到new一个对象实际上进行了两次入栈。如下代码:
Program pm = new Program();
00007FFF587306DC 48 B9 40 ED 7E 58 FF 7F 00 00 mov rcx,7FFF587EED40h
00007FFF587306E6 E8 15 48 A0 5F call 00007FFFB8134F00
00007FFF587306EB 48 89 45 30 mov qword ptr [rbp+30h],rax
00007FFF587306EF 48 8B 4D 30 mov rcx,qword ptr [rbp+30h]
Program.Ctor
00007FFF587306F3 E8 68 9F 0D 00 call ConsoleApp1.Test+Program..ctor() (07FFF5880A660h)
00007FFF587306F8 48 8B 4D 30 mov rcx,qword ptr [rbp+30h]
00007FFF587306FC 48 89 4D 38 mov qword ptr [rbp+38h],rcx
[rbp+30h]和[rbp+38h]存放了pm对象指针。而pm=,只赋值给了后面的栈也就是[rbp+38h],[rbp+30h]还是保持原样的存储了pm对象的指针。
在进行GC垃圾回收的时候,ReportStackSlotToGC函数会循环遍历rbp寄存器的偏移0x30和0x38,然后对它进行标记存活。偏移的0x38固然是,但偏移的0x30则不是。所以,pm对象依然会被GC进行标记存活。
三:总结
面试官如果问这个问题,正确的回答是:面试官你好,我认为不能被回收的。原因在于,pm对象是根对象,它本身是不能够被GC回收的。如果把pm赋值为,也不能被回收。原因在于pm的被赋值给了.Ctor默认构造函数的指针。而不是pm实例指针。即使单独赋值给了pm实例指针也是不行的,需要.Ctor和pm实例指针同时为才可以被GC回收。所以个人认为它不会被GC回收。