C/C++编程：布局new的原理

有一个预先定义好的重载new运算符，称为布局new(placement operator new)。它需要第二个参数，类型为void*。调用方式如下：

Point2w *ptw = new(arena)Point2w;

其中arena指向内存中的一个区块，用来放置新产生的Point2w对象。这个预先定义好的布局new的实现方法非常简单：它只需要将获得的指针(areana)所指的地址传回即可。

void *operator new(size_t, void *p){
	return p;
}

如果它的作用只是传回其第二的参数，那么它有什么价值呢？也就是说，为什么不直接这么写：

Point2w *ptw = (Point2w*)arena; // 这也是实际发生的操作

事实上，这只是所发生的操作的一般而已。另一半无法有程序员产生出来。有这些问题：

• 什么使布局new运算符能够有效运行的另一半扩充（而且是"arena的明确操作"所没有提供的）
• 什么是arena指针的真正类型？该类型按时了什么？

布局new运算符所扩充的另一半是将Point2w构造函数自动实施到arena所指的地址上：

Point2w *ptw = (Point2w*)arena;
if(ptw){
	ptx->Point2w:Point2w();
}

这正是布局new威力如此强大的原因。这一份码决定objects被放置在哪里：编译系统保证object的构造函数会实施于其上。

然而这这样有一个问题：

// 让arena称为全局性定义
void fooBar(){
	Point2w *p2w = new(arena)Point2w;
	p2w = new(arena)Point2w;
}

如果布局new在原来已经存在的一个对象上构造新的对象，而该现有的对象有一个析构函数，这个析构函数并不会被调用。调用该析构函数的方法之一是将那个指针delete掉。不过如果这么写：

// 错误做法
delete p2w ;
p2w = new(arena)Point2w;

上面的delete虽然会调用析构函数，但是也会释放由p2w所指的内存，这并不是我们所希望的，因为下一个指令就要用到p2w了。因此，我们应该明确的调用析构函数并保留存储空间，以便再使用：

//正确写法
p2w->~Point2w;
p2w = new(arena)Point2w;

后来，C++标准引入了一个布局delete矫正了这个错误，他会对object实施析构，但不释放内存，所以也就是不需要直接调用析构函数了。

另一个问题关系到arena所表现的真正指针类型。C++标准提出它必须指向相同类型的类，要不就是一块“新鲜”内存，足够容纳该类型的对象。注意，不支持派生类：对于一个派生类，或者是其他没有关联的类型，其行为虽然合法，但未定义。

• "新鲜"的存储空间可以这样配置而来：

char *arena = new char[sizeof(Point2w)];

• 相同类型的对象可以这样获得：

Point2w *arena = new Point2w;

不管是哪一种情况，新的Point2w的存储空间的确是覆盖了arena的位置，而且该行为已在良好控制之下。然而，一般而言，布局new并不支持多态。被交给new的指针，应该适当的指向一块预先配置好的内存。如果派生类比其基类大，比如：

Point2w *p2w = new(arena)Point3w;

Point3w的构造将会导致严重的破坏。

布局new被引入C++时，最大的问题是下面这个：

struct Base {int j; virtual void f();};
struct Derived : Base {void f();};

void bar(){
	Base b;
	b.f();  // Base::f()被调用
	b.~Base();
	new(&b)Derived;
	b.();  // 哪一个f()被调用
}

由于上面两个类有相同的大小，所以把派生对象放置在未基类而配置的内存中是安全的。然而，要支持这一点，或许必须放弃会与“经由对象静态调用属于虚函数”通常都会有的优化处理。结果，布局new这种使用方法在C++标准中未获得支持。于是上面程序的行为没有被明确定义，我们不能确定是哪一个f()函数实体会被调用