最近阅读STL源码,发现空间配置器中用到了偏底层的operator new和placement new运算符,当时还不太明白,查询了不少资料,总结如下:
1、概述
new:偏顶层,用于分配内存,同时在分配的内存调用构造函数进行初始化。
operator new:偏底层,是c++最基本的内存配置操作,只分配内存,不初始化
placement new :偏底层,不分配内存,只对分配好的内存调用构造函数进行初始化。
从功能的角度讲,顶层new相当于是封装好的最外层关键字,对底层operator new以及placement new进行了封装,因此包含了这两者具有的功能。
new 一个对象时,底层会发生什么?
Foo * p = new Foo(); // Foo 应该具有默认构造函数
上述new 操作实际上相当于执行了如下三步操作:
(1)调用operator new分配内存,大小为Foo对象大小
(2)通过placement new调用Foo构造函数,初始化对象
(3)返回指向该对象的指针
2、不同new运算符的区别与具体用法
new operator/delete operator就是new和delete操作符,而operator new/operator delete是函数。
2.1 new operator
(1)调用operator new分配足够的空间,并调用相关对象的构造函数
(2)不可以被重载
2.2 operator new
(1)只分配所要求的空间,不调用相关对象的构造函数。当无法满足所要求分配的空间时,则
->如果有new_handler,则调用new_handler,否则
->如果没要求不抛出异常(以nothrow参数表达),则执行bad_alloc异常,否则
->返回0
(2)可以被重载,并且一般只在类中重载
(3)重载时,返回类型必须声明为void*
(4)重载时,第一个参数类型必须为表达要求分配空间的大小(字节),类型为size_t
(5)重载时,可以带其它参数
delete 与 delete operator类似。
2.3 placement new
placement new (定位放置new),在指定的位置(即内存已经分配好)调用构造函数进行初始化。
placement new是重载operator new的一个标准、全局的版本,它不能被自定义的版本代替(不像普通的operator new和operator delete能够被替换成用户自定义的版本)。
它的原型如下:
void *operator new( size_t, void *p ) throw() { return p; }
如果你在类中重载了operator new和operator delete之后,我们使用new函数在编译器解析的时候就会像下图这样调用我们自己定义的operator new和operator delete(如果你在已经重载了的情况下还想使用全局的operator new,请使用::operator new)。
placement new的执行忽略了size_t参数,只返还第二个参数。其结果是允许用户把一个对象放到一个特定的地方,达到调用构造函数的效果。和其他普通的new不同的是,它在括号里多了另外一个参数。比如:
Foo * p = new (ptr) Foo(); // ptr指向已经分配内存的起始位置
括号里的参数ptr是一个指针,它指向一个内存缓冲器,placement new将在这个缓冲器上分配一个对象。Placement new的返回值是这个被构造对象的地址(比如括号中的传递参数)。placement new主要适用于:在对时间要求非常高的应用程序中,因为这些程序分配的时间是确定的;长时间运行而不被打断的程序;以及执行一个垃圾收集器 (garbage collector)。
3、placement new 存在的理由
由于顶层new操作符将内存分配和构造函数合并在了一起,很多时候需要将这两者分开处理,这种情况下需要调用operator new以及placement new。
3.1 用placement new 解决buffer的问题
问题描述:用new分配的数组缓冲时,由于调用了默认构造函数,因此执行效率上不佳。若没有默认构造函数则会发生编译时错误。如果你想在预分配的内存上创建对象,用缺省的new操作符是行不通的。要解决这个问题,你可以用placement new构造。它允许你构造一个新对象到预分配的内存上。
(1)如果目的只是分配内存,new分配内存 操作调用了默认构造函数,影响效率。operator new只分配内存,可以提高效率。
(2)如果想要在已经分配好内存的一块空间上创建对象,需要placement new
3.2 增大时空效率的问题
使用new操作符分配内存需要在堆中查找足够大的剩余空间,显然这个操作速度是很慢的,而且有可能出现无法分配内存的异常(空间不够)。placement new就可以解决这个问题。我们构造对象都是在一个预先准备好了的内存缓冲区中进行,不需要查找内存,内存分配的时间是常数;而且不会出现在程序运行中途出现内存不足的异常。所以,placement new非常适合那些对时间要求比较高,长时间运行不希望被打断的应用程序。
placement new使用步骤
在很多情况下,placement new的使用方法和其他普通的new有所不同。这里提供了它的使用步骤。
第一步 缓存提前分配
有三种方式:
1.为了保证通过placement new使用的缓存区的memory alignment(内存队列)正确准备,使用普通的new来分配它:在堆上进行分配
class Task ;
char * buff = new [sizeof(Task)]; //分配内存
(请注意auto或者static内存并非都正确地为每一个对象类型排列,所以,你将不能以placement new使用它们。)
2.在栈上进行分配
class Task ;
char buf[N*sizeof(Task)]; //分配内存
3.还有一种方式,就是直接通过地址来使用。(必须是有意义的地址)
void* buf = reinterpret_cast<void*> (0xF00F);
第二步:对象的分配
在刚才已分配的缓存区调用placement new来构造一个对象。
Task *ptask = new (buf) Task
第三步:使用
按照普通方式使用分配的对象:
ptask->memberfunction();
ptask-> member;
//…
第四步:对象的析构
一旦你使用完这个对象,你必须调用它的析构函数来毁灭它。按照下面的方式调用析构函数:
ptask->~Task(); //调用外在的析构函数
第五步:释放
你可以反复利用缓存并给它分配一个新的对象(重复步骤2,3,4)如果你不打算再次使用这个缓存,你可以象这样释放它:delete [] buf;
跳过任何步骤就可能导致运行时间的崩溃,内存泄露,以及其它的意想不到的情况。如果你确实需要使用placement new,请认真遵循以上的步骤。
4、一个具体的例子
下面这个例子中,类中对operator new进行了重载,因此是使用new 分配内存并新建对象的时候,就会调用重载的operator new。
#include<iostream>
using namespace std;
class T
{
public:
T(){
cout << "构造函数。" << endl;
}
~T(){
cout << "析构函数。" << endl;
}
void * operator new(size_t sz){
T * t = (T*)malloc(sizeof(T)); //operator new就是简单的分配内存即可
cout << "内存分配。" << endl;
return t;
}
void operator delete(void *p){
free(p);
cout << "内存释放。" << endl;
return;
}
};
int main()
{
T * t = new T(); // 先 内存分配 ,再 构造函数
delete t; // 先 析构函数, 再 内存释放
return 0;
}
运行结果如下:
上面的例子说明,顶层的new运算符是通过调用底层的operator new运算符进行的,如果在类中对operator new运算符进行了重载,那么就会在调用重载的operator new。
参考文章
【1】https://blog.csdn.net/qq_26822029/article/details/81213537
【2】https://blog.csdn.net/zhangxinrun/article/details/5940019
【3】https://www.zhihu.com/question/34385625/answer/93246044
【4】https://www.jb51.net/article/41331.htm