CU博主西方失败2913312169,在博文《声明数组参数》中抛出了C语言指针的函数参数传递问题,原文链接如下:
http://blog.chinaunix.net/uid-29455636-id-4214932.html
这是中国学生的老问题了,怪我们老师没教好,所以现在特地详细解释一下。首先要说明几个基本原则:
1、数组名是地址常量,也即指针常量。但通常省略了一个限定范围,即函数体内。函数体内,如main或自定义函数等体内定义的数组名都是地址常量。不能用++或--这类的自增或自减运算符,当然也不能用a+=1,毕竟常量不能作为左值。这是理解指针的第一个前提。
2、*与&为互逆的两个运算符,分为是取值和取址。对于int a = 0;那么&a就是a变量的地址,而*( &a )就是按变量类型int取出a变量存放值的空间中的值。
3、C语言里指针有两级,一级指针(指向地址的指针)和二级指针(指向地址指针的指针),都是指向地址但层次不同,一级和二级指针可以指向同一地址,但方向不同。例如:a[3][3]。a是二级指针,a+1向下跳一行,(*a)是一级指针, (* a)+1向后跳一列。对二级指针取值,就把指针指向也即移动单位进行了变换(实质上是完成了一种特殊类型的转换),*a就等于&(a[0][0])。这是理解指针的第二个前提。需要注意的是,所谓的两级指针并非链表那种你连我,我连他,千万别误以为链表中的第一个是一级指针,第二个是二级指针,第三个指针是三级指针,其实链表里的链接指向指针都属于一级指针。
4、好了开始说关键之处吧,在函数定义时,参数的作用是接收其它传入值,不管这个值是否为指针。当然了,形参可以是变量,或缺省常量,如果是缺省常量,只能定义在参数列表的后面。你这里的定义并非缺省常量,所以该形参是一个变量。这就是为什么说在作为参数时, 数组和指针是等价的,因为发生拷贝出现了值传递,const直接转为了non-const。于是,可以认为函数形参定义的括号内并非严格属于函数体内。
我专门写了一个小程序,如下:
请你思考下并自测一下,为什么是下面这个答案?
呵呵,虽然这个例子有点难度,但希望本贴对你真正有用。有什么想法,咱们一起讨论。如有不正确之处,也请指正。