小祥在学习李春葆的数据结构教程时发现一个小问题,建立顺序表和输出线性表,这两个函数的形参是不一样的。
代码在这里↓↓↓
1 //定义顺序表L的结构体 2 typedef struct 3 { 4 Elemtype data[MaxSize]; 5 int length; 6 }SqList; 7 8 //建立顺序表 9 void CreateList(SqList * &L,ElemType a[ ],int n) 10 { 11 int i; 12 L = (SqList * )malloc(sizeof(SqList)); 13 for(i = 0 ; i < n ; i++) 14 L->data[i] = a[i]; 15 L->length = n; 16 } 17 //输出线性表: 18 void DispList(SqList *L) 19 { 20 int i; 21 for(i = 0; i < L ->length; i++) 22 printf(“%d”,L->data[i]); 23 printf(“\n”); 24 }
思考这个形参为什么要写成这两种形式,即SqList *L和SqList * &L的区别。
*L是指针,全称是指针变量,是一个用来保存内存地址的变量。在这里是一个指向顺序表,存储顺序表的地址的变量。
* &L是指针类型的引用,引用(reference)是c++对c语言的重要扩充。引用就是原变量的另外一个名称(别名),引用变量本身没有自己的实际存储空间,对引用变量的操作,就是在操作原变量。这里的* &L代表原指针。
这两个有着一个共同点,都指向顺序表 L ,如果在函数中修改L 的内容,都影响到 L 的内容。
不同点则是,在函数中修改指针本身所指向的地址,*L 不会发生改变,而* &L会发生改变。
首先,* &L是引用类型的指针,代表的是原指针,我们在函数中对指针的操作,都是直接对原指针的操作,无论是指针的内容,还是指针指向的地址,都会发生改变。
那么,*L为什么在函数中会改变不了所指向的地址呢?
其实,这里我们要延伸到函数形式参数和实际参数的很基础,也很重要的知识点了。
形参出现在函数定义中,在整个函数体内都可以使用。实参出现在主调函数中,进入被调函数后,实参也不能使用。在函数调用的时候,主函数把实参的值传送给被调函数的形参,从而实现数据的传送。
但是,在这个函数调用的过程中,数据传送是单向的,即数据只能由实参传到形参,而形参不会传回实参。也就是说,我们在函数中改变形参的值,实参的值是不会发生改变的,这就是函数调用中的单向值传递。
那么,回到我们的 *L 来,*L其实就是一个变量,在这里是一个形式参数。形式参数在函数中其实是对实参的拷贝,也就是说,函数中形参其实是另一个变量,一个复制原变量的新变量,有不同于原变量的内存空间,存在于函数中,函数调用结束,即刻释放内存空间。
也就是说,我们在函数中改变 *L 所指向的地址,不是在对原变量进行改变,而是对原变量的一个复制体进行改变,改变了复制体,却没有改变本体。
所以,在函数中 *L 不能改变所指向的地址。
好了,这就是小祥在学习数据结构的过程中遇到的问题,一开始在网上搜索一下,发现能够解释的不多,也是有点混乱,同时也是自己的基础知识有点混乱,所以打算写下这篇博客来梳理自己的知识,如果写的有不对的地方,欢迎大家指出来,我会继续改进。谢谢大家。
附加:
严蔚敏的《数据结构(C语言版)》中形参是 &L ,而李春葆的《数据结构教程》是 *&L,两者是不同的。