高度注意并警惕 placement new [] 的陷阱

原创 2011年01月24日 14:22:00

前几天在检一个服务器容器的时候,发现一个严重的问题,问题大概如下:

 

假设我们有这样一个类:

 

和假设如下的代码:

 

按照MSDN上面说明,我们可以认为p和pk所处的地址是相同的,仍而,
如果我们把类中的tk成员注掉,执行上面两句结果是p和pk地址相等。
但我们把类中的tk成员打开,再执行,p和pk地址却不相等。
经调试发现,中间差了4字节,里面存放的刚好就是数组的数量,即4。

 

我问了两个群的编程兄弟,他们都很热情,我很感谢,不过问题说得不是很清楚,但我更喜欢查根问底。
虽然我知道怎么解决这个BUG,让程序正常起来,但我还是硬着查清楚原因。

 

在解释原因之前我们先将结构改一下(去掉tk,增加析构函数):

 

好了,这个时候再来以有析构和没有析构函数的方法测试:
当有析构的时候p和pk地址不同,当没有析构的时候p和pk相同。

 

是什么原因造成这一现象的呢?
有没有析构又怎么会造成这一结果的呢?
类析构和std::vector< int > tk有什么联呢?
下面依次解释:

 

虽然FFntTexXX是一个类,但其成员没有一个成员有析构函数,所以编译器认为此类可以退化到结构。
(当类中有任意一个成员需要析构,如std::vector tk成员,编译器为自动为类FFntTexXX生成析构)
或许你又要问了,为什么生成析构与不生成析构和p、pk有什么关系呢?
确实是的,起初我也一直认识这个不存在任何关系的,但编过汇编发现,原因正是因为析构。

 

先看 ::new [] 函数代码(无析构):

 

再看 ::new [] 函数代码(有析构):

 

这里可能你也已经发现了,当有析构的时候new[]会要求多传入一个机器字长数据,当然目的就是为了保存数组的个数,
而没有析构的时候却不需要保存数组的个数。

 

接下来再看 constructor iterator 函数(无析构):

 

然后看 constructor iterator 函数(有析构):

 

初看这好像没有什么特别的,但细看才发现,两个数组构造器函数不一样,无析构的只有4个参数,而有析构的有5个参数。

“vector constructor iterator”和“eh vector constructor iterator”。
这时才恍然大悟,原因编译器做的事情不少。

 

总结:
因为没有析构函数的对象,在delete[]的时候,它可以直接从内存拿掉而不用调析构函数。
所以这里不用记录这个数组有多少个元素,也就不出现偏4个字节。
当有析构函数的时候,编译器为了记住有多少个对象,以便于在delete[]的时候要对其调用析构函数,
所以在数组首地址前面一个机器字长来保存数组长度,数组总尺寸增加一个机器的字长。
因此调用new[]的时候,有析构和无析构的时候,所需要的内存不一样。

 

解决方案:
使用 placement new[] 对给定地址进行数组构造的时候(placement new不存在此问题),
一定记住要多分配一个机器字长,用sizeof(int)即可得到所需字节数。
真正的数组地址应该取 placement new[] 返回的地址,而不是取 placement new(p) [] 中p的地址。

c++ placement new操作符的使用技巧

在c++中new和delete操作是我们操作内存最常用的一对操作符,在使用new时编译器会申请内存,然后调用类的构造函数来初始化对象,调用delete会销毁对象同时释放该对象占用的内存,并且我们可以重...
  • D_Guco
  • D_Guco
  • 2017-01-04 23:18:34
  • 2149

关于C++的placement new和placement delete

昨天发贴提了个问题,今天总结在这。原帖点击进入,有兴趣可以看看,我呆会儿还会说。 C++的new是语言自定义的操作符,这个操作符的行为包含两件事,而且你不能改变。 第一件事:调用operato...
  • High_High
  • High_High
  • 2012-03-27 01:03:49
  • 6883

全面解析C++中的new,operator new与placement new

全面解析C++中的new,operator new与placement new   以下是C++中的new,operator new与placement new进行了详细的说明介绍,需要的朋友...
  • walkerkalr
  • walkerkalr
  • 2014-03-27 12:54:10
  • 708

C++中的定位放置new(placement new)

一般来说,使用new申请空间时,是从系统的“堆”(heap)中分配空间。申请所得的空间的位置时根据当时的内存的实际使用情况决定的。但是,在某些特殊情况下,可能需要在程序员指定的特定内存创建对象,这就是...
  • K346K346
  • K346K346
  • 2015-10-30 17:03:56
  • 2827

C++_布局(placement)new操作符

#include #include using namespace std;struct chaff{char dross[20];int slap;};char buffer1[50];char ...
  • u010003835
  • u010003835
  • 2015-08-10 17:27:43
  • 668

《Effective C++》:条款52:写了placement new也要写placement delete

placement new和placement delete是C++经常用到但是却不常见的两个操作符。但是两者要有对应关系...
  • KangRoger
  • KangRoger
  • 2015-03-26 12:20:41
  • 1404

C++ placement new与内存池

C++ placement new结合内存池完美避开各种内存问题~
  • Kiritow
  • Kiritow
  • 2016-05-04 14:42:42
  • 607

c++placement new

初次接触到placement new,在在看安卓的audio模块代码,
  • u010657219
  • u010657219
  • 2014-10-18 11:01:41
  • 926

placement new机制初探

placement new机制初探1.首先我们看第一个例子:#include using namespace std; typedef char byte; int main(...
  • xiaobo68688
  • xiaobo68688
  • 2010-06-06 10:26:00
  • 5746

new有三种使用方式:plain new、nothrow new、placement new.

1.plain new/delete.普通的new 定义如下:  void *operator new(std::size_t) throw(std::bad_alloc);   void ...
  • starryheavens
  • starryheavens
  • 2011-11-22 23:07:09
  • 2253
收藏助手
不良信息举报
您举报文章:高度注意并警惕 placement new [] 的陷阱
举报原因:
原因补充:

(最多只允许输入30个字)