Java语言灵巧指针与垃圾回收
时间:2011-01-16
在JAVA 和 C# 中都有垃圾回收功能,程序员在分配一段内存后可以不再理会,而由垃圾回收自动回收,从而使程序员从复杂的内存管理中解脱出来。这是JAVA 和 C#的一大优点。而C++程序员在用 new 分配了一段内存后,还必须用 delete 释放,否则将造成资源泄漏。因此,一些C++ 书上经常告诫程序员:要养成好的习惯,new 与 delete 要成对出现,时刻记住将内存释放回系统。但是,事情只是这么简单吗?
经常地,在使用C++的过程中,我们会遇到下面的情形:
class A
{
public:
A();
~A();
SetNextPtr(A* Ptr)
{pNext=Ptr;}
private:
A * pNext;
}
一般地,为了不引起内存泄漏,我们会在析构函数中释放pNext,象下面这样:
A::~A()
{
if(pNext)
delete pNext;
pNext=NULL;
}
对于一般情况,这样就够了,但在某些情形下,这样也会出问题的,象下面这样:
A *ptrB = new A;;
A *ptrA = new A;
ptrB->SetNextPtr(ptrA);
ptrA->SetNextPtr(ptrB);
delete ptrB;
这样会出问题,因为这些指针连成了一个回环,无论从那一个点开始删除,都会造成一个指针被删除两次以上,这将使得程序抛出异常。当然,也有一些方法可以用来解决这个问题,但是我要说明的是:对于C++程序员来说,养成一个好的习惯并不难,难就难在有时候这样将把你带入一种逻辑的混乱当中 ,增加一些不必要的麻烦,有时甚至不知所措。
可是如何解决这个问题呢?如果C++也具有垃圾回收的功能,那么,这个问题当然就迎刃而解了。但是C++属于编译型语言,不会具备这个功能。长期以来,我也一直在思考这个问题,想找出一种方法来使自己从这种麻烦中解脱出来。直到最近开始学习泛型编程,看到灵巧指针的介绍以后,我灵光一闪,终于找到了办法来解决这个问题。
Java语言灵巧指针与垃圾回收(2)
时间:2011-01-16
大家知道,灵巧指针具有一些灵巧特性,如在构造时可以自动初始化,析构时可以自动释放所指的指针。我们就利用它的这些特性来实现我们的垃圾回收。
首先,我们要想办法来对我们用 new 分配的每一段内存增加引用记数,即记录下当前指向它的灵巧指针个数,当最后一个指向它的指针被释放时,我们就可以释放这段内存了。由此,我们进行了new 和 delete 的全局重载,并引入了CPtrManager 类。
void operator delete(void * p)
{
int mark=thePtrManager.GetMarkFromPtr(p);
if(mark>0)
thePtrManager.UserDelete(mark);
free(p);
}
void * operator new(size_t size)
{
return thePtrManager.MallocPtr(size);
}
class CPtrManager
{
public:
int GetCount(int mark,void * p); file://得到当前的引用记数
static CPtrManager* GetPtrManager(); file://得到全局唯一的CPtrManager 指针
void UserDelete(int mark); file://删除 mark 标志的指针,并对指针和标志复位
void * MallocPtr(size_t size); file://new()调用它分配内存;
BOOL AddCount(int mark,void * Ptr); file://增加引用记数
BOOL Release(int mark,void * Ptr); file://减少引用记数
int GetMarkFromPtr(void * Ptr); file://通过指针得到标志
CPtrManager();
virtual ~CPtrManager();
private:
static CPtrManager * p_this; file://指向全局唯一的CPtrManager 指针
void AddPtr(void * Ptr); file://增加一个新分配的内存
CPtrArray m_ptr; file://存放分配的指针的可变数组
CUIntArray m_count; file://存放指针的引用记数
void* pCurrent; file://最近刚分配的指针
unsigned int m_mark; file://最近刚分配的指针的标志
CUIntArray m_removed;//存放m_ptr中指针被删除后所空留的位置