new, operator new 和 placement new
char * buff = new char [sizeof (Foo) ];
??? 一旦分配了缓冲,就能在缓冲中构造每一种类型的对象。为此,使用特殊版本的new操作符(“定位new”),以缓冲地址为placement new的参数。为了使用placement new,必须包含标准头文件<new>。下面的代码片断中,使用placement new操作在内存地址buff上构造类型为Foo的对象。
#include <new>Foo * pfoo = new (buff) Foo; //使用new操作在buff上构造一个 Foo??
??? Placement new 以先前分配的缓冲(buff)地址作为参数,并在这个缓冲上构造给定类型的对象。他返回构造对象的指针,这个对象指针的使用与通常的指针使用没什么两样。
??????? unsigned int length = pfoo->size();
??????? pfoo->resize(100, 200);
??????? length = pfoo->size();??
??? 当不再需要这个对象的时候,必须显式调用其析构函数释放空间。做这件事是有一些技巧的,因为许多人错误地假设对象会被自动销毁,错也!。在预分配的缓冲里构造另一个对象之前或者在释放缓冲之前,如果忘了显式调用析构函数,程序将产生不可预料的后果。显式的析构器声明如下:
pfoo->~Foo(); //显式调用析构函数
??? 换句话说,一个显式的析构器与普通的成员函数调用一样,只是名字与普通的成员函数稍有差别。一旦对象被销毁,便可以在预分配的内存中再次构造另一个对象。实际上,这个过程可以无限制地重复:构造一个对象,销毁它,然后又反复利用预分配的缓冲构造新对象。
??? 当不再需要预定义的缓冲时,或者说当应用程序关闭时,必须释放预定义的缓冲。使用delete[]完成这个任务,因为预定义的缓冲是一个字符数组。下列代码包含一个完整的例子的所有步骤,包括最终缓冲的释放:
#include <new>void placement_demo(){ //1. 预分配缓冲 char * buff = new char [sizeof (Foo) ]; //2. 使用 placement new Foo * pfoo = new (buff) Foo; //使用对象 unsigned int length = pfoo->size(); pfoo->resize(100, 200); //3. 显式调用析构函数 pfoo->~Foo(); //4. 释放预定义的缓冲 delete [] buff; }?
?
例二:
frome 郭晓刚
class CTest
{
???? /* 成员函数和成员数据 */
};
?
// . . . 代码
?
// 分配一个对象
CTest * pTest = new Test;
// 分配一个有十个对象的数组 (CTest 要有缺省构造函数(default constuctor))
CTest * p10Tests = new Test[ 10];
?
虽然这种写法在大多数时候都工作得很好,但还是有些情况下使用new是很烦人的,比如当你想重新分配一个数组或者当你想在预分配的内存上构造一个对象的时候。
?
比如第一种情况,重新分配一个数组效率是很低的:
?
// 分配一个有10个对象的数组
CTest * pTests = new Test[ 10];
// . . .
// 假设现在我们需要11个对象
CTest * pNewTests = new Test[ 11];
// . . . 我们必须把原来的对象拷贝到新分配的内存中
for ( int i = 0; i < 10; i++)
??? pNewTests[ i] = pTests[ i];
delete pTests;
pTests = pNewTests;
?
如果你想在预分配的内存上创建对象,用缺省的new操作符是行不通的。要解决这个问题,你可以用placement new构造。它允许你构造一个新对象到预分配的内存上:
?
// buffer 是一个void指针 (void *)
// 用方括号[] 括起来的部分是可选的
[CYourClass * pValue = ] new( buffer) CYourClass[( parameters)];
?
下面是一些例子:
?
#include <new>
?
class CTest
{
public:
??? CTest()
??? {}
??? CTest( int)
??? {}
??? /* 代码*/
};
?
int main(int argc, char* argv[])
{
??? // 由于这个例子的目的,我们不考虑内存对齐问题
??? char strBuff[ sizeof( CTest) * 10 + 100];
??? CTest * pBuffer = ( CTest *)strBuff;
?
??? // 缺省构造
??? CTest * pFirst = new(pBuffer) CTest;
?
??? // 缺省构造
??? CTest * pSecond = new(pBuffer + 1) CTest;
???
??? // 带参数的构造;
??? // 不理会返回的指针
??? new(pBuffer + 2) CTest( 5);
?
??? // 带参数的构造
??? CTest * pFourth = new( pBuffer + 3) CTest( 10);
?
??? // 缺省构造
??? CTest * pFifth = new(pBuffer + 4) CTest();
?
??? // 构造多个元素(缺省构造)
??? CTest * pMultipleElements = new(pBuffer + 5) CTest[ 5];
??? return 0;
}
?
当你有自己的内存缓冲区或者在你实现自己的内存分配策略的时候,placement new会很有用。事实上在STL中广泛使用了placement new来给容器分配内存;每个容器类都有一个模版参数说明了构造/析构对象时所用的分配器(allocator)。
?
在使用placement new的时候,你要记住以下几点:
?
加上头文件#include <new>
你可以用placement new构造一个数组中的元素。
要析构一个用placement new分配的对象,你应该手工调用析构函数(并不存在一个“placement delete”)。它的语法如下:
pFirst->~CTest();
pSecond->~CTest();
//? . . . 等等
?
?
参考文档:
三者关系: http://www.cnblogs.com/wanghetao/archive/2011/11/21/2257403.html
placement new 详解: http://blog.csdn.net/michaelgs/article/details/862971