operator new 和 operator delete 函数是标准库函数。当使用 string * sp = new string("hello") ; 时,实际上发生三个步骤:首先,该表达式调用名为 operator new 的标准函数,分配足够大的内存空间; 接着,调用该类的相应的构造函数,构造对象;最后返回对象的指针。 delete表达式的行为类似。
上面这一段,就很好的解释了 operator new 和 new 表达式的关系。
new (也称new操作符):不能被重载,其行为总是一致的。它先调用operator new分配内存,然后调用构造函数初始化那段内存。
operator new:要实现不同的内存分配行为,应该重载operator new,而不是new。有两个重要重载版本:
void * operator new( size_t ) ;
void * operator new[]( size_t ) ;
operator delete 类似。
placement new:只是operator new重载的一个版本。它并不分配内存,只是返回指向已经分配好的某段内存的一个指针。因此不能删除它,但需要调用对象的析构函数。
我们知道使用new操作符分配内存需要在堆中查找足够大的剩余空间,这个操作速度是很慢的,而且有可能出现无法分配内存的异常(空间不够)。 placement new就可以解决这个问题。我们构造对象都是在一个预先准备好了的内存缓冲区中进行,不需要查找内存,内存分配的时间是常数;而且不会出现在程序运行中途 出现内存不足的异常。所以,placement new非常适合那些对时间要求比较高,长时间运行不希望被打断的应用程序。
使用方法如下:
1. 缓冲区提前分配
可以使用堆的空间,也可以使用栈的空间,所以分配方式有如下两种:
class MyClass {…};
char *buf=new char[N*sizeof(MyClass)+ sizeof(int) ] ; 或者char buf[N*sizeof(MyClass)+ sizeof(int) ];
2. 对象的构造, 在已分配的空间使用placement new 。
MyClass * pClass=new(buf) MyClass;
3. 对象的销毁
一旦这个对象使用完毕,你必须显式的调用类的析构函数进行销毁对象。但此时内存空间不会被释放,以便其他的对象的构造。
pClass->~MyClass();
4. 内存的释放
如果缓冲区在堆中,那么调用delete[] buf;进行内存的释放;如果在栈中,那么在其作用域内有效,跳出作用域,内存自动释放。
贴一段自己在VS2008下的代码:
#include <iostream>
#include <new>
using namespace std ;
class Test
{
public :
static int cnt ;
Test() { cout << "Construct " << ++cnt << endl ; }
~Test() { cout << "Destroy " << cnt-- << endl ; }
} ;
int Test::cnt = 0 ;
int main()
{
char * p ;
Test * q ;
p = new char[ sizeof(Test) * 10 + 1 ] ;
for ( int i = 0 ; i < 10 ; ++ i )
{
new ((void*)(p+i*sizeof(Test))) Test() ;
}
q = (Test*)p ;
cout << " ** " << q->cnt << endl ;
for ( int i = 0 ; i < 10 ; ++ i )
{
q = (Test*)( p+i*sizeof(Test) ) ;
//cout<< q->cnt << endl ;
q->~Test() ;
}
delete [] p ;
return 0 ;
}