成员访问运算符_C语言中文网

C 参考手册

成员访问运算符允许访问其运算数的成员。

运算符	运算符名	示例	描述
[]	数组下标	a[b]	访问数组 a 的第 b 个元素
*	指针解引用	*a	解引用指针 a 以访问其所指向的对象或函数
&	取址	&a	创建指向对象或函数 a 的指针
.	成员访问	a.b	访问结构体或联合体 a 的成员 b
->	通过指针的成员访问	a->b	访问 a 所指向的结构体或联合体的成员 b

下标

数组下标运算符拥有形式


pointer-expression `[` integer-expression `]`	(1)

integer-expression `[` pointer-expression `]`	(2)

其中

pointer-expression	-	指向完整对象指针类型的表达式
integer-expression	-	整数类型表达式

下标运算符为左值表达式，其类型为 pointer-expression 所指向的对象的类型。

按照定义，下标运算符 E1[E2] 准确等同于 *((E1)+(E2)) 。若 pointer-expression 为数组表达式，则它经历左值到右值转换并成为指向数组首元素的指针。

由于指针与整数间加法的定义，结果是下标等于 integer-expression 结果的数组元素（或若 pointer-expression指向某数组的第 i 个元素，则结果的下标为 i 加上 integer-expression 的结果）。

注意：多维数组上的细节见数组。

运行此代码

#include <stdio.h>
int main(void)
{
    int a[3] = {1,2,3};
    printf("%d %d\n", a[2],  // n == 3
                      2[a]); // 同上， n == 3
    a[2] = 7; // 下标表达式是左值
 
    int n[2][3] = {1,2,3,4,5,6};
    int (*p)[3] = &n[1]; // n 的元素为数组
    int x = n[1][2]; // 再次应用 [] 到数组 n[1]
 
    printf("%c %c\n", "abc"[2], 2["abc"]); // 字符串字面量亦是数组
}

输出：

3 3
c c

解引用

解引用或间接表达式拥有形式


`*` pointer-expression

其中

pointer-expression	-	an expression of any pointer type

若 pointer-expression 为指向函数指针，则解引用运算符的结果为该函数的函数指代器。

若 pointer-expression 为指向对象指针，则结果为指代被指向对象的左值表达式。

解引用空指针、指向在生存期外的对象的指针（悬垂指针）、错误对齐的指针或拥有不确定值的指针是未定义行为，除非如在 &*E 中一般，通过应用取址运算符到解引用运算符的结果，将它置空。

运行此代码

#include <stdio.h>
int main(void)
{
    int n = 1;
    int* p = &n;
    printf("*p = %d\n", *p); // *p 的值即为存储于 n 的值
    *p = 7; // *p 是左值
    printf("*p = %d\n", *p);
}

输出：

*p = 1
*p = 7

取址

取址运算符拥有形式


`&` function	(1)

`&` lvalue-expression	(2)

`&` `*` expression	(3)

`&` expression `[` expression `]`	(4)

1) 函数地址

2) 对象地址

3) 特殊情况： & 与 * 彼此抵消，均不求值

4) 特殊情况： & 与 [] 中隐含的 * 抵消，只求值 [] 中隐含的加法

其中

lvalue-expression	-	拥有任何非位域类型且无 register 存储类的左值表达式

取址运算符产生其运算数的非左值地址，适于初始化指向运算数类型的指针。若运算数为函数指代器 ((1)) ，则结果为指向函数指针。若运算数为对象 ((2)) ，则结果为指向对象指针。

若运算数为解引用运算符，则不进行动作（故可以应用 &* 到空指针），除了结果是非左值。

若运算数是数组下标表达式，则不进行数组到指针转换和加法外的动作，故 &a[N] 对大小为 N 的数组合法（可以获得尾后一位置指针，不能解引用它，但此表达式中解引用被取消）。

运行此代码

int f(char c) { return c;}
int main(void)
{
   int n = 1;
   int *p = &n; // 对象 n 的地址
   int (*fp)(char) = &f; // 函数 f 的地址
   int a[3] = {1,2,3};
   int *beg=a, *end=&a[3]; // 同 end = n+3
}

成员访问

成员访问运算符拥有形式


expression `.` member-name

其中

expression	-	结构体或联合体类型表达式
member-name	-	指名 expression 所指带的结构体或联合体的成员的标识符

成员访问表达式指代其左运算数所指代的 struct 或 union 的具名成员。它拥有与其左运算数相同的值类别。

若左运算为 const 或 volatile 限定，则结果亦有限定。若左运算数为原子对象，则行为未定义。

注意：除了指名结构体或联合体的标识符，下列表达式亦可拥有结构体或联合体类型：赋值、函数调用、逗号运算符、条件运算符和复合字面量。

运行此代码

#include <stdio.h>
struct s {int x;};
struct s f(void) { return (struct s){1}; }
int main(void)
{
    struct s s;
    s.x = 1; // OK ：更改 s 的成员
    int n = f().x; // f() 为 struct s 类型表达式
//  f().x = 1; // 错误：此成员访问表达式非左值
 
    const struct s sc;
//  sc.x = 3;  // 错误： sc.x 为 const ，不能被赋值
 
    union { int x; double d; } u = {1};
    u.d = 0.1; // 更改 union 的活跃成员
}

通过指针的成员访问

成员访问表达式拥有形式


expression `->` member-name

其中

expression	-	指向结构体或联合体的指针类型表达式
member-name	-	指名 expression 所指向的结构体或联合体的成员的标识符

通过指针的成员访问表达式指代其左运算数所指向的 struct 或 union 类型的具名成员。其值类别始终为左值。

若左运算数所指向的类型有 const 或 volatile 限定，则结果亦有限定。若左运算数所指向的类型为原子类型，则行为未定义。

运行此代码

#include <stdio.h>
struct s {int x;};
int main(void)
{
    struct s s={1}, *p = &s;
    p->x = 7; // 通过指针更改 s.x 的值
    printf("%d\n", p->x); // 打印 7
}

引用

C11 standard (ISO/IEC 9899:2011):

6.5.2.1 Array subscripting (p: 80)

6.5.2.3 Structure and union members (p: 82-84)

6.5.3.2 Address and indirection operators (p: 88-89)

C99 standard (ISO/IEC 9899:1999):

6.5.2.1 Array subscripting (p: 70)

6.5.2.3 Structure and union members (p: 72-74)

6.5.3.2 Address and indirection operators (p: 78-79)

C89/C90 standard (ISO/IEC 9899:1990):

3.3.2.1 Array subscripting

3.3.2.3 Structure and union members

3.3.3.2 Address and indirection operators

参阅

运算符优先级

常用运算符
赋值	自增自减	算术	逻辑	比较	成员访问	其他
a = b a += b a -= b a *= b a /= b a %= b a &= b a \|= b a ^= b a <<= b a >>= b	++a --a a++ a--	+a -a a + b a - b a * b a / b a % b ~a a & b a \| b a ^ b a << b a >> b	!a a && b a \|\| b	a == b a != b a < b a > b a <= b a >= b	a[b] *a &a a->b a.b	a(...) a, b (type) a ? : sizeof _Alignof (C11 起)