POCOC++库学习和分析--内存管理(一).docx

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。 引用计数(Referenee Counting) Poco 中对于引用计数，是如此描述的。 “ Reference counting is a technique of storing the number of refere nces, poin ters, or han dies to a resource such as an object or block of memory. It is typically used as a means of deallocati ng objects which are no Ion ger refereneed. --Wi kipedia。 翻译过来即引用计数是一项用来存储指向某个对象或者内存块的引用、指针或句柄的数量的计数。这项技术 通常被用于对象不再存在任何引用关系时的释放 --wikipedia。 对于引用计数有如下特点： 当一个对于对象的引用被销毁或者覆盖时，这个对象的引用计数的数量减少。 当一个对于对象引用被创建或者拷贝时，这个对象的引用计数数量增加。 初始化对象的引用，其引用对象的引用计数为 1. 当对对象的引用计数为 0时，对象被删除。 在多线程场景下，对引用计数的增加、减少和比较操作必须为原子操作 对象所有权(Object Ownership) 对象所有权有如下特点: 拥有动态对象所有权的某个所有者，当动态对象不在被需要时，必须负责删除动态对象 如果动态对象的所有者删除动态对象失败，将导致程序内存泄露。 指向动态对象的其他物体，不能删除该动态对象。 动态对象的所有权是可传递的，但在任何给定时刻，动态对象只有一个所有者 1.3引用计数和对象所有权的关系 二者关系如下： 一个指针获取到引用计数对象的所有权时，不会增加引用计数的数目。分两种情况来讨论： 引用计数对象原先不存在所有者(换句话说，引用计数对象刚刚被创建) 引用计数对象原先存在所有者，由于原先的所有者放弃了对对象的所有权，所以新所有者获取 对象所有权的动作并不会增加引用计数数目。 通常，第一个在对象创建后被对象赋值的指针拥有拥有权，其他的则没有 2 AutoPtr 2.1 Poco 中 AutoPtr 的例子 首先来看AutoPtr使用的一个例子： [cpp] view pla in copy span style= font-weight: normal; #include Poco/AutoPtr.h #include P