本文主要内容为 侯捷先生 的《C++内存管理》课程个人学习记录,并非完全照搬讲义,有机会请读者看原视频。
内存分配方式
无论是哪种方式,最终使用的都是c语言底层的malloc。
C++ new 关键字
编译器将 new关键字翻译成 分配内存和调用其构造函数两部分。分配内存使用运算符 new,如果类本身有自定义 new运算符,则调用自定义版本,否则使用全局的 ::operator new,同理delete关键字也是这样,翻译成先调用析构函数,再调用运算符 delete。
::operator new可以的一种实现为如下,其中当 malloc失败时,可以先调用自定义的处理函数来释放一些内存的逻辑。
类重载 new、delete
该函数必须是静态的,否则使用 new创建时无对象调用这个函数。C++编译器默认帮助改为了 static,所以说也可以不用写出来。
delete与delete []
使用 malloc申请的内存时,其实申请了比该要求的大小稍大的内存块,以便于在开头附加这次申请块的大小信息(便于free时,正确释放正确尺寸的内存),如果是对象还可能是对象个数等信息(便于析构函数调用次数的判断),同时也有用于限界的字节和填充的字节等等,这些为了记录申请内存信息的附加字节统称为 cookie。
对于基本类型, delete和 delete[],并无实质差别(因为根据 cookie总能正确释放内存).
对于类对象,会导致只调用了一次析构函数,对于内部没有指针的类对象的内存也可能没有影响,因为总能正确释放内存。但是当对于内部有指针的类对象,如果指针指向了其他动态分配的内存,例如 string对象。这会导致未被调用析构函数的对象,无法释放其内部指针指向的内存,造成内存泄露(有的编译器实现上本该用 **delete []**而使用了 delete,可能会导致编译器报错)。
定位new与重载new
例如 vector中存储对象时,由于 vector本质上是数组,所以是提前申请了固定大小内存,当 push_back时,就是 定位new来实现调用复制构造函数。
内存池的设计
目的:(1)一次申请大的内存,后续的分配操作就在这块内存上进行,减少malloc操作。(2)降低内存浪费,因为每次malloc,都会附加cookie,如果预先申请一大块,就能够减少cookie造成的浪费。
nothrow
使用 nothrow确保一定返回0.
分配器
标准分配器其实没做什么特别的。
下面是 alloc的实现,使用了内存池。