C/C++ 内存分布与动态管理实战指南

C 语言的动态内存管理

C 语言主要通过 malloc、calloc、realloc 和 free 来操作堆内存。这里有两个面试中高频出现的考点。

realloc 的工作机制

void Test() {
    int* p2 = (int*)calloc(4, sizeof(int));
    int* p3 = (int*)realloc(p2, sizeof(int) * 10);
    free(p3);
}

问题：这里需要 free(p2) 吗？

不需要，甚至绝对不能这样做。

原因在于 realloc 的内部逻辑：如果扩容成功，它可能返回原地址，也可能因为内存碎片等原因搬迁到新地址。如果返回了新地址，原内存块（p2 指向的空间）会自动被系统回收。如果你手动执行 free(p2)，会导致'重复释放'（Double Free），这通常会直接引发程序崩溃。

malloc/calloc/realloc 的区别

C++ 的动态内存管理

C++ 保留了 C 的内存管理方式，但引入了更高级的 new 和 delete 操作符。它们不仅负责分配内存，还涉及对象的构造与析构。

1. 操作内置类型

对于 int、double 等内置类型，new 和 delete 的使用相对直观。

单个变量的分配和释放

• 分配： new 类型 或 new 类型 (初始值)
• 释放： delete 指针变量

int main() {
    // 1. 分配一个未初始化的 int
    int* p1 = new int;
    
    // 2. 分配并初始化为 100
    int* p2 = new int(100);
    
    // 使用完毕后必须释放内存
    delete p1;
    delete p2;
    
    // 良好的习惯：将指针置为空，防止野指针
    p1 = nullptr;
    p2 = nullptr;
    
    return 0;
}

一维数组的分配与释放

处理数组时，必须使用方括号 []，否则会导致未定义行为。

• 分配： new 类型 [元素个数]
• 释放： delete[] 指针变量

void manageArray() {
    int size = 5;
    // 分配一个长度为 5 的 int 数组
    int* arr = new int[size];
    
    // 初始化数组
    for (int i = 0; i < size; ++i) {
        arr[i] = i * 10;
    }
    
    // 释放数组内存
    delete[] arr;
}

2. 操作自定义类型

对于 struct 或 class，new 和 delete 的核心差异在于它们会调用构造函数和析构函数。

#include <iostream>
using namespace std;

class A {
public:
    A(int a = 0) : _a(a) { cout << "A():" << this << endl; }
    ~A() { cout << "~A():" << this << endl; }
private:
    int _a;
};

int main() {
    // 仅分配内存，不调用构造函数
    A* p1 = (A*)operator new(sizeof(A));
    // 分配内存并调用构造函数
    A* p2 = new A(1);
    
    operator delete(p1); // 仅释放内存
    delete p2;           // 先析构再释放内存
    
    int* p3 = (int*)operator new(sizeof(int));
    int* p4 = new int;
    operator delete(p3);
    delete p4;
    
    A* p5 = (A*)operator new(sizeof(A) * 10);
    A* p6 = new A[10];
    operator delete[](p5);
    delete[] p6;
    
    return 0;
}

3. operator new 与 operator delete 函数

new 和 delete 是操作符，而 operator new 和 operator delete 是底层的全局函数。

• new 表达式 (new Type()): 全自动过程。
  1. 调用 operator new 分配原始内存。
  2. 调用构造函数初始化对象。
• operator new (函数): 类似于 malloc，只负责分配原始内存，不负责构造对象。

operator new 详解

• 原型： void* operator new(size_t size);
• 工作原理：
  • 参数： size 是需要分配的字节数。
  • 返回值： 指向分配内存起始地址的 void* 指针。
  • 失败处理： 默认情况下，如果分配失败，抛出 std::bad_alloc 异常，而不是返回 nullptr。
  • 自定义行为： 可以重载该函数来实现内存池或审计逻辑。

operator delete 详解

• 原型： void operator delete(void* ptr) noexcept;
• 工作原理：
  • 对应关系： delete 表达式会先调用析构函数，然后调用 operator delete 释放内存。
  • 安全性： 向 operator delete 传递 nullptr 是安全的，函数会直接返回。
  • 底层实现： 通常封装了 free() 或系统底层的内存回收接口。

注：noexcept 表示该函数保证不会抛出异常。

通过上述分析可知，operator new 实际也是通过 malloc 来申请空间，如果 malloc 成功则返回，否则执行用户提供的应对措施或抛异常；operator delete 最终是通过 free 来释放空间的。

4. new 和 delete 的实现原理

内置类型

对于内置类型，new/delete 与 malloc/free 基本类似。区别在于：

• new/delete 申请的是单个元素的空间，new[]/delete[] 申请连续空间。
• new 失败抛异常，malloc 返回 NULL。

自定义类型

• new 的原理：
  1. 调用 operator new 函数申请空间。
  2. 在申请的空间上执行构造函数。
• delete 的原理：
  1. 在空间上执行析构函数。
  2. 调用 operator delete 函数释放空间。
• new T[N] 的原理：
  1. 调用 operator new[] 函数完成 N 个对象空间的申请。
  2. 执行 N 次构造函数。
• delete[] 的原理：
  1. 执行 N 次析构函数。
  2. 调用 operator delete[] 释放空间。

5. malloc/free 和 new/delete 的区别

两者的共同点是从堆上申请空间且需手动释放。主要区别如下：

1. 本质不同： malloc/free 是函数，new/delete 是操作符。
2. 初始化： malloc 不初始化，new 可以初始化。
3. 参数： malloc 需手动计算字节大小，new 只需跟类型，数组可用 [] 指定个数。
4. 返回值： malloc 返回 void* 需强转，new 返回具体类型指针。
5. 错误处理： malloc 失败返回 NULL，需判空；new 失败抛异常，需捕获。
6. 对象生命周期： malloc/free 只管理内存，不调用构造/析构函数；new/delete 会完整管理对象的生命周期。