指针参数传递实质及二级指针使用

水平有限，如有错误，欢迎指正，谢谢。

先看两个程序：

耐心仔细看，应该能理解。

1：

void test(char *p)

{

       printf("[test1][p]:%p.\n",p);

       printf("[test2][p]:%s.\n",p);

       p=(char *)malloc(10);

       strcpy(p,"ABCDE");

       printf("[test3]malloc之后.....\n");

       printf("[test4][p]:%p.\n",p);

       printf("[test5][p]:%s.\n",p);

       free(p);

}

 

int main()

{

       char b[6] = "abcde";

       char *a = b;

       printf("[main1][a]:%p.\n",a);

       printf("[main2][a]:%s.\n",a);

       test(a);

       printf("[main3][a]:%p.\n",a);

       printf("[main4][a]:%s.\n",a);

       return 0;

}

输出结果：                         注意：（test函数的pde值已改变，main函数的a的值未改变）

main1][a]:0xbfeaaef6.
[main2][a]:abcde.
[test1][p]:0xbfeaaef6.
[test2][p]:abcde.
[test3]malloc之后.....
[test4][p]:0x8a52008.
[test5][p]:ABCDE.
[main3][a]:0xbfeaaef6.
[main4][a]:abcde.

 

2：

void test(char **p)

{

       printf("[test1][p]:%p.\n",p);

       printf("[test2][*p]:%p.\n",*p);

       *p=(char *)malloc(10);

       strcpy(*p,"ABCDE");

       printf("[test3]malloc之后.....\n");

       printf("[test4][p]:%p.\n",p);

       printf("[test5][*p]:%p.\n",*p);

       printf("[test6][*p]:%s.\n",*p);

       free(*p);

}

 

 

int main()

{

       char b[6] = "abcde";

       char *a = b;

       printf("[main1][a]:%p.\n",a);

       printf("[main2][a]:%s.\n",a);

       test(&a);

       printf("[main3][a]:%p.\n",a);

       printf("[main4][a]:%s.\n",a);

       return 0;

}

输出结果：                         注意：（test函数的pde值已改变，main函数的a的值也已经改变）

[main1][a]:0xbfaca776.
[main2][a]:abcde.
[test1][p]:0xbfaca770.
[test2][*p]:0xbfaca776.
[test3]malloc之后.....
[test4][p]:0xbfaca770.
[test5][*p]:0x9132008.
[test6][*p]:ABCDE.
[main3][a]:0x9132008.
[main4][a]:ABCDE.

问题：

1、形参和实参的概念？

2、参数传递的实质？

3、指针是什么？为什么要用指向指针的指针？

4、位什么第一个程序不能改变a的值，而第二个程序却可以？

先解释一下形参和实参的概念：

实参：实实在在的参数，我们自己定义的，比如以上程序中指针a和数组b都是实参，都是自己定义的，基本程序中花括号内定义的所有参数都是实参

形参：我们定义一个函数时，括号内的参数，比如以上程序中的char *p和char **p中的p就是形参，主要是为了让实参的数据可以传递到函数内，供函数操作

第2个问题：

         参数的传递分为两种，一种是值传递，另一种是引用；我们这里说的只主要是值传递，暂时不说引用传递；值传递又分为两种：一种是实际的值传递，int类型的参数传递属于实际值传递；另一种就是地址值传递，实参比实际地址传递给形参，比如指针就是地址值传递。

         这里是参数传递的重点，当实参把实际值或者地址值传递给形参时，实际上不是直接使用实参，而是在栈去开辟内存空间copy一个副本，int a的副本是_a(_a=a),，char *p的副本是_p(_p=p)， 所以函数内的操作都是对副本进行操作，改变形参的值不会影响实参的值，函数执行完就释放副本开辟的空间。

第3个问题：

         指针的概念，指针也是一个参数，和int及char类似，int 参数存放整数，char参数存放字符，指针存放的是一个地址而已；指针就是保存一片内存的起始地址，知道这个指针就可以对这个指针指向的内存进行操作；指向指针的指针即二级指针保存的是一级指针的地址，比如：

         p是一级指针，保存的是a的地址；q是指向指针的指针（二级指针），保存的是一级指针（p）的地址；q的内容就是0xbfaca770，*q的值即q指向的内容0xbfaca776，即*q仍然是一个地址，也就是指针p的内容，即*q=p，（好好理清楚），对*q操作就是对p指向的内存操作；为什么要使用二级指针呢？下面会有讲述：

好了，回到第4个问题，程序本身，为什么会出现这种现象？

第一个程序：

我们先看看调用test函数前后，以及malloc之前和malloc之后的指针p的和指针a的地址以及指向情况：

之前的指向情况：（方块上面是当前变量的地址，方块内是当前变量的值）

之后的指向情况：     （方块上面是当前变量的地址，方块内是当前变量的值）

从之前的情况可以看出，函数进行参数传递时，实参把地址传给了形参p（p即是a的副本（_a），p=_a是为了表达更直观，并不会产生变量名_a），两个指针同时指向一片内存；使用malloc之后，空出一遍新内存并把地址赋给p，即p的指向改变，指向了新地址；所以test内对p的内容进行改变不会改变a的值。

第二个程序：

同样先看看调用test函数前后，以及malloc之前和malloc之后的指针p的和指针a的地址以及指向情况：

之前的指向情况：

之后的情况：

 

         好了，我们来看一下，test函数的形参使用的是二级指针，我们把a的地址传给了p，即p指向了a；指针a指向的是数组b，即保存的是b的首地址，见第二个程序第一张图；二级指针p指向一级指针a，所以*p的值就是a的首地址，所以改变*p的内容就是改变a的内容，即改变a的指向；当malloc一段内存并把首地址保存在*p的内容中，就是把malloc内存的首地址直接替换指针a原来的内容，所以a指针的指向发生了改变，见第二个程序第二张图；所以改变*p就是改变a的值（要理解*p和a就是同一个变量）；所以要对实参传进来的指针进行直接操作的话，就可以使用二级指针，把实参的地址传给二级指针，通过二级指针去改变一级指针的值。