C++ Primer 笔记——控制内存分配

1.当我们使用一条new表达式时,实际执行了三步操作。

  • new表达式调用一个名为operator new ( 或者operator new[] ) 的标准库函数。该函数分配一块足够大的,原始的,未命名的内存空间以便存储特定类型的对象(或对象的数组)
  • 编译器运行相应的构造函数以构造这些对象,并为其传入初始值。
  • 对象被分配了空间并构造完成,返回一个指向该对象的指针。

2.当我们使用一条delete表达式删除一个动态分配的对象时,实际执行了两步操作。

  • 对指针所指的对象或者数组名所指的数组中的元素执行对应的析构函数。
  • 编译器调用名为operator delete ( 或者operator delete[ ] ) 的标准库函数释放内存空间。

3.标准库定义了operator new函数和 operator delete函数的8个重载版本。

  • 类型nothrow_t是定义在new头文件中的一个struct,在这个类型中不包含任何成员。new 头文件还定义了一个名为nothrow的const对象,可以通过这个对象请求new的非抛出版本。
  • 与析构函数类似,operator delete也不允许抛出异常,重载时也必须指定noexcept。
  • 尽管一般情况下我们可以自定义具有任何形参的operator new,但是 void *operator new(size_t,void*) 不允许被重载。

4.operator new和operator delete函数并没有重载new表达式和delete表达式。一条new表达式的执行过程总是先调用operator new函数以获取内存空间,然后在得到的内存空间中构造对象。一条delete表达式的执行过程总是先销毁对象,然后调用operator delete函数释放对象所占的空间。

5.与allocator不同的是,对于operator new分配的空间来说我们无法使用construct函数构造对象,相反我们应该使用new的定位new形式构造对象。该函数不分配任何内存,它只是简单地返回指针实参,然后由new表达式负责在指定的地址初始化对象以完成整个工作。事实上,定位new允许我们在一个特定的,预先分配的内存地址上构造对象。

int *p = new int;
new (p) int(1);

6.和调用destory类似,调用析构函数可以清楚给定的对象但是不会释放该对象在的空间,如果需要的话我们可以重新使用该空间。

原文地址:https://www.cnblogs.com/zoneofmine/p/7457332.html