来自stl_construct.h文件
template <class T1, class T2>
inline void construct(T1* p, const T2& value) {
new (p) T1(value); //这一行的语法该怎么理解?
}
而下面的析构函数是
template <class T>
inline void destroy(T* pointer){
pointer-> ~T(); //这一行我还能理解.
}
回答:
new placement
你可以简单的理解为C中的realloc,就是在已有空间的基础上,重新分配一个空间,可以不破坏原来数据,也可以把数据全部用新值覆盖一下是我搜集的一些笔记
如果你想在预分配的内存上创建对象,用缺省的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();
//. . . 等等
2.
T1 *pT1 = new(p) T1(value); //在p所指的内存空间中 构造一个新T1类的实例。即placement new.
在这种用法中,析构对象通过显式调用其析构函数: PT1-> ~T1( ); 往往不用delete pT1.内存的释放由对p来操作完成。
3.
《More Effective C++》 Item M8:理解各种不同含义的new和delete 中讲的很透彻。定位new或者布局new