new expression、operator new 和 placement new——三个妞（new）的故事（1）

最新推荐文章于 2022-06-28 18:16:43 发布

leileicaocao

最新推荐文章于 2022-06-28 18:16:43 发布

阅读量504

点赞数

分类专栏： c++对象模型文章标签： C++ 对象

c++对象模型专栏收录该内容

20 篇文章 0 订阅

订阅专栏

之前虽然一直知道有new expression、operator new和placement new，但对于这三个“new”, 却不甚了了，这些天从《深度探索C++对象模型》读到new和delete，特意结合《C++ Primer》写下这篇笔记，以作总结。三个虽然都是“妞”（new），但每个妞都不相同各有各的特点，各有各的风味，本文重点在于总结比较这三个“妞”，但期间也不忘提一提推倒这三个“妞”的哥们 ——delete。

new expression 和 operator new

一个看起来很简单的new expression运算，其实暗含一些步骤，像这样的一次简单运用： int *p=new int (5)实际上包含着两个步骤：

调用一个合适的operator new实体分配足够的未类型化的内存。
调用合适的构造函数初始化这块内存，当然int没有构造函数，但是会进行赋值操作： *p=5。

由此可见：new expression和operator new完全不是一回事，但关系不浅——operator new 为 new expression分配内存。

摘录一下《C++ primer》关于对比new expression 和 operator new的一小段话：

标准库函数 operator new和 operator delete 的命名容易让人误解。与其他operator 函数（如operator=）不同，这些函数没有重载new或delete expression，实际上，我们不能重定义new或delete expression的行为。

这段话有两个要点：

operator new和operator delete不是new expression和delete expression的重载，它们完全是另外的一个独立的东西，具有不同的语意，这与operator +是对+ expression 的重载不同。
new expression和delete expression是不能被重载的，可以看出它们与普通的 expression 不同。

operator new其实也是可以直接利用的，譬如当我们只想分配内存，而不愿意进行初始化的时候，我们就可以直接用operator new 来进行。用法如下：

T* newelements = static_cast<T*>(operator new ( sizeof(T) );

标准库重载有两个版本的operator new，分别为单个对象和数组对象服务，单个对象版本的提供给分配单个对象new expression调用，数组版的提供给分配数组的 new expression 调用：

void *operator new(size_t);       // allocate an object
void *operator new[](size_t);     // allocate an array

我们可以分别重载这两个版本，来定义我们自己的分配单个对象或对象数组的内存方式。当我们自己在重载operator new时，不一定要完全按照上面两个版本的原型重载，唯一的两个要求是：返回一个void*类型和第一个参数的类型必须为size_t。

还要注意的是，在类中重载的operator new和operator delete是隐式静态的，因为前者运行于对象构造之前，后者运行与对象析构之后，所以他们不能也不应该拥有一个this指针来存取数据。另外，new expression 默认调用的是单参数的operator new——上面声明的那种，而其它不同形式的重载，则只能显式调用了。

delete expression与new expression相对应，而operator delete则与operator new对应。依上所述，则不难推断出关于delete expression和operator delete之间的关系以及一些特性，此略。

当使用new expression来动态分配数组的时候，Lippman在《深度探索C++对象模型》中指出：当分配的类型有一个默认构造函数的时候，new expression将调用一个所谓的vec_new()函数来分配内存，而不是operator new内存。但我在VC ++ 2010 上测试的结果却是，不论有没有构造函数，new expression都是调用operator new来分配内存，并在此之后，调用默认构造函数逐个初始化它们，而不调用所谓的vec_new()，也许cfront确实离我们有点遥远。

参考：Lippman 的两本书《深度探索C++对象模型》和《C++ Primer》。