C语言点运算符和箭头运算符

二元运算符 . 和 -> 常常被称为点运算符（dot operator）和箭头运算符（arrow operator），借助于这两个运算符，可以选择结构或联合中的成员。

例 1 展示了点运算符的左操作数必须是一个结构或者一个联合，而右操作数必须是该类型（结构或联合）成员的名字。

【例1】

struct Article {  long number;      // 物品编号
                  char name[32];    // 物品名字
                  long price;       // 物品单价（精确到美分）
                  /* ... */
                };
struct Article sw = { 102030L, "Heroes", 5995L };
sw.price = 4995L;                   // 将价格改为49.95

点运算结果的类型，与所选择成员的类型是一样的。如果左操作数是一个左值，那么该运算也会产生左值。如果左操作数的类型有限定符（例如被声明为 const），那么结果类型也有该限定符。

点运算符的左操作数并非一定是左值，如下例所示：

struct Article getArticle();                      // 函数原型
printf( "name: %s\n", getArticle().name );

函数 getArticle（）返回一个 struct Article 类型的对象。按此结果，getArticle（）.name 是一个有效的表达式，但不是一个左值，因为函数的返回值不是一个左值。

运算符 -> 也可用于选择结构或联合的成员，但是箭头运算符的左操作数必须是一个指针，它指向一个结构或联合类型。右操作数是该结构或联合成员的名字。例 2 展示了运算符->的用法，同样使用例 1 所定义的结构 Article。

【例2】

struct Article *pArticle = &sw,     // 一个指向struct Article的指针
       const *pcArticle = &sw;      // 一个指向struct Article的只读指针

++(pArticle->number);                    // 增加编号
if ( pcArticle->number == 102031L ) // 正确：获取只读指针
  pcArticle->price += 50;        // 错误：不能使用限定符const的指针来修改对象

箭头运算符的结果总是一个左值。它具有被选取成员的类型，也同样包括了其指针操作数的任何类型限定符。在例 2 中，pcArticle 是一个指向 const struct Article 的指针。其结果是，表达式 pcArticle->price 是一个常量。

包含箭头运算符的任何表达式，都可以利用点运算符进行重写，做法是先将指针解参考，然后使用点运算符：表达式 p->m 等效于（*p）.m；相反地，如果 x 是左值的话，表达式 x.m 等效于（&x）->m。

和运算符 [] 一样，点运算符 . 和箭头运算符 -> 都具有最高的优先级，并且组合方式都是从左到右。因此，表达式 ++p->m 等同于 ++（p->m），表达式 p->m++ 等同于（p->m）++。

然而，表达式（*p）.m 中的括号是有必要的，因为复引用运算符 * 的优先级比较低。表达式 *p.m 等效于 *（p.m），这种等效仅当在成员 m 是指针时才有意义。

我们通过结合下标运算符、点运算符和箭头运算符，对一个元素为结构的数组进行操作，来总结本文讲述的问题：

struct Article arrArticle[10];       // 一个具有10个元素的数组
                                                // 每个元素为结构类型
arrArticle[2].price = 990L;             // 设置数组元素arrArticle[2]的成员price
arrArticle->number = 10100L;         // 设置数组元素arrArticle[0]的成员number

一个数组名称，例如本例中的 arrArticle，是一个指向第一个数组元素的常量指针。所以 arrArticle->number 指向第一个数组元素的成员 number。简单地说，对于任一的索引值 i，下面 3 个表达式是等价的：

arrArticle[i].number
(arrArticle+i)->number
(*(arrArticle+i)).number

它们都指向数组中索引值为 i 的元素的成员 number。