关于C++的placement new和placement delete

原创 2012年03月27日 01:03:49

昨天发贴提了个问题,今天总结在这。原帖点击进入,有兴趣可以看看,我呆会儿还会说。

C++的new是语言自定义的操作符,这个操作符的行为包含两件事,而且你不能改变。

第一件事:调用operator new分配内存。所以通常说的重载new函数其实重载的是operator new,你无法重载new。

第二件事:调用你要new的对象的所属类的构造函数初始化第一步中分配的内存。这就是为什么你Object *pobj = new Object后,可以直接使用pobj->调用类中函数的原因。

delete操作符也是类似,不过先调用析构函数,然后释放内存,对应有一个operator delete。


帖子中的代码的目的是重载operator new和operator delete,把new和delete的历史通过一个ostream记录下来。好了,上代码了:

#include <iostream>

using namespace std;

class B{
public:
  B(){cout << "ctor B" << endl;}
  ~B(){cout << "dtor B" << endl;}
  void * operator new(size_t size, ostream& out){
    out << "new B" << endl;
    return ::operator new(size);
  }
  void operator delete(void *mem, ostream& out){
    out << "delete B" << endl;
    ::operator delete(mem);
  }
};

int main(){
  B *pb = new (cout)B;
  B *pb2 = ::new B;
  //delete pb;   这句编译不通过,说no suitable ‘operator delete’ for ‘B’
  ::delete pb2;
}

如果注释那段没问题,这段代码(期望)的输出是:

new B
ctor B
ctor B
dtor B
delete B
dtor B

class B就不解释了,直接看main函数:

  B *pb = new (cout)B; 这句new一个B的对象,因为B类中重载了operator new,所以需要传递一个ostream的对象进去,就像这样传递。如果你这样调用:  B *pb = new B;那是会报错的,因为B类中的operator new把默认的隐藏掉了。这句产生输出:new B ctorB。

  B *pb2 = ::new B; 这句也是new一个B的对象,但是new前面多了两个冒号,意思是调用全局的new,调用了上面说的被隐藏调的operator new。这句产生输出:ctor B。

  delete pb; 这句想要delete掉pb指向的对象,但是失败,原因在后面。这句(期望)输出:dtor B delete B。

  ::delete pb2; 这句delete掉pb2指向的对象,调用全局的delete,没有问题,这句输出:dtor B。


关于delete pb为什么失败:

2楼 RabbitLBJ:

先说声楼主最好还是把new,delete声明称static好些

把出错的行改成如下
B::operator delete(pb,cout);
即可调用到placement delete了,但是想法和楼主的有差距,这函数里面直接释放内存,就不会再析构了
貌似这个delete是不能通过delete关键字在外面调用的,这个一般都是给系统在placement new出错时调用
而且只要有使用placement new,析构一般都是要手动进行的

4楼 pengzhixi:

c++为什么没有内置的"placement new"是因为 没办法提供一个通用的。
B *pb = new (cout)B;当我们写出这样的代码的时候,c++不能推出pb指针里面存放的对象类型。(虽然我们知道是什么类型)。所以不会有placement delete.只有在placement new抛出异常的时候,编译器才会调用placement delete.这个时候因为构造不成功所以只需要负责释放内存即可。所以LZ只能是先显示调用析构函数,然后在显示调用placement delete.

另外:不要重载operator new operator delete这些东西。

这两位朋友解释的很清楚了,我就不画蛇添足了,在此感谢这两位朋友的解答。



Reference:

Scott Meyers. Effective C++ 3rd edition. 2005

Scott Meyers. More Effective C++ . 1996

版权声明:本文为博主原创文章,未经博主允许不得转载。

相关文章推荐

关于operator new及placement new,和相关的delete重载

class Fruit { int no; double weight; char key; public: void print() { } virt...

placement delete

一个new的过程大致分两步:- 申请内存- 调用构造函数构造新对象如果第一步成功而第二步失败,一个成熟的系统应该能回撤第一步,释放刚分配的内存空间。如果第一步用的是普通的new函数,C++是能够找到与...

<STL系列> 配置器

只有看大牛的代码,才知道自己是多弱。 配置器(allocators): 负责空间配置与管理.从实现的角度来看,配置器是一个实现了动态空间配置,空间管理,空间释放的class template.

Linux内核协议栈(5) 跟踪bind系统调用

在调用socket成功返回后,我们得到与socket关联的文件描述符。然后我们以该描述符和sockaddr地址结构对象为参数调用bind,就实现了socket对象地址的绑定。那这个绑定到底是个什么意思...

placement new机制初探

placement new机制初探1.首先我们看第一个例子:#include using namespace std; typedef char byte; int main(...

线程池原理

面向对象编程中,对象创建和销毁是很费时间的,因为创建一个对象要获取内存资源或者其它更多资源。在Java中更是如此,虚拟机将试图跟踪每一个对象,以便能够在对象销毁后进行垃圾回收。所以提高服务程序效率的一...

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

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

(经典)tcp粘包分析

这两天看csdn有一些关于socket粘包,socket缓冲区设置的问题,发现自己不是很清楚,所以查资料了解记录一下:  一 .两个简单概念长连接与短连接: 1.长连接     Client方...

new operator、operator new 、placement new三者之间的区别与联系

new operator、operator new 、placement new三者之间的区别与联系 1. new的执行过程: (1)通过operator new申请内存 (2)使用pl...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

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