首页 > 代码库 > 再论C++之垃圾回收(GC)

再论C++之垃圾回收(GC)

本文已经迁移到: http://cpp.winxgui.com/cn:garbage-collection-in-cplusplus

使用智能指针(smart pointers)

  • http://www.codeproject.com/cpp/garbage_collect.asp
  • 原理:基于引用计数(reference count)。

    这样的垃圾回收(gc)算法无非都是给每一块分配的内存提供引用计数,然后通过智能指针(smart pointer)自己主动完毕引用计数的加减,假设引用技术降低到零,就代表没有人使用该内存了,这块内存就能够回收了。

    假设能够正确的遵从这样的gc的使用规则,也就是说你能够正确无误的使用智能指针,那么理论上来说,就不可能存在内存泄漏。
     
    可是现实并不象想象的那么单纯,那么美好。一方面,智能指针的概念仍然没有被C++社区广泛的理解应用,并且智能指针种类繁多,各有各的规则,在代码量多了的时候,有时存在这样那样的失误难免;还有一方面(应该是更加令人为难的一点),并非全部人都那么喜欢用智能指针,并且原生指针的使用非常多情形下避无可避,我们不得不在原生指针与智能指针之间进行转换。
     
    所以这种gc的终于结果是,掌握引用计数的规则终于似乎比掌握new/delete的规则easy不了多少,有时甚至让新接触该技术的程序猿感到畏惧。另外,引用计数的引入,出乎意料的产生了一个负作用:调试内存泄漏变得比原先困难多了。
     
    所以引用计数和智能指针实现的gc不能从根本上解决内存泄漏问题。

真正的垃圾回收(garbage collector)

  • 请注意,C++并不是不支持GC。我们知道BN一直强调的是,GC是C++的可选组件,没必要的。
  • 这里是C++的GC相关代码以及文档:
    • C++/CLI(Microsoft的托管C++)
    • http://www.hpl.hp.com/personal/Hans_Boehm/gc/ (不少人用这个GC来进行开发)
    • http://www.devarticles.com/c/a/Cplusplus/A-Simple-Garbage-Collector-for-C-plus-plus/
    • http://cybertiggyr.com/gene/garbage-collection-cpp/
       
  • 评价:假设你的系统非常单纯,採用这个是不错的主意。由于这意味着你的C++语言已经和Java、C#没有不论什么差别。可是请注意,这要求你的系统是纯粹的,也就是说:
     
    • 你没有是使用第三方代码。或者,你的第三方代码中,内存也是托管的(通过GC创建出来的)。
       
    • 小心与那些你无法取得源码的DLL(比如,Win32 API/你购买的第三方组件)打交道。与C#一样,你须要小心,不要让你的程序出现Win32 API还在訪问数据,而被GC回收的情形。只是这样的情况在C++中比C#要好得多:毕竟在C++中,你对GC的控制能力远远强于C#。
       
    • 特别地、假设你使用了COM,那么你将非常痛苦:由于COM基于引用计数来管理对象生命周期,这意味着GC基本上对其无能为力。除非你像C#一样,为每一个COM组件提供一个Wrapper。

补充:

  • 因为GC依赖语言的自省(reflection)能力,而C++这方面的能力无疑相当得弱,因此C++中的GC是尴尬的。
  • 请注意,GC是排他的,这意味着两个GC不能在一起工作。因此,除非C++标准规定了必须使用那个GC,不然托管的C++代码,存在着交流困难。
     

支持垃圾回收的allocator(gc allocator)

  • 代码与文档:
    • C++内存管理变革
    • AutoFreeAlloc(最袖珍的垃圾回收器
    • boost::object_pool (注意,boost::pool不属于gc allocator,而仅仅能说属于allocator)
    • 待续...
  • 评价:半自己主动的垃圾回收,比GC简单、高效、easy控制。