再论C++之垃圾回收（GC）

使用智能指针（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控制。