动态内存

欢迎访问我的博客首页。

---

  静态内存存放局部 static 对象、类的 static 数据成员、所有定义在函数外部的变量；栈内存存放定义在函数内的非 static 对象。堆内存存放动态分配的对象。

1. 内存管理

---

  运算符 new 的作用是分配内存并初始化对象；函数 maloc 仅申请内存，初始化对象需要借助定位 new 表达式或 allocator 类。

图 1 C/C++ 内存管理

1.1 直接管理内存

---

  new 运算符用于分配内存并初始化对象，delete 运算符用于析构对象并释放内存。new 和 delete 很简单，后面的小节会讲定位 new 表达式，这里我们说一下使用 new 分配数组。

const int w = 3, h = 4;
int(*arr)[w] = (int(*)[w])malloc(sizeof(int) * w * h);
int(*arr)[w] = new int[h][w];

1.2 控制内存分配

---

malloc 与 free 函数
allocator 类

2. 智能指针

1. 申请与释放

---

1.1 malloc 与 free 函数

---

  malloc 与 free 是标准库函数。使用这两个函数申请/释放的内存，主要用于存储内置数据类型的对象，比如:

// 例1：
int* p = (int*)malloc(sizeof(int));
*p = 1;
// 例2：
struct Example{
	Example(int x=0) :a(x){}
	int a;
};
Example* p = (Example*)malloc(sizeof(Example));
p->a = 1;

  例 1 是合适的，因为 int 是内置数据类型。例 2 就不合适，因为第 9 行只申请了内存并没有创建对象，第 10 行使用对象引用操作符就不恰当。同样，free 只释放内存，不会调用析构函数。
  malloc 申请的内存不能用 delete 释放：
  new 申请的内存不能用 free 释放：因为 free 不会调用析构函数。

1.2 new 和 delete 运算符

---

  new 申请内存、调用构造函数、返回指向内存的指针。delete 调用析构函数、释放内存。new 分配内存失败会抛出一个类型为 bad_alloc 的异常，所以没有必要检查返回的指针。
  new 可以分配对象数组，使用 delete [] ptr 释放对象数组。因为 new 会调用构造函数，使用 new 分配对象数组，要求对象类型必须有默认构造函数。

string* ptr = new string[10]; // 会调用10个string类的构造函数进行默认初始化。

  new 的操作包含：operator new() -> malloc() --如果失败–>_callnewh(*func)回调函数–>返回非0继续malloc() 返回0抛出异常，当然复杂类型会先调用构造函数。
  delete 的操作包含：operator delete() -> RTCCALLBACK(默认空的宏定义) -> free() 复杂类型也会先调用析构再调用operator delete()。

1.3 allocator 类

---

  new 运算符把分配内存与初始化对象绑定到一块。因为对象可能在需要时才创建，所以默认初始化不是必需的。而且没有默认构造函数的类型不能使用new动态分配数组。

int n = 10;
allocator<int> alloc;
// 1.分配内存但不初始化。
int* ptr = alloc.allocate(n);
// 2.初始化对象。
for (int i = 0; i < n; i++)
	alloc.construct(ptr + i, i);
// 3.输出。
for (int i = 0; i < n; i++)
	cout << ptr[i] << ' ';
cout << endl;
// 4.析构对象。
for (int i = 0; i < n; i++)
	alloc.destroy(ptr + i);
// 5.释放内存。
alloc.deallocate(ptr, n);

  用法：allocator的用法分为5步：分配内存、创建对象、使用、析构对象、释放内存。
  使用construct创建对象：调用构造函数时，多个参数用逗号隔开即可，construct 调用对应的构造函数。construct 函数的第一个实参要指向同一个对象使用 allocate 申请的内存，而不能指向别的 allocator 对象申请的内存。
  释放内存时，传递给 deallocate 的大小参数必须与调用 allocate 分配内存时提供的大小参数具有一样的值。所以如果想改变申请的内存大小需要重新申请，而不能释放一部分。

1.4 placement new 表达式

---

  见特殊工具与技术章节。

2. 泄露与越界

---

2.1 内存泄露

---

  内存泄露是指没有及时释放动态内存。

1. 缺少内存释放操作。
2. 基类使用虚析构函数避免派生类的析构函数不被调用。
3. 注意用指向动态内存的裸指针相互赋值。裸指针 a 和 b 指向不同的动态内存，用指针 a 为指针 b 赋值前不释放指针 a 指向的内存导致这段内存再也无法被引用。
4. 异常、条件或 return 等语句跳过释放内存的操作导致内存泄露。
5. 指针数组没有逐个释放每个元素指向的内存。
6. 使用智能指针可以避免内存泄露。
7. 在 windows 上可以使用内存检测工具 VLD 检查内存泄露。

2.2 指针越界

---

  内存越界是指操作无效/未知内存。

1. 野指针类型1：未初始化的指针。
2. 野指针类型2：释放内存后未置空的指针。
3. 野指针类型3：被函数返回的局部变量地址赋值的指针。
4. 多次释放内存：没有定义拷贝函数（拷贝构造函数、拷贝赋值运算符重载函数）导致两个指针指向同一段内存。这种情况，即使使用智能指针也不行。

3. 智能指针

---

1.共享指针

  共享指针 shared_ptr 允许多个指针指向同一个对象。

2.独占指针

  auto_ptr 是 C++11 之前的智能指针，推荐使用 unique_ptr。它们的区别如下：

1. unique_ptr 的拷贝（构造、赋值）函数是删除的，拷贝会引起编译错误；auto_ptr 拷贝（构造、赋值）后裸指针为空，再访问裸指针所指对象会出现运行错误。
2. auto_ptr 没有移动函数，它的拷贝函数相当于 unique_ptr 的移动函数。
3. auto_ptr 和 unique_ptr 不能直接放入容器，都需要通过 std:move 放入容器：auto_ptr 的构造函数是 explicit 的；unique_ptr 的构造函数是删除的。

3.智能指针的线程安全

  共享指针 shared_ptr 的引用计数是线程安全的。共享指针指向对象的指针不是线程安全的，独占指针也不是线程安全的。

4. 参考

---

1. C++ 内存管理学习，简书，2023。