当前位置: 代码迷 >> 综合 >> 再谈operator new operator delete
  详细解决方案

再谈operator new operator delete

热度:86   发布时间:2023-11-27 19:06:48.0

目录

  • 前言
  • 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没有开辟空间!!

  相关解决方案