二元运算符 . 和 -> 常常被称为点运算符(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。