POCO C++库学习和分析 -- 内存管理 (一)

POCO C++库学习和分析 -- 内存管理 (一)

        对于内存的管理，Poco C++库中主要包含了引用计数，智能指针，内存池等几个部分。下面将分别对这几个部分进行介绍。首先回顾一下，对于内存的管理，出现过的几种技术。C时代的内存池，主要解决内存碎片，和内存的频繁获取和释放的开销问题。到了C++时代，内存池仍然存在，但是出现了面对对象分配的内存池，解决问题还是一样。C++中智能指针，如STL中的auto_ptr，boost库中share_ptr等。通过把堆上对象的委托给智能指针（智能指针本身可以看成是一个栈对象），并在智能指针内部实现引用计数，当引用计数为0时，删除堆对象，从而达到让编译器自动删除堆对象的目的，实现了堆对象的自动管理。Java和C#的垃圾收集，在语言层次分装，所有的对象都在堆上分配，然后交由语言本身管理，程序员无需关心对象内存的释放。

1. 引用计数和智能指针概述：

        对于C和C++来说，堆上内存的管理是交由程序员完成的，程序员如果在堆上分配了一块内存，就必须负责释放掉。如果不小心，就会造成内存泄露。因此所有C/C++程序员设计程序时，对指针和内存的管理都会如履薄冰，非常的小心。而Java和C#则不同，虽然所有对象都被放在堆上，但由于语言本身存在垃圾收集机制，程序员不再需要关心对象的释放。这或多或少的能够使程序员更多的把精力放在其业务编程上。

        讲到这里，就顺便扯开去，讲一些题外话。对于某些编程技术讨论时的一些看法。如同制造业一样，制造业存在很多种类，对制造业的划分方法当然也很多。在制造业中存在一个特殊的种类，装备制造业。也就是制造机器的制造业。对于程序员来说也是一样，绝大多数程序员都是面对业务进行编程的，而极少数程序员则是为了制造编程工具或者提供更方便的编程方法而编制程序。这个区别往往导致，不同程序员看问题的角度不同，结果当然也不同。我想很多时候，问题的答案都是不唯一的。接下去继续讨论Poco吧。

        通过引用计数和智能指针机制，C++也可以完成了某种意义上的垃圾收集的工作。程序员通过使用智能指针，同样不需要再关注堆对象的释放，当然胶水代码还是需要的。在Poco库中存在两种智能指针，AutoPtr和SharedPtr。

1.1 引用计数(Reference Counting)

        Poco中对于引用计数，是如此描述的。“Reference counting is a technique of storing the number of references, pointers, or handles to a resource such as an

object or block of memory. It is typically used as a means of deallocating objects which are no longer referenced. --Wikipedia”。

翻译过来即"引用计数是一项用来存储指向某个对象或者内存块的引用、指针或句柄的数量的计数。这项技术通常被用于对象不再存在任何引用关系时的释放 -- wikipedia"。

        对于引用计数有如下特点：

        1. 当一个对于对象的引用被销毁或者覆盖时，这个对象的引用计数的数量减少。

        2. 当一个对于对象引用被创建或者拷贝时，这个对象的引用计数数量增加。

        3. 初始化对象的引用，其引用对象的引用计数为1.

        4. 当对对象的引用计数为0时，对象被删除。

        5. 在多线程场景下，对引用计数的增加、减少和比较操作必须为原子操作.

1.2 对象所有权(Object Ownership)

 对象所有权 有如下特点：

        1. 拥有动态对象所有权的某个所有者，当动态对象不在被需要时，必须负责删除