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

      我们老早就知道,通过函数传递动态内存的方式有两种:返回内存的地址或者使用二级指针。用返回值的方式很容易理解,可为什么不能使用一级指针呢?
      《高质量c/c++程序设计》里面给出了理由:编译器会为每个参数制作临时副本,指针参数p的副本是_p并使_p = p。如果函数体内的程序修改了_p 的内容,就导致参数p 的内容作相应的修改。这就是指针可以用作输出参数的原因。如果,_p 申请了新的内存,只是把_p 所指的内存地址改变了,但是p 丝毫未变,所以不能传递动态内存。
      深刻理解上面的话很重要,为了说明这个问题,我们举以下的例子:

Code:
  1. #include   
  2. #include   
  3.   
  4. void func(int *p)  
  5. {  
  6.     printf("in func:/n");  
  7.     printf("before malloc:/n");  
  8.     printf("&p = %p, p = %p/n", &p, p);  
  9.       
  10.     p = (int*)malloc(1024);  
  11.       
  12.     printf("after malloc:/n");  
  13.     printf("&p = %p, p = %p/n", &p, p);  
  14. }  
  15.   
  16.   
  17. int main()  
  18. {  
  19.     int *p = (int *)malloc(3);  
  20.       
  21.     printf("in main:/n");  
  22.     printf("&p = %p, p = %p/n", &p, p);  
  23.     func(p);  
  24.   
  25.     printf("in main:/n");     
  26.     printf("&p = %p, p = %p", &p, p);  
  27.     free(p);
  28.     return 0;  
  29. }  
        程序很简单,我们看运行的结果:
 
 
      将指针地址形象的表示:
 
     方框下面的数字表示其地址,蓝色方框表示分配的空间(上面3bytes,下面1024bytes),橘色方框表示指针,里面的数字表示指针的值。我们可以看到调用func(p)函数后,p的值并没有改变。也证实了书中的说法:编译器会为每个参数制作临时副本。而如果我们用二级指针做参数呢?如下图:
       这里我就不实际举例了。但肯定的是编译器还是会创建临时参数_T,并使_T = T。这样 *T = malloc(size)就可以传递动态内存了。

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

你可能感兴趣的:(一级指针不能做函数参数传递动态内存的理解)