动态分配字符矩阵的内存释放问题及free函数工作机制解析

Hey，我来拆解你这个问题，一步步讲清楚～

你用char**实现的动态矩阵，本质是「存储指针的数组 + 每个指针指向的「一维行数组」」，释放顺序必须和分配顺序相反：

1. 先逐个释放每个行数组的内存（也就是每个ptr[i]指向的空间）
2. 最后释放存储指针的数组本身（也就是ptr指向的空间）
   顺序绝对不能搞反——要是先释放了ptr，你就找不到那些行数组的地址了，直接造成内存泄漏。

free()的核心逻辑很简单：

• 它只认「用malloc/calloc/realloc分配的内存起始地址」，收到地址后会通知操作系统回收这块内存，让它可以重新被分配。
• 如果你传的是NULL，free()会直接什么都不做，完全安全（这一点对你的示例很重要）。
• 注意：重复释放同一块内存、释放非分配的地址，都会触发未定义行为（比如程序崩溃、内存 corruption）。

先看你分配内存的代码：

char **ptr; 
ptr = (char**)malloc(sizeof(char*) * 3); // 分配3个指针的数组
*ptr = (char*)malloc(4); // 第一行分配4字节
*(ptr + 1) = (char*)malloc(4); // 第二行分配4字节
*(ptr + 2) = 0; // 第三个指针设为NULL

你创建了一个包含3个指针的数组，前两个指向有效内存，第三个是NULL。

再看你写的释放代码：

int i; 
for(i = 0; i < 2; i++) free(*(ptr + i)); 

这段代码确实会释放前两行（*ptr和*(ptr+1)指向的内存），因为循环跑了i=0和i=1两次。但你没释放ptr本身（那个存3个指针的数组），这会造成内存泄漏——那块内存永远不会被操作系统回收。

另外，你说的“要释放最后一行”其实没必要，因为最后一个指针是NULL，free(NULL)完全合法，哪怕你写free(ptr[2])也不会有问题。

两种写法都可以：

写法1：已知指针数组长度 #

// 先释放所有行（包括NULL指针，安全）
for (int i = 0; i < 3; i++) {
    free(ptr[i]);
}
// 最后释放指针数组
free(ptr);
// 把ptr置为NULL，避免后续误操作野指针
ptr = NULL;

写法2：用NULL作为行的结束标记（适合不确定长度的场景） #

char **temp = ptr;
while (*temp != NULL) {
    free(*temp);
    temp++;
}
free(ptr);
ptr = NULL;

这样不管你后续加多少行，只要最后一行指针设为NULL，都能自动遍历释放所有行。

• 绝对不要先释放指针数组再释放行：先free(ptr)后，ptr变成野指针，再访问ptr[i]会触发未定义行为，大概率程序崩溃。
• 别漏释放指针数组：很多人只记得释放行内存，忘了释放存指针的数组，这是高频内存泄漏点。
• 释放后尽量把指针置为NULL：比如free(ptr[i]); ptr[i] = NULL;，避免后续不小心重复释放同一块内存。

内容的提问来源于stack exchange，提问作者Xtx