想吐槽的一点是如果我们当时上课也是这样讲就好了,,,
直接或通过指针访问结构和它们的成员的操作符是相当简单的,但是当它们应用于复杂的情形时就有可能引起混淆。这里有几个例子,能帮助大家更好地理解这两个操作符的工作过程。这些例子使用了下面的声明:
类型为EX的结构可以用下面的图表示。
这里用图的形式来表示结构,可使这些例子看上去更清楚一些。事实上,上图并不完全准确,因为编译器只要有可能,就会设法避免成员之间的浪费空间。
第一个例子将使用这些声明:
Ex x = { 10, "Hi", { 5, { -1, 25 } }, 0 }; Ex *px = &x;
它将产生下面这些变量:
访问指针
让我们从指针变量开始。表达式px的右值如下所示。
px是一个指针变量,但此处并不存在任何间接访问操作符,所以这个表达式的值就是px的内容。这个表达式的左值如下所示。
它显示了px的旧值将被一个新值所取代。
现在考虑表达式px+1。这个表达式并不是一个合法的左值,因为它的值并不存储于任何可标识的内存位置。这个表达式的右值更为有趣。如果px指向一个结构数组的元素,这个表达式将指向该数组的下一个结构。但就算如此,这个表达式仍然是非法的,因为我们没办法分辨内存下一个位置所存储的是这些结构元素之一还是其他东西。编译器无法检测到这类错误,所以必须自己判断指针运算是否有意义。
访问结构
我们可以使用*操作符对指针执行间接访问。表达式*px的右值是px所指向的整个结构。
间接访问操作随箭头访问结构,所以使用实线显示,其结果就是整个结构。可以把这个表达式赋值给另一个类型相同的结构,也可以把它作为点操作符的左操作数,访问一个指定的成员。也可以把它作为参数传递给函数,还可以把它作为函数的返回值返回(不过,最后这两个操作需要考虑效率问题,以后将会对此详述)。表达式*px的左值如下所示。
这里,结构将接受一个新值,或者更精确地说,它将接受它的所有成员的新值。作为左值,重要的是位置,而不是这个位置所保存的值。
表达式*px+1是非法的,因为*px的结果是一个结构。C语言并没有定义结构和整型值之间的加法运算。但表达式*(px+1)又如何呢?如果x是一个数组的元素,这个表达式表示它后面的那个结构。但是,x是一个标量,所以这个表达式实际上是非法的。
访问结构成员
现在让我们来看一下箭头操作符。表达式px->a的右值如下所示。
->操作符对px执行间接访问操作(由实线箭头提示),它首先得到它所指向的结构,然后访问成员a。如果拥有一个指向结构的指针但又不知道结构的名字,便可以使用表达式px->a。如果知道这个结构的名字,也可以使用功能相同的表达式x.a。
在此我们稍作停顿,相互比较一下表达式*px和px->a。在这两个表达式中,px所保存的地址都用于寻找这个结构。但结构的第1个成员是a,所以a的地址和结构的地址是一样的。这样px看上去是指向整个结构,同时指向结构的第1个成员:毕竟,它们具有相同的地址。但是,这个分析只有一半是正确的。尽管两个地址的值是相等的,但它们的类型不同。变量px被声明为一个指向结构的指针,所以表达式*px的结果是整个结构,而不是它的第1个成员。
访问嵌套的结构
为了访问本身也是结构的成员c,可以使用表达式px->c。它的左值是整个结构。
这个表达式可以使用点操作符访问c的特定成员。例如,表达式px->c.a具有下面的右值:
这个表达式既包含了点操作符,也包含了箭头操作符。之所以使用箭头操作符,是因为px并不是一个结构,而是一个指向结构的指针。接下来之所以要使用点操作符,是因为px->c的结果并不是一个指针,而是一个结构。
这里有一个更为复杂的表达式:
*px->c.b
如果对它进行逐步分析,这个表达式还是比较容易弄懂的。它有3个操作符,首先执行的是箭头操作符。px->c的结果是结构c。在表达式中增加.b来访问结构c的成员b。b是一个数组,所以px->b.c的结果是一个(常量)指针,它指向数组的第1个元素。最后对这个指针执行间接访问,所以表达式的最终结果是数组的第1个元素。这个表达式可以图解为如下形式。
访问指针成员
表达式px->d的结果如我们所料——它的右值是0,它的左值是它本身的内存位置。表达式*px->d更为有趣。这里间接访问操作符作用于成员d所存储的指针值。但d包含了一个NULL指针,所以它不指向任何东西。对一个NULL指针进行解引用操作是个错误,但正如以前讨论的那样,有些环境不会在运行时捕捉到这个错误。在这些机器上,程序将访问内存位置0的内容,把它也当作是结构成员之一,如果系统未发现错误,它还将继续下去。这个例子说明,对指针进行解引用操作之前检查一下它是否有效是非常重要的。
让我们创建另一个结构,并把x.d设置为指向它:
Ex y; x.d = &y;
现在可以对表达式*px->d求值。
成员d指向一个结构,所以对它执行间接访问操作的结果是整个结构。这个新的结构并没有显式地初始化,所以在图中并没有显示它的成员的值。
正如我们可能预料的那样,这个新结构的成员可以通过在表达式中增加更多的操作符进行访问。我们使用箭头操作符,因为d是一个指向结构的指针。下面这些表达式是执行什么任务的呢?