operator new:要实现不同的内存分配行为,应该重载operator new,而不是new。
placement new:只是operator new重载的一个版本。它并不分配内存,只是返回指向已经分配好的某段内存的一个指针。因此在删除该对象时,需要调用对象的析构函数。
下面重点讲placement new:
placement new 是重载operator new的一个标准、全局的版本,它不能被自定义的版本代替(不像普通的operator new和operator delete能够被替换成用户自定义的版本)。
它的原型如下:
void *operator new( size_t, void *p ) throw() { return p; }
首先我们区分下几个容易混淆的关键词:new、operator new、placement new
new和delete操作符我们应该都用过,它们是对堆中的内存进行申请和释放,而这两个都是不能被重载的。要实现不同的内存分配行为,需要重载operator new,而不是new和delete。
看如下代码:
class MyClass {…};
MyClass * p=new MyClass;
这里的new实际上是执行如下3个过程:
1. 调用operator new分配内存 ;2. 调用构造函数生成类对象;3. 返回相应指针。
operator new就像operator+一样,是可以重载的。如果类中没有重载operator new,那么调用的就是全局的::operator new来完成堆的分配。同理,operator new[]、operator delete、operator delete[]也是可以重载的,一般你重载的其中一个,那么最后把其余的三个都重载一遍。
至于placement new才是本文的重点。其实它也只是operator new的一个重载的版本,只是我们很少用到它。如果你想在已经分配的内存中创建一个对象,使用new时行不通的。也就是说placement new允许你在一个已经分配好的内存中(栈或者堆中)构造一个新的对象。原型中void*p实际上就是指向一个已经分配好的内存缓冲区的的首地址。
我们知道使用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. 对象的构造
MyClass * pClass=new(buf) MyClass;
3. 对象的销毁
一旦这个对象使用完毕,你必须显式的调用类的析构函数进行销毁对象。但此时内存空间不会被释放,以便其他的对象的构造。
pClass->~MyClass();
4. 内存的释放
如果缓冲区在堆中,那么调用delete[] buf;进行内存的释放;如果在栈中,那么在其作用域内有效,跳出作用域,内存自动释放。
注意:
- 在C++标准中,对于placement operator new []有如下的说明: placement operator new[] needs implementation-defined amount of additional storage to save a size of array. 所以我们必须申请比原始对象大小多出sizeof(int)个字节来存放对象的个数,或者说数组的大小。
- 使用方法第二步中的new才是placement new,其实是没有申请内存的,只是调用了构造函数,返回一个指向已经分配好的内存的一个指针,所以对象销毁的时候不需要调用delete释放空间,但必须调用析构函数销毁对象。
转自:http://hi.baidu.com/%C7%C6%C0%B4%C7%C3%C8%A5/blog/item/e56d7244ab8ecf2fcffca3b8.html
笔者觉得这3个new有点意思,有时候我也被搞懵了,这些创造者难不成觉得C++过于简单,所以搞一点含糊的术语出来。这次总结一下,以便再懵的时候有个参考。有错的地方请不吝赐教,多谢先!
简单点吧:
1. new operator,即熟悉的new操作符,用它从堆中分配一个对象,并且初始化。CHeapObject* p=new CHeapObject(name);
既然是操作符,那么它的行为就和其他+-*/操作符一样,是由C++语言定义的,不能改变,即使通过重载的方式也不能改变。C++规定了new操作符的行为:分配一个合适的空间容纳CHeapObject对象,然后调用其构造函数初始化对象。
2. operator new,就是new操作,1种说的“分配一个合适的空间容纳CHeapObject对象”就是通过new操作完成的。全局的new操作是如下声明的:
void * operator new(size_t size);
这是一个函数声明,在C++里我们可以通过重载该函数改变这个函数的行为,即分配空间的方式,相信大家都干过这事。
补充一下,虽然operator new是给new operator调用的,但是也可以被你调用,如:
void* p=operator new(sizeof(CHeapObject));
它只分配空间,等同于C里的malloc()。
虽然我们重载了operator new,但是我们没有改变1中new operator的行为。
3. placement new
唉,我又懵了:-)
这是在已经分配好的空间上(比如malloc, operatornew,返回的void*,没有对象信息),调用CHeapObject的对象构造函数,这也是一个特殊的new操作。上例子吧:
void* buffer=operator new(100*sizeof(CHeapObject));///分配100个对象的空间
CHeapObject* construct(void* buf, string objname)
{
return new(buf) CHeapObject(objname);
}
这个函数返回对象指针,对象是在传递进来的buffer上分配。这个new的用法是new操作符的另一个用法,需要一个额外的变量buf,new操作的隐含调用operator new的时候会把buf传递给它,这是operator new的定义如下:
void * operator new(size_t, void *buffer)
{
return buffer;
}
这就是placement new。
最后来个总结吧:
如果想在堆上创建一个对象,应该用new操作符,它分配内存,同时又为对象调用构造函数。
如果仅仅想分配内存,就用operator new函数,它不会调用构造函数。
如果你想定制自己的在堆对象被建立时的内存分配过程,应该重载写你自己的operator new函数,new操作符会调用你定制的operator new。
如果想在一块已经分配好的内存里建立一个对象,使用placement new。