在 C++ 中，你真的会用 new 吗？

影者东升

　　

　　摘要：“new”是 C++的一个关键字，同时也是操作符。关于 new 的话题非常多，因为它确实比较复杂，也非常神秘。

　　本文分享自华为云社区《如何编写高效、优雅、可信代码系列（2）——你真的会用new吗》，原文作者：我是一颗大西瓜 。

C++内存管理
1. C++内存分配
　　C++中的程序加载到内存后按照代码区、数据区、堆区、栈区进行布局，其中数据区又可以分为自由存储区、全局/静态存储区和常量存储区，各区所长如下：

• 栈区
  

　　函数执行的时候，局部变量的存储单元都在栈上创建，函数执行结束后存储单元会自动释放。栈内存分配运算内置于处理器指令集中，效率高，但分配内存容量有限。

• 堆区
  

　　堆就是 new 出来的内存块，编译器不管释放，由应用程序控制，new 对应 delete。如果没释放掉，程序结束后，操作系统会自动回收。

• 自由存储区
  

　　C 中 malloc 分配的内存块。用 free 结束生命周期。

• 全局/静态存储区
  

　　全局变量和静态变量被分配到同一块内存中，定义的时候就会初始化。

• 常量存储区
  

　　比较特殊的存储区，存放常量，不允许修改。
　　堆和栈的区别:

• 管理方式
  

　　栈由编译器自动管理，堆由程序员控制

• 空间大小
  

　　32 位系统下，堆内存可以达到 4GB，栈有一定的空间大小

• 碎片管理
  

　　对于堆，频繁的 new/delete 肯定造成内存空间的不连续，产生大量内存碎片降低程序效率；栈由于遵循先进后出的规则，不会产生空隙

• 生长方向
  

　　堆是向上生长的，即向着内存地址增加的方向增长；而栈是向着内存地址减小的方向增长的

• 分配方式
  

　　堆是动态分配的，栈有动态分配和静态分配之分：静态分配由编译器完成，动态分配由 alloca 函数完成，即使是动态分配，依然是编译器自动释放

• 分配效率
  

　　计算机底层提供了栈的支持，分配了专门的寄存器存放栈的地址，压栈出栈都有专门的指令执行，这决定了栈的效率会比较高。堆则是由 C/C++函数库提供的，机制比较复杂，比如为了分配某个大小的内存需要在堆内存中搜索可用足够大小的空间，效率比栈要低的多
2. new/delete 和 new[]/delete []

• 　　回收 new 分配的单个对象内存空间时用 delete，回收用 new[]分配的一组对象时用 delete[]
  

• 　　对于内置类型(int/double/float/char/…)，由于 new[]申请内存时，编译器还会悄悄在内存中保存整数，表示指针数组的个数，所以 delete/delete[]都可以正确释放所申请的内存空间
  

• 建议在调用 new 时使用的[]，那么调用 delete 也使用[]
  

3. new 的三种形态
　　new operator 常用的 new，语言函数内建，不能重载。调用过程中实际完成的有三件事：

• 　　为类型对象分配内存；
  
• 　　调用构造函数初始化内存对象；
  
• 　　返回对象指针
  

　　如果是在堆上建立对象，直接使用 new operator。
　　operator new 普通操作符，可以重载。如果仅仅是分配内存，那么应该调用 operator new，但不负责初始化。系统默认提供的分配器在时间和空间两方面都存在一些问题：分配器速度较慢，分配小型对象时空间浪费严重，重载 new/delete 有三方面好处：

• 　　改善效率
  
• 　　检测代码中的内存错误
  
• 　　获得内存使用的统计数据
  

　　C++标准规定，重载的 operatornew 必须是类成员函数或全局函数，全局的 operator new 重载不应该改变原有签名，而是直接无缝替换原有版本。全局重载很有侵略性，别人使用你的库无法使用默认的 new，而具体类的重载只会影响本 class 和其派生类，但是类的 operator new 函数重载必须声明为 static，因为 operator new 是在类的具体对象被构建出来之前调用的。
　　为了获得 2 和 3 的优势，重载的 operator new 需要如下函数声明
　　void* operator new(size_t, const char* file, int line);
　　placement new 定义在库<>中。如果想在一块已经获得内存里建立对象，那么应该调用 placement new。通常情况不建议使用，但在某些对时间要求非常高的应用中可以考虑，因为选择合适的构造函数完成对象初始化是一个时间相对较长的过程。
　　点击关注，第一时间了解华为云新鲜技术~