目录
- 前言
- void* operator new(size_t)
-
- void operator delete (void*)
- void* operator new(size_t ,const std::nothrow_t&)
-
- void operator delete (void*, const std::nothrow_t&)
- void* operator new(size_t, void*)
-
- void operator delete (void*, void*)
前言
一开始我发现了一道关于定位new(placement new)的问题,我发现我对new的了解还是太浅。就去查了一下,才发现operator new有3个重载函数。今天我就来分别说一说这三个函数的区别和特点。
void* operator new(size_t)
- 只有一个size_t参数的operator new是我们使用最多的版本。
class A{
//用来讲解,下面的A都是这个类
int _a;
public:A(int a = 0):_a(a) {
}~A(){
}
};A* p1 = (A*)operator new(sizeof(A));
operator delete(p1);
开辟你想要的空间大小,如果失败则抛出异常。我们一般直接使用new。
A* p1 = new A(1);
delete p1;
这样写,new默认调用带有1个参数的operator new。
void operator delete (void*)
销毁空间。
void* operator new(size_t ,const std::nothrow_t&)
这个版本的operator new不会抛出异常。而是像malloc一样,开辟失败则返回空指针。其中的nothrow_t是一种空类型,用来进行函数重载(参数个数不同 && 类型不同)。
struct nothrow_t{
}; /* 空类,只用于触发函数重载机制 */
const nothrow_t nothrow; /* 定义一个const对象 */// 这样使用
A* p2 = (A*)operator(sizeof(A), nothrow);
operator delete(p2, nothrow);
- 这里有一个高瞻远瞩的设计,就是为operator new触发函数重载时使用的空类。为什么不直接使用一个内置类型,比如int来触发函数重载呢?像下面这样
void* operator new(size_t n, int flag);
- 为什么非要设计一个空类呢?
- 以防出现新的operator new第二个参数需要int,而这个空类只有这个函数使用。给未来的设计留下空间。
- 我们也可以这样调用,
A* p2 = new(nothrow) A(1); //这样传参,调用此版本的operator new
delete p2;
void operator delete (void*, const std::nothrow_t&)
和第一个operator delete做一样的工作。
void* operator new(size_t, void*)
- 这个版本的operator new也称之为定位new。因为**它不会申请内存。**它的作用是显式的调用构造函数初始化空间。
- 我们知道对象在创建时会自动调用构造函数,但是我们无法显式的调用构造函数。倘若你已经拥有了内存,但是没有调用构造函数(比如内存池),此时就轮到定位new起作用了。
A* p3 = (void*)operator new(sizeof(A)); /* 没有调用ctor */
p3 = (A*)operator new(sizeof(A), p3); /* 猜一猜它会做些什么? */
- 第二行代码会做些什么呢?调用构造函数吗?不,operator new只负责定位,即它只负责告诉编译器你要初始化的地址在哪里。
void* operator new(size_t n, void* where){
return where; //没错,就这么简单!
}
- 我们一般这么用,
A* p3 = new(where) A(1); //where是你的内存池的地址
void operator delete (void*, void*)
什么也不做。因为operator new没有开辟空间!!