string *title = new String( "Kicks" );
一句再熟悉不过的语句,但是,这句话却包含了两个阶段,第一个阶段,分配存储,第二个阶段是初始化String对象.
首先,我们假设没有对operator new进行重载,而是调用全局的operator new,先来看看它的可能的形式(我根据自己对operator new重载的使用写的函数):
void* operator new( size_t stAllocateBlock)
{
void *pTemp = malloc( stAllocateBlock );
return pTemp ;
}
这里,stAllocateBlock就是sizeof(Sring),也就是说,如果要实例化一个String对象,new函数就必须先读取这个对象的大小,从而可以分配内存,并返回这个内存的头指针.同时,由于title是一个string类型的指针,那么,这个存储区就被初始化为一个String.
我显然对底层的一些具体实现还有些不清楚,但我觉得大致过程我还是没有掌握错误的,就是首先获取一个相应大小的地址,然后进行初始化.
针对于此,如果我们想对对象的存储进行管理跟踪,我们可以建立一个对象池,原理是一旦实例化该对象,也就是对该对象调用new,就通过对象池来分配一个存储,而释放对象,就把该对象的释放后的存储通过对象池保留起来,那么下次再实例化该对象,就可以从对象池中取出空闲的存储.好处是显而易见的,如果增删物体频繁,这里消除了对于new与delete调用所带来的开销.
可能我讲的不太明白,还是用代码来描述吧:
#include <iostream>
using namespace std;
template<class T>
class object_pool
{
public:
list<void *> data_list;
public:
void* malloc_data()
{
if(!data_list.empty())
{
list<void *>::iterator it = data_list.begin();
void *p = *it;
data_list.pop_front();
return p;
}
else
{
void* p = malloc(sizeof(T));
return p;
}
}
void free_data(void* p)
{
//已使用的内存可以重复利用
data_list.push_back(p);
}
};
class A
{
public:
int value;
A(int a):value(a){cout<<"A("<<a<<") called"<<endl;}
~A() {cout<<"~A("<<value<<") called"<<endl;}
static object_pool<A> pool_;
void* operator new (size_t size)
{
return pool_.malloc_data();
}
void operator delete(void* p)
{
//在析构对象后,自己来管理内存
pool_.free_data(p);
}
};
object_pool<A> A::pool_;
void main()
{
A* a1=new A(1);
delete a1;
A* a2=new A(2);
delete a2;
}