C语言动态内存分配与内存泄漏修正指南

白榆

发布时间：2026-10-16 | 7人浏览过

原创

C语言中动态内存分配是核心难点之一，尤其是当内存申请在函数内部进行时，初学者常因不理解传值与传址的区别而导致内存泄漏或空指针引用。本文将通过分析典型错误案例，详解如何利用二级指针或返回指针的方式正确管理内存。

一、常见错误分析

在处理动态内存时，一个典型的错误场景是试图在子函数中为外部指针分配空间。以下是一段看似逻辑通顺但存在严重缺陷的代码：

#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
#include<string.h>
#include<stdlib.h>
void getmemory(char*p)
{
	p = (char*)malloc(100);
}
void test()
{
	char*str = NULL;
	getmemory(str);
	strcpy(str, "hello world");
	printf("%s",str);
}
int main()
{
	test();
	return 0;
}

这段代码的运行结果并非如表面所见打印出“hello world”，而是会导致程序崩溃（段错误）。其根本原因如下：

传值调用导致无法修改原指针： 在 C 语言中，函数参数默认采用值传递。调用 getmemory(str) 时，p 只是 str 的一个副本。虽然函数内部 p 指向了堆内存，但函数结束后 str 依然保持为 NULL。
内存泄漏： malloc 分配的内存地址仅保存在局部变量 p 中。随着函数结束，p 被销毁，这块堆内存的地址随之丢失，无法再被 free，从而造成内存泄漏。
空指针解引用： 由于 str 仍为 NULL，后续对 str 进行拷贝和打印操作时，会尝试访问非法地址，引发运行时错误。

二、正确的改进方法

为了解决上述问题，必须建立子函数与主调函数指针之间的有效联系。以下是两种标准且安全的实现方案。

第 1 步：使用二级指针进行传址调用

此方法的核心思想是将指针的地址传递给函数，通过在函数内部解引用二级指针来修改一级指针的指向。

#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
#include<stdlib.h>
#include<string.h>

// 接收二级指针，直接修改外部指针的指向
void getmemory(char** p)
{
    *p = (char*)malloc(100); // *p 即为外部的 str
}

void test()
{
    char* str = NULL;
    
    // 传入指针的地址
    getmemory(&str);
    
    strcpy(str, "hello world");
    printf("%s\n", str);
    
    // 关键步骤：手动释放内存并置空
    free(str);
    str = NULL;
}

int main()
{
    test();
    return 0;
}

解析： getmemory 接收 char** p。当传入 &str 时，p 存储的是 str 的地址。执行 *p = malloc(...) 实际上是在修改 str 本身的值，使其指向新分配的堆内存。随后在主函数中进行字符串操作，最后务必调用 free() 释放资源。

第 2 步：通过返回值传递指针

另一种更简洁的方式是让函数执行分配后，将新申请的内存地址作为返回值返回，由调用者接手。

#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
#include<stdlib.h>
#include<string.h>

// 返回分配的内存指针
char* getmemory(char* p)
{
    p = (char*)malloc(100);
    return p; // 返回新地址
}

void test()
{
    char* str = NULL;
    
    // 接收返回值并赋值给本地指针
    str = getmemory(str);
    
    strcpy(str, "hello world");
    printf("%s\n", str);
    
    // 释放内存
    free(str);
    str = NULL;
}

int main()
{
    test();
    return 0;
}

解析： 在此模式下，getmemory 内部的 p 指向新内存，并通过 return p 将该地址传出。调用处 str = getmemory(str) 将返回值赋给 str，完成了所有权的转移。这种方法避免了二级指针的复杂性，但在需要同时修改多个指针或状态时不如第二种通用。