【c/c++】指针运算

指针变量可以进行某些运算，但运算的种类是有限的，它只能进行赋值运算、部分算术运算和关系运算。

指针运算符

指针运算符有两种：

• 取地址运算符&：& 是单目运算符，其结合性为自右至左，功能是取变量的地址。
• 取内容运算符*：* 是单目运算符，其结合性为自右至左，用来表示指针变量所指的变量。在 * 运算符之后跟的变量必须是指针变量。

需要注意的是指针运算符(*)和指针变量说明中的指针说明符(*)不是一回事。在指针变量说明中，“*”是类型说明符，表示其后的变量是指针类型，而表达式中出现的“*”则是一个运算符用以表示指针变量所指的变量。例如：

#include <stdio.h>
int main(){
    int a=5;
    int *p=&a;
    printf("%d\n", *p);
    return 0;
}

运行结果：
5

int *p=&a;表示指针变量p取得了整型变量a的地址,printf("%d\n",*p);语句表示输出变量a的值。

赋值运算

指针变量的赋值运算有以下几种形式。

1) 指针变量初始化赋值，前面已作介绍。

2) 把一个变量的地址赋予指向相同数据类型的指针变量。例如：

int a, *pa;pa=&a;  //把整型变量a的地址赋予整型指针变量pa

3) 把一个指针变量的值赋予指向相同类型变量的另一个指针变量。如：

int a, *pa=&a, *pb;pb=pa;  //把a的地址赋予指针变量pb

由于pa、pb均为指向整型变量的指针变量，因此可以相互赋值。

4) 把数组的首地址赋予指向数组的指针变量。例如：

int a[5], *pa;pa=a;  //数组名表示数组的首地址，可以赋予指向数组的指针变量pa

也可写为：

pa=&a[0];  //数组第一个元素的地址也是整个数组的首地址，也可赋予pa

当然也可采取初始化赋值的方法：

int a[5], *pa=a;

5) 把字符串的首地址赋予指向字符类型的指针变量。例如：

char *pc;pc="C Language";

或用初始化赋值的方法写为：

char *pc="C Language";

这里应说明的是并不是把整个字符串装入指针变量，而是把存放该字符串的字符数组的首地址装入指针变量，后面还会详细介绍。

6) 把函数的入口地址赋予指向函数的指针变量。例如：

int (*pf)();pf = func;  //func 为函数名

加减算术运算（针对数组）

对于指向数组的指针变量，可以加上或减去一个整数n。设pa是指向数组a的指针变量，则pa+n、pa-n、pa++、++pa、pa-、--pa运算都是合法的。指针变量加或减一个整数n的意义是把指针指向的当前位置（指向某数组元素）向前或向后移动n个位置。应该注意，数组指针变量向前或向后移动一个位置和地址加1或减1在概念上是不同的。因为数组可以有不同的类型，各种类型的数组元素所占的字节长度是不同的。如指针变量加1，即向后移动1 个位置表示指针变量指向下一个数据元素的首地址。而不是在原地址基础上加1。例如：

int a[5],*pa;pa=a;  //pa指向数组a，也是指向a[0]pa=pa+2;  //pa指向a[2]，即pa的值为&pa[2]

指针变量的加减运算只能对数组指针变量进行，对指向其它类型变量的指针变量作加减运算是毫无意义的。

两个指针变量之间的运算

只有指向同一数组的两个指针变量之间才能进行运算，否则运算毫无意义。

1) 两指针变量相减

两指针变量相减所得之差是两个指针所指数组元素之间相差的元素个数。实际上是两个指针值（地址）相减之差再除以该数组元素的长度（字节数）。例如pf1和pf2是指向同一浮点数组的两个指针变量，设pf1的值为2010H，pf2的值为2000H，而浮点数组每个元素占4个字节，所以pf1-pf2的结果为(2000H-2010H)/4=4，表示pf1和 pf2之间相差4个元素。

注意：两个指针变量不能进行加法运算。例如，pf1+pf2是什么意思呢？毫无实际意义。

2) 两指针变量进行关系运算

指向同一数组的两指针变量进行关系运算可表示它们所指数组元素之间的关系。例如：

• pf1==pf2 表示pf1和pf2指向同一数组元素；
• pf1>pf2 表示pf1处于高地址位置；
• pf1<pf2 表示pf2处于低地址位置。

指针变量还可以与0比较。设p为指针变量，则p==0表明p是空指针，它不指向任何变量；p!=0表示p不是空指针。

空指针是由对指针变量赋予0值而得到的。例如：

#define NULL 0int *p = NULL;

对指针变量赋0值和不赋值是不同的。指针变量未赋值时，值是随机的，是垃圾值，不能使用的，否则将造成意外错误。而指针变量赋0值后，则可以使用，只是它不指向具体的变量而已。