C语言-指针的关系运算与逻辑运算

问题：

今天遇到一个有趣的问题
…
if（Rear->link&&Rear->link->expon>e）
…
使用使用关系运算符判断指针是否为空。

解答

是不是对指针的任何运算都是合法的呢？答案是它可以执行某些运算，但并非所有的运算都合法。除了加法运算之外，你还可以对指针执行一些其他运算，但并不是很多。

指针加上一个整数的结果是另一个指针。问题是，它指向哪里？如果你将一个字符指针加1，运算结果产生的指针指向内存中的下一个字符。float占据的内存空间不止1个字节，如果你将一个指向float的指针加1，将会发生什么？它会不会指向该float值内部的某个字节呢？

答案是否定的。当一个指针和一个整数量进行算术运算时，整数在执行加法运算前始终会根据合适的大小进行调整。这个“合适的大小”就是指针所指向类型的大小，“调整”就是把整数值和“合适的大小”相乘。为了更好的说明，试想在某台机器上，float占据4个字节。在计算float型指针加3的表达式时候，这个3将根据float类型的大小（此例中为4）进行调整（相乘），这样实际上加到指针上的整型值为12。

把3与指针相加使指针的值增加3个float的大小，而不是3个字节。这个行为较之获得一个指向一个float值内部某个位置的指针更为合理。下表包含了一些加法运算的例子。调整的美感在于指针算法并不依赖于指针的类型。换句话说，如果p是个指向float的指针，那么p+1就指向下一个float，其他类型也是如此。

1.算术运算

C的指针的算术运算只局限于两种形式。第一种形式是： 指针±整数 标准定义这种形式只能用于指向数组中某个元素的指针，如图所示：

并且这类表达式的结果类型也是指针。这种形式也适用于使用malloc函数动态分配获得的内存。

对一个指针加1使它指向数组中的下一个元素，加5使它向右移动5个元素的位置，依次类推。把一个指针减去3使它向左移动3个元素的位置。

第二种类型的指针运算具有如下的形式： 指针—指针

只有当两个指针都指向同一个数组中的元素时，才允许从一个指针减去另一个指针，如下所示：

两个指针相减的结果的类型是ptrdiff_t，它是一种有符号整数类型。减法运算的值是两个指针在内存中的距离（以数组元素的长度为单位，而不是以字节为单位），因为减法运算的结果将除以数组元素类型的长度。

**如果两个指针所指向的不是同一个数组中的元素，那么它们之间相减的结果是未定义的。**程序员无从知道两个数组在内存中的相对位置，如果不知道这一点，两个指针之间的距离就毫无意义。

2.关系运算

关系运算：< <= > >= 不过前提是它们都指向同一个数组中的元素。根据你所使用的操作符，比较表达式将告诉你哪个指针指向数组中更前或更后的元素。标准并未定义如果两个任意的指针进行比较会产生什么结果。