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

内存布局通常分为几个区域：代码段、全局/静态区、栈区和堆区。全局变量和静态变量存放在数据段，局部变量在栈上，动态分配的内存则在堆上。

C 语言的动态内存管理

C 语言主要通过 malloc、calloc、realloc 和 free 来管理堆内存。

realloc 的工作机制

在使用 realloc 时，有一个常见的误区需要特别注意：

void Test() {
    int* p2 = (int*)calloc(4, sizeof(int));
    int* p3 = (int*)realloc(p2, sizeof(int) * 10);
    free(p3);
    // 这里不需要 free(p2)
}

为什么不需要 free(p2)？

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

malloc/calloc/realloc 的区别

C++ 动态内存管理

虽然 C 语言的内存管理方式在 C++ 中依然可用，但 C++ 引入了更高级的操作符：new 和 delete。

操作内置类型

对于 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;
}

操作自定义类型

对于 struct 或 class，new 和 delete 不仅仅是分配内存，它们还负责调用构造函数和析构函数。这是与 C 语言最大的差异点。

#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;
}

operator new 与 operator delete 函数

new 和 delete 是用户使用的操作符，而 operator new 和 operator delete 是系统提供的全局函数。

• new 表达式 (new expression): 这是一个'全自动'过程，做了两件事：
  1. 调用 operator new 分配原始内存。
  2. 调用构造函数初始化对象。
• operator new (函数): 类似于 malloc，唯一任务是分配指定大小的原始内存，不负责构造对象。

operator new 详解

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

operator delete 详解

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

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

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

new 和 delete 的实现原理

内置类型

如果申请的是内置类型的空间，new 和 malloc、delete 和 free 基本类似。区别在于：

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

自定义类型

• new 的原理：
  1. 调用 operator new 函数申请空间。
  2. 在申请的空间上执行构造函数，完成对象的构造。
• delete 的原理：
  1. 在空间上执行析构函数，完成对象中资源的清理工作。
  2. 调用 operator delete 函数释放对象的空间。
• new T[N] 的原理：
  1. 调用 operator new[] 函数，实际调用 operator new 完成 N 个对象空间的申请。
  2. 在申请的空间上执行 N 次构造函数。
• delete[] 的原理：
  1. 在释放的对象空间上执行 N 次析构函数。
  2. 调用 operator delete[] 释放空间，实际在 operator delete[] 中调用 operator delete 来释放空间。

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 会完整管理对象的生命周期。