关于C语言中free函数使用、指针置NULL及函数内局部指针行为的技术咨询

嘿，我来帮你把这些问题拆解开，一步步搞清楚背后的逻辑，保证你能明明白白：

先解决你最困惑的核心问题：为什么str和&str[0]值相等，但不能给&str[0]赋值NULL？ #

首先得明确两个关键区别：

• str是一个指针变量，它本身存储着字符串首字符的地址，是可以被修改的「左值」（简单说就是能放在赋值号左边的变量）。
• str[0]等价于*(str + 0)，也就是取str指向的第一个字符；而&str[0]是取这个字符的地址——算下来，这个地址值确实和str存储的地址完全一样，但它是一个右值（临时计算出来的地址值，不是实际存在的变量）。

你不能给一个临时值赋值，就像你不能写5 = 10一样——这在C语言里是编译错误，因为赋值操作的左边必须是可修改的变量、数组元素或者解引用的指针这类左值。

逐个分析你写的6个free_null函数 #

咱们一个个看，哪些对，哪些错，错在哪里：

1. free_null1(char **str) #

这是完全正确的写法：

• *str是指向堆内存的指针（比如你用malloc分配的地址），free(*str)能正确释放堆内存。
• *str = NULL是通过二级指针解引用，直接修改了外部传入的那个指针变量本身——这样外部的指针就不会变成野指针，后续再用的时候能判断它是否有效。

2. free_null2(char **str) #

这里的&str[0] = NULL是编译错误：

• str是二级指针，str[0]等价于*(str + 0)也就是*str，&str[0]就是&(*str)，本质是临时计算出来的地址（右值），根本不能放在赋值号左边。就算你强行写，编译器直接就会报错，更别说运行了。

3. free_null3(char *str) #

• free(str)是没问题的，只要str是从malloc等函数拿到的堆地址。
• 但&str[0] = NULL同样是编译错误，原因和上面一样，&str[0]是右值，不能赋值。另外，就算这行能跑，str是函数的局部参数（值传递的副本），修改它相关的内容对外部的原指针毫无影响。

4. free_null4(char *str) #

• free(&str[0])其实和free(str)效果一样，因为&str[0]的值等于str存储的堆地址，所以释放是安全的，但这种写法完全没必要，直接写str更清晰。
• 同样，&str[0] = NULL是编译错误，而且str是局部副本，就算能赋值，外部原指针也不会变。

5. free_null5(char *str) #

• free(str)是对的，但str = NULL只是把函数内部的局部指针副本设为NULL——外部的原指针根本不会受到任何影响！因为函数参数是值传递，你修改的只是栈上的副本，不是原来的变量。所以外部的指针还是野指针，指向已经被释放的内存，非常危险。

6. free_null6(char **str) #

这是严重错误：

• free(&str[0])里的&str[0]是函数局部参数str的地址（str是二级指针，存在栈上），你把栈内存的地址传给free是未定义行为——会导致程序崩溃、内存混乱等各种奇怪问题，绝对不能这么做。
• 后面的*str = NULL本身是对的，但前面的free已经把程序搞坏了。

最后总结几个关键知识点，帮你彻底理清 #

一、哪些指针可以安全传给free函数？ #

• 只能是从malloc、calloc、realloc等标准内存分配函数返回的地址，或者是NULL（free(NULL)是安全的，不会执行任何操作）。
• 绝对不能传栈上变量的地址、全局变量的地址，也不能传已经被释放过的地址（双重free是未定义行为）。
• 补充：如果str是堆分配的，free(str)和free(&str[0])效果一样，因为它们的值相同，但后者写法冗余，不推荐。

二、哪些变量/指针可以被赋值为NULL？ #

• 必须是可修改的左值：比如实际的指针变量（char *p; p = NULL;合法），或者解引用的二级指针（*ptr = NULL;，前提是ptr指向一个可修改的指针变量）。
• 像&str[0]这种临时计算的地址（右值），绝对不能被赋值。

三、函数内局部指针的行为 #

• 函数参数是值传递：传指针给函数时，函数会创建一个指针的副本（局部变量）。修改这个副本的指向（比如str = NULL;），不会影响外部的原指针。
• 如果想修改外部的指针变量（比如置为NULL），必须传递指针的指针（二级指针），然后在函数内部解引用二级指针来修改原指针的值。
• 局部指针存在栈上，函数结束后就会被销毁，所以修改副本对外部没有任何意义。

内容来源于stack exchange