作者QQ29 (我爱阿蓉)
看板C_Sharp
标题[问题] GC回收的时机
时间Wed Nov 24 18:40:36 2010
上一篇的问题 让我想了一些情况 但是我有很多地方想请教各位 厘清问题
class A
{
A(B c){
B = c;
}
B obj;
}
void Foo(B c)
{
A temp1 = new A(c);
}
static void main()
{
Foo(new B()); //1
A temp2 = new A();
//B temp3 = temp2.B; //3
temp2 = null; //2
}
以上想问两个case....
//1 的问题是
当function return 我观念上是 temp1因为是local变数 该被回收
当作GC时 应该会去回收A所new的空间
但是....里面有个B, B有指到一个空间
这时GC会怎麽处理??
(1) 不管, 我回收temp1了 所以B跟着被回收造成 没有人指向 c结果GC连c也回收
(2) GC因为发现B有指到c, 所以会不急着回收A 要等到有人写temp1.B = null;
才会一连串开始回收A
但如果programmer都没有写A.B=null; 就会造成leak? C一直都存在....
但想一想 如果没人指到temp1 根本没机会去把B设成null
所以(1)会成立吗???
//2 的问题其实和1一样 就是我先把temp2直接设成null
连动的会把B记忆体位置给回收
接着变成C没人指到也跟着回收C吗?
//3 如果我外部偷偷有用指标指到temp2.B的话 (注解拿掉)
是不是就能避免GC去回收temp2呢?
找了一些资料 还是不够解决目前想到的问题
因为之前写的一些C# code完全没顾虑这些
想说GC无敌
很怕会有浅在因素 我会造成程式crash...
谢谢
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 219.87.64.222
※ 编辑: QQ29 来自: 219.87.64.222 (11/24 18:45)
※ 编辑: QQ29 来自: 219.87.64.222 (11/24 18:47)
※ 编辑: QQ29 来自: 219.87.64.222 (11/24 18:48)
1F：→ deuter:你想太多了, 没有这麽复杂, 第一行其实是 11/25 12:55
2F：→ deuter:B b1 = new B(); Foo(b1); 11/25 12:55
3F：→ deuter:所以即使你的temp1被GC了, B的空间还是有b1指着 11/25 12:55
4F：→ deuter:如果b1 out of scope, 下次GC就会回收B 11/25 12:57
5F：→ QQ29:d大我第一行写错 我故意不用东西指着直接传进去new B() 11/25 17:13
6F：→ QQ29:我改一下 @@我觉得这样会被回收耶 11/25 17:13
※ 编辑: QQ29 来自: 122.147.15.66 (11/25 17:13)
7F：→ deuter:GC演算法是看物件会不会被用到, 跟有没有设成null无关 11/26 00:55
8F：→ deuter:你的例子 Foo(new B()) 和 A temp1 = new A(c); 11/26 00:55
9F：→ deuter:B和A物件都拿不到也用不到了, 所以下次GC都会回收 11/26 00:56