目录1. 函数原型与头文件2. 核心行为四种情况3. 数据保留规则4. 关键返回值与错误处理必看5. 典型使用场景与性能提示6. 完整代码示例7. 总结最佳实践清单realloc是 C 语言标准库中用于动态内存重分配的核心函数。它的作用就是调整之前通过malloc、calloc或realloc本身分配的内存块大小。下面从基础用法、核心行为、与calloc的区别到安全注意事项为你全面讲解。1. 函数原型与头文件#include stdlib.h void *realloc(void *ptr, size_t new_size);ptr指向之前分配的内存块的指针。如果为NULL则行为等同于malloc(new_size)。new_size请求的新内存大小以字节为单位。2. 核心行为四种情况realloc的执行逻辑非常灵活主要分四种情况情况ptr状态new_size行为1. 扩大内存有效指针 原大小尝试在原内存块后面追加空间。如果空间不足则另找新地复制旧数据释放旧地返回新地。2. 缩小内存有效指针 原大小直接截断多余部分返回原指针通常。注意被截掉的数据无法恢复且不会释放给操作系统通常由进程内部的内存池管理。3. 新分配NULL 0等同于malloc(new_size)返回新内存地址。3. 数据保留规则这是realloc最重要的特性之一保留原内存块中新旧大小中较小者的数据会被完整保留。新增如果内存扩大了新增加的部分不会初始化内容随机。丢弃如果内存缩小了被裁掉的部分数据会被丢弃。4. 关键返回值与错误处理必看这是实际开发中最容易出错的地方。int *p (int*)malloc(10 * sizeof(int)); // ... 使用 p ... // 错误做法直接赋值给原指针 p (int*)realloc(p, 20 * sizeof(int)); // 如果 realloc 失败返回 NULL原指针 p 丢失内存泄漏 // 正确做法使用临时指针 int *new_p (int*)realloc(p, 20 * sizeof(int)); if (new_p NULL) { // 内存分配失败p 依然指向原内存块可以继续使用或释放 perror(realloc failed); // free(p); // 根据业务决定是否退出或继续 exit(EXIT_FAILURE); } p new_p; // 安全更新核心原则永远不要将realloc的返回值直接赋给原指针必须先用临时变量检查是否为NULL。5. 典型使用场景与性能提示场景动态数组扩容如 ArrayList、Vector 的底层实现。性能陷阱当原内存块后面空间不足时realloc会移动整个内存块拷贝数据。如果频繁进行小幅扩容如每次加 1会导致大量的拷贝开销和内存碎片。最佳实践采用指数增长策略如每次扩为原来的 2 倍以分摊拷贝成本。6. 完整代码示例#include stdio.h #include stdlib.h int main() { int *arr (int*)malloc(3 * sizeof(int)); if (!arr) return 1; // 初始化 for (int i 0; i 3; i) arr[i] i; // 安全扩容到 5 个 int int *tmp (int*)realloc(arr, 5 * sizeof(int)); if (!tmp) { free(arr); return 1; } arr tmp; // 新增元素未初始化需要手动赋值 arr[3] 100; arr[4] 200; // 打印0 1 2 100 200 for (int i 0; i 5; i) printf(%d , arr[i]); free(arr); return 0; }7. 总结最佳实践清单必检 NULL使用临时指针接收返回值失败后原指针依然有效。不要用new_size 0这是未定义行为请用free释放内存。切勿重复释放如果realloc移动了内存一般说内存移动 是指扩容后不够 重新找了个新的地方吧会自动释放旧指针你只需要释放返回的新指针。谨慎用于缩小缩小内存虽然通常成功但操作系统不一定回收物理内存可能导致进程内存占用居高不下realloc缩小内存时释放的空间通常只回到进程内部的堆管理器内存池并不会立即通过系统调用如brk或munmap归还给操作系统。这意味着即使你从 1GB 缩小到 10MB通过top或任务管理器看到的进程常驻内存RSS占用可能依然很高。这部分空闲内存会被堆管理器保留留待后续的malloc请求重用。
目录1. 函数原型与头文件2. 核心行为四种情况3. 数据保留规则4. 关键返回值与错误处理必看5. 典型使用场景与性能提示6. 完整代码示例7. 总结最佳实践清单realloc是 C 语言标准库中用于动态内存重分配的核心函数。它的作用就是调整之前通过malloc、calloc或realloc本身分配的内存块大小。下面从基础用法、核心行为、与calloc的区别到安全注意事项为你全面讲解。1. 函数原型与头文件#include stdlib.h void *realloc(void *ptr, size_t new_size);ptr指向之前分配的内存块的指针。如果为NULL则行为等同于malloc(new_size)。new_size请求的新内存大小以字节为单位。2. 核心行为四种情况realloc的执行逻辑非常灵活主要分四种情况情况ptr状态new_size行为1. 扩大内存有效指针 原大小尝试在原内存块后面追加空间。如果空间不足则另找新地复制旧数据释放旧地返回新地。2. 缩小内存有效指针 原大小直接截断多余部分返回原指针通常。注意被截掉的数据无法恢复且不会释放给操作系统通常由进程内部的内存池管理。3. 新分配NULL 0等同于malloc(new_size)返回新内存地址。3. 数据保留规则这是realloc最重要的特性之一保留原内存块中新旧大小中较小者的数据会被完整保留。新增如果内存扩大了新增加的部分不会初始化内容随机。丢弃如果内存缩小了被裁掉的部分数据会被丢弃。4. 关键返回值与错误处理必看这是实际开发中最容易出错的地方。int *p (int*)malloc(10 * sizeof(int)); // ... 使用 p ... // 错误做法直接赋值给原指针 p (int*)realloc(p, 20 * sizeof(int)); // 如果 realloc 失败返回 NULL原指针 p 丢失内存泄漏 // 正确做法使用临时指针 int *new_p (int*)realloc(p, 20 * sizeof(int)); if (new_p NULL) { // 内存分配失败p 依然指向原内存块可以继续使用或释放 perror(realloc failed); // free(p); // 根据业务决定是否退出或继续 exit(EXIT_FAILURE); } p new_p; // 安全更新核心原则永远不要将realloc的返回值直接赋给原指针必须先用临时变量检查是否为NULL。5. 典型使用场景与性能提示场景动态数组扩容如 ArrayList、Vector 的底层实现。性能陷阱当原内存块后面空间不足时realloc会移动整个内存块拷贝数据。如果频繁进行小幅扩容如每次加 1会导致大量的拷贝开销和内存碎片。最佳实践采用指数增长策略如每次扩为原来的 2 倍以分摊拷贝成本。6. 完整代码示例#include stdio.h #include stdlib.h int main() { int *arr (int*)malloc(3 * sizeof(int)); if (!arr) return 1; // 初始化 for (int i 0; i 3; i) arr[i] i; // 安全扩容到 5 个 int int *tmp (int*)realloc(arr, 5 * sizeof(int)); if (!tmp) { free(arr); return 1; } arr tmp; // 新增元素未初始化需要手动赋值 arr[3] 100; arr[4] 200; // 打印0 1 2 100 200 for (int i 0; i 5; i) printf(%d , arr[i]); free(arr); return 0; }7. 总结最佳实践清单必检 NULL使用临时指针接收返回值失败后原指针依然有效。不要用new_size 0这是未定义行为请用free释放内存。切勿重复释放如果realloc移动了内存一般说内存移动 是指扩容后不够 重新找了个新的地方吧会自动释放旧指针你只需要释放返回的新指针。谨慎用于缩小缩小内存虽然通常成功但操作系统不一定回收物理内存可能导致进程内存占用居高不下realloc缩小内存时释放的空间通常只回到进程内部的堆管理器内存池并不会立即通过系统调用如brk或munmap归还给操作系统。这意味着即使你从 1GB 缩小到 10MB通过top或任务管理器看到的进程常驻内存RSS占用可能依然很高。这部分空闲内存会被堆管理器保留留待后续的malloc请求重用。
