[转] 垃圾收集真的有用么？

windoze

starwing83 发表于 2013-09-03 08:34
对于这种东西，增加RAII机制即可（如Java/C#/Python的with语句），依然不需要像C那么“小心翼翼”。

这个吧，还真的不是这么简单，至少对于Java来说

windoze

回复 20# starwing83

你还得把obj的声明放在try block外面：
SomeClass obj=null;
你还得在调用release之类的函数之前检查obj是不是null，要不就会NPE
最恶心的是，每个obj都要包一层，然后代码就会变成这样：

1. 
   
2. Class1 obj1=null;
   
3. try {
   
4. 
   
5.     Class2 obj2=null;
   
6.     try {
   
7.       ...
   
8.     } catch (e) {
   
9.        ...
   
10.     } finally {
    
11.       try { if(obj2!=null){obj2.release()} } catch (e) { }
    
12.     }
    
13. } catch (e) {
    
14.    ...
    
15. } finally {
    
16.   try { if(obj1!=null){obj1.release()} } catch (e) { }
    
17. }
    

复制代码

windoze

回复 20# starwing83

最主要的原因是，无论是RAII还是GC，都*不是*语法糖，没法通过其他机制简单的模拟出来。

windoze

回复 30# starwing83

问题是出在细节上。想象一下一群对象共有一个对象的情况，这时候这个对象属于谁？这时候没有GC，就必须得有引用计数了，否则你就必须完全确定必定有一个对象肯定最后释放——即使它并不再被需要。

“引用/Reference”并不是“拥有/Own”，某个对象被一群对象“引用/Reference”并不代表它被一群对象“拥有/Own”，循环引用也并不代表循环“拥有”。
从这个角度来说，引用计数多少有点混淆了“引用/Reference”和“拥有/Own”这两者之间的区别。
Rust里面的各种指针/引用就试图解决这个问题，不过在我看来它把问题搞得更复杂了。