❥关于C++之定位new运算符•显示调用析构函数

Posted 2022-03-14 itzyjr

程序员必须负责管用定位new运算符用从中使用的缓冲区内存单元。要使用不同的内存单元，程序员需要提供两个位于缓冲区的不同地址，并确保这两个内存单元不重叠。例如，可以这样做：

char* buffer = new char[512];
JustTesting* pc1 = new (buffer) JustTesting;// place object in buffer
JustTesting* pc2 = new (buffer + sizeof (JustTesting)) JustTesting("Better Idea", 6);

其中指针pc2相对于pc1的偏移量为JustTesting对象的大小。

如果使用定位new运算符来为对象分配内存，必须确保其析构函数被调用。

但如何确保析构函数被调用呢？

JustTesting* pc0 = new JustTesting("Heap1", 20);
delete pc0;// OK
delete pc2;// NO!
delete pc1;// NO!

以上代码原因在于：delete可与常规new运算符配合使用，但不能与定位new运算符配合使用。

指针pc1指向的地址与buffer相同，但buffer是使用new []初始化的，因此必须使用delete []而不是delete来释放。即使buffer是使用new而不是new []初始化的，delete pc1也将释放buffer，而不是pc1。这是因为new/delete系统知道已分配的512字节块buffer，但对定位new运算符对该内存块做了何种处理一无所知。

该程序确实释放了buffer：delete [] buffer;

delete [] buffer;释放使用常规new运算符分配的整个内存块，但它没有为定位new运算符在该内存块中创建的对象调用析构函数。

这种问题的解决方案是：显式地为使用定位new运算符创建的对象调用析构函数。

pc2->~JustTesting(); // 销毁pc2指向的对象
pc1->~JustTesting(); // 销毁pc1指向的对象

需要注意的一点是正确的删除顺序。对于使用定位new运算符创建的对象，应以与创建顺序相反的顺序进行删除。

原因在于，晚创建的对象可能依赖于早创建的对象。另外，仅当所有对象都被销毁后，才能释放用于存储这些对象的缓冲区。