C++ 动态内存管理深度解析：new/delete 完全指南

引言在 C 语言中我们使用 malloc()、calloc()、realloc() 和 free() 来管理动态内存。而 C 引入了全新的动态内存管理方式——new 和 delete。这不仅带来了语法上的简化更重要的是引入了类型安全和初始化的概念。在学习过程中我对 new 的理解仅仅停留在“申请内存”这个层面。直到有一天我深入研究了 placement new 和 operator new 的区别才真正理解了 C 内存管理的精妙之处。第一部分C 语言的内存管理回顾C 语言的内存管理函数在深入了解 C 的 new 之前我们先回顾一下 C 语言的内存管理方式#include stdlib.h #include string.h int main() { // malloc: 申请内存不初始化 int* arr1 (int*)malloc(5 * sizeof(int)); if (arr1 NULL) return -1; // 需要检查是否申请成功 // 手动初始化 memset(arr1, 0, 5 * sizeof(int)); for (int i 0; i 5; i) printf(%d , arr1[i]); // 释放内存 free(arr1); return 0; }C 语言内存管理的缺点需要手动计算字节大小需要强制类型转换不会自动初始化需要检查返回值是否为 NUL第二部分C 的 new/delete 基础一、new 和 delete 的基本用法C 的 new 关键字解决了 C 语言内存管理的诸多痛点// 基本用法申请单个变量 int* p new int(0); // 自动识别类型大小并初始化为 0 *p 20; cout p , *p endl; delete p; // 释放单个变量 // 申请数组 int* arr new int[5]{1, 2, 3, 4, 5}; // 可以使用初始化列表 delete[] arr; // 释放数组需要使用 delete[]二、new 的三大优势特性C 语言 mallocC new大小计算手动计算sizeof(type) * n自动识别new type[n]类型转换需要强制转换(int*)自动返回正确类型初始化需要手动memset或循环赋值支持初始化器错误处理返回 NULL抛出bad_alloc异常三、new 的三种用法C 提供了三种不同形式的 new每种都有其特定的用途1. 关键字 new最常用// 申请单个变量并初始化 int* p1 new int(100); // 初始化为 100 int* p2 new int(); // 初始化为 0 int* p3 new int; // 未初始化值为随机 // 申请数组并初始化 int* arr1 new int[5]; // 未初始化 int* arr2 new int[5]{0}; // 全部初始化为 0 int* arr3 new int[5]{1, 2, 3}; // 前三个初始化为 1,2,3其余为 0 // 释放 delete p1; delete[] arr3;2. 运算符函数 operator newoperator new() 只负责申请内存空间不进行初始化类似于 C 语言的 malloc// operator new 只申请空间不初始化 int* p (int*)operator new(sizeof(int)); // 需要单独进行初始化 new(p) int(0); // 使用 placement new 初始化 *p 100; cout *p endl; // 释放内存 operator delete(p);特点只分配内存不调用构造函数返回 void*需要类型转换可以重载用于自定义内存分配策略3. 定位 newplacement new定位 new 在已分配的内存上构造对象// 先申请原始内存 int* p (int*)operator new(sizeof(int)); // 在指定内存位置上构造对象 new(p) int(0); // 定位 new 语法new(指针) 类型(初始值) // 使用对象 *p 100; // 手动调用析构函数如果需要 // p-~int(); // 对于基本类型不需要 // 释放内存 operator delete(p);定位 new 的应用场景内存池技术共享内存中的对象构造避免频繁的内存分配第三部分一维数组的动态内存管理一、使用 new 申请一维数组int main() { // 申请 5 个 int 类型的数组空间 int* arr2 new int[5]{2}; // new 数据类型[长度] 申请连续空间 for (int i 0; i 5; i) cout arr2[i] ; // 输出2 0 0 0 0 cout endl; // 释放连续空间必须使用 delete[] delete[] arr2; return 0; }重要提醒new[] 必须搭配 delete[] 使用使用 delete 而不是 delete[] 会导致未定义行为二、初始化规则// 不同的初始化方式 int* arr1 new int[5]; // 未初始化值不确定 int* arr2 new int[5](); // 值初始化为 0 int* arr3 new int[5]{0}; // 全部初始化为 0 int* arr4 new int[5]{1, 2, 3}; // 前三个为 1,2,3其余为 0 int* arr5 new int[5]{1, 2, 3, 4, 5}; // 全部指定第四部分多维数组的动态内存管理一、使用 new 申请二维数组C 支持直接使用 new 申请多维数组#include time.h #include stdlib.h int main() { // 申请 3 行 4 列的 int 类型二维数组 int(*arr3)[4] new int[3][4]{0}; // 数组指针接收 // 随机数初始化 srand(time(NULL)); for (int i 0; i 3; i) for (int j 0; j 4; j) { arr3[i][j] rand() % 100 1; } // 输出二维数组 for (int i 0; i 3; i) { for (int j 0; j 4; j) { cout *(*(arr3 i) j) ; } cout endl; } // 释放二维数组 delete[] arr3; return 0; }二、使用 operator new 实现多维数组int main() { // 使用 operator new 实现三维数组3行 x 4列 // 申请内存3 * 4 * sizeof(int) 字节 int(*arr)[4] (int(*)[4])operator new(3 * 4 * sizeof(int)); // 使用定位 new 初始化 new(arr) int[3][4]{0}; // 使用数组 for (int i 0; i 3; i) { for (int j 0; j 4; j) { cout *(*(arr i) j) ; } cout endl; } // 释放内存 operator delete(arr); return 0; }关键点解析int(*arr)[4]arr 是一个指针指向有 4 个 int 元素的数组operator new()只申请原始内存不进行初始化new(arr) int[3][4]{0}在已分配内存上构造二维数组并初始化为 0第五部分new 的错误处理机制一、C 语言的方式返回 NULLint* arr (int*)malloc(5 * sizeof(int)); if (arr NULL) { // 处理内存分配失败 return -1; }二、C 的方式抛出异常// new 申请空间失败后会抛出 std::bad_alloc 异常 try { int* p new int[1000000000]; // 可能失败 delete[] p; } catch (const std::bad_alloc e) { cout 内存分配失败: e.what() endl; } // 也可以使用 nothrow 版本返回 NULL int* p new(std::nothrow) int[1000000000]; if (p nullptr) { cout 内存分配失败 endl; }第六部分new/delete 与 malloc/free 的对比一、详细对比表特性malloc/freenew/delete所属C 标准库函数C 关键字/运算符类型安全返回 void*需强制转换返回正确类型指针大小计算手动计算字节数自动计算初始化不支持支持构造函数不会调用会调用对类对象析构函数不会调用会调用对类对象失败处理返回 NULL抛出 bad_alloc 异常内存大小调整支持 realloc不支持重载不可重载可以重载 operator new二、类对象的区别对于类对象new 和 delete 会自动调用构造和析构函数class Student { public: string name; int age; Student() : name(Unknown), age(0) { cout 构造函数被调用 endl; } ~Student() { cout 析构函数被调用 endl; } }; int main() { // malloc 不会调用构造函数 Student* s1 (Student*)malloc(sizeof(Student)); // new 会调用构造函数 Student* s2 new Student(); // free 不会调用析构函数 free(s1); // delete 会调用析构函数 delete s2; return 0; }总结一、new 的三种用法总结类型语法作用对应释放关键字 newnew int(0)申请初始化delete p关键字 new[]new int[5]{0}申请数组初始化delete[] poperator newoperator new(size)只申请内存operator delete(p)定位 newnew(p) int(0)在指定位置构造手动调用析构二、快速参考// 1. 关键字 new最常用 int* p1 new int(100); int* arr1 new int[10]{0}; delete p1; delete[] arr1; // 2. operator new底层分配 int* p2 (int*)operator new(sizeof(int)); operator delete(p2); // 3. 定位 new高级用法 int* p3 (int*)operator new(sizeof(int)); new(p3) int(100); operator delete(p3); // 4. 多维数组 int(*p4)[4] new int[3][4]{0}; delete[] p4;C 的动态内存管理是一个既基础又重要的话题。理解 new 和 delete 的三种不同形式不仅能帮助我们写出更正确的代码更能帮助我们理解 C 底层的内存管理机制。从最初的 malloc/free 到 new/delete再到现代 C 的智能指针C 一直在不断地完善内存管理的方式。掌握这些知识是写出高质量 C 代码的基础。