再谈operator new && operator delete

前言

一开始我发现了一道关于定位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没有开辟空间！！