一级指针不能做函数参数传递动态内存的理解

我们老早就知道，通过函数传递动态内存的方式有两种：返回内存的地址或者使用二级指针。用返回值的方式很容易理解，可为什么不能使用一级指针呢？

《高质量c/c++程序设计》里面给出了理由：编译器会为每个参数制作临时副本，指针参数p的副本是_p并使_p = p。如果函数体内的程序修改了_p 的内容，就导致参数p 的内容作相应的修改。这就是指针可以用作输出参数的原因。如果，_p 申请了新的内存，只是把_p 所指的内存地址改变了，但是p 丝毫未变，所以不能传递动态内存。

深刻理解上面的话很重要，为了说明这个问题，我们举以下的例子：

Code:

#include <stdio.h>

#include <stdlib.h>

void func(int *p)

{

printf("in func:/n");

printf("before malloc:/n");

printf("&p = %p, p = %p/n", &p, p);

p = (int*)malloc(1024);

printf("after malloc:/n");

printf("&p = %p, p = %p/n", &p, p);

}

int main()

{

int *p = (int *)malloc(3);

printf("in main:/n");

printf("&p = %p, p = %p/n", &p, p);

func(p);

printf("in main:/n");

printf("&p = %p, p = %p", &p, p);

free(p);

return 0;

}

程序很简单，我们看运行的结果：



将指针地址形象的表示：



方框下面的数字表示其地址，蓝色方框表示分配的空间（上面3bytes，下面1024bytes），橘色方框表示指针，里面的数字表示指针的值。我们可以看到调用func(p)函数后，p的值并没有改变。也证实了书中的说法：编译器会为每个参数制作临时副本。而如果我们用二级指针做参数呢？如下图：



这里我就不实际举例了。但肯定的是编译器还是会创建临时参数_T，并使_T = T。这样 *T = malloc（size）就可以传递动态内存了。

纸上得来终觉浅，绝知此事要躬行！这句话说的蛮好的！