3.2.2 java中的关系与条件运算符

语言基础

3.2.2 关系与条件运算符

关系运算符是比较两个数值并决定它们的关系。比如!=在如果两个运算对象不相等的情况下返回true。以下这个表格总结了关系运算符：

下面是一个例子RelationalDemo，它定义了三个整型数并且使用关系运算符来比较它们，如下：

程序的输出为：

变量数值...

i = 37

j = 42

k = 42

大于...

i > j = false

j > i = true

k > j = false

大于等于...

i >= j = false

j >= i = true

k >= j = true

小于...

i < j = true

j < i = false

k < j = false

小于等于...

i <= j = true

j <= i = false

k <= j = true

等于...

i == j = false

k == j = true

Not equal to...

i != j = true

k != j = false

关系运算符经常用在条件运算符中来构造更复杂的判断表达式。JAVA变成语言支持六种条件运算符：五个双元运算符和一个单元运算符，如下表所示；

&&运算符可以完成条件AND的操作。你可以使用两个不同的关系运算符和&&来决定是否两个关系都为true。下面的一行代码使用了这个技术来决定是否数组的索引处在两个边界之间。它决定了是否索引都大于等于0并且小于等于NUM_ENTRIES(它是在之前被定义为常数)。

0 <= index && index < NUM_ENTRIES

这里注意在一些实例中，第二个运算对象可能不用运算，因为如果第一个运算对象是false，则结果就一个是false，因此不用在计算第二个运算对象了。你看看以下的代码：

(numChars < LIMIT) && (...)

&&运算符只有在两个运算对象都为true的时候，才返回true。因此，如果numChars大于等于LIMIT的时候，&&左边的运算对象就为false，这时就不用在计算右边的运算对象就返回了数值false。在这个例子中，编译器将不会计算右边的运算对象。如果右边运算对象有副效应的的话（比如读一个流、更新一个数值或者进行一个计算）这个有重要的含义。

当两边的运算对象都是boolean（布尔型），运算符号&跟&&执行相同运算。但是，&总是要计算两边的运算对象然后再在两个运算对象同为true的时候才返回true。同样地，当运算对象都为boolean（布尔型）的时候，|执行与操作符号||一样的功能。这个|运算符总是要计算两边的运算对象然后在最少有一边为true的时候才返回true。当它们的运算对象为数字的时候，& 和|是按位操作的。

3.2.3 移位和逻辑运算符

移位运算符通过对第一个运算对象左移或者右移位来对数据执行位操作。下面的这个表总结了JAVA编程语言中有效的移位运算符。

每一个运算符移动左边的运算对象的位数都是由右边的运算符给出的。这个移位的方向取决于运算符本身。比如，下面的语句是实现将整数13右移1位的目的：

13 >> 1;

13的二进制为1101.右移一位的结果为110，即为十进制的6.左边的位用零来填充。下面的表给出了JAVA编程语言提供的四种运算符来对它们的运算对象执行按位操作：

当它的运算对象为数字的时候，&运算符为每一个运算对象的每位执行按位AND功能。AND在运算对象的相应位为1的时候结果才为1，其余情况结果都为0，如下表所示：

3.2.3 移位和逻辑运算符

假如你要对数13和12作AND操作，比如13&12。运算的结果为12，因为12的二进制为1100，遥13的二进制为1101，具体运算过程如下所示：

1101 //13

& 1100 //12

------

1100 //12

如果两个运算对象都为1，AND的结果就为1，或者结果就为0。因此，当你对两个运算对象执行AND操作的时候，你可以看到左边的两位结果位1，而右边两位的结果为0。当两个操作对象都位数字的时候，|操作符执行或操作，而^执行异或操作。或操作是说只要有一个运算对象为1结果就为1。下面的表格给出了或操作的结果：

异或是指当运算对象不同时结果才为1，或者结果为0。下表给出了异或运算符的计算结果：

最后，补运算符号是将运算对象的每一位倒置，即如果原来的位位1结果就为0，如果原来的位为0则结果为1。

通常，按位操作对于管理boolean标识是很有用的。假如，程序中有几个boolean 标识来指示各种组件的状态：它是否可见、它是否可以拖拉等等。与其定义一个单独的boolean变量，不如你定义单一的变量flags，在flags的每一位都代表了这些标识的当前状态。然后你可以使用位操作来设置或者得到每一个标识。首先，为程序设置常数来指示各种标识。定义一个变量flags，它的位要根据每个flag的当前状态来设置。下面的代码将flags初始化为0，意味着所有的标识的初始状态都位0。如下：

static final int VISIBLE = 1;

static final int DRAGGABLE = 2;

static final int SELECTABLE = 4;

static final int EDITABLE = 8;

int flags = 0;

为了当有事物变得可见要设置"visible"标识，你可以使用以下的语句：

flags = flags | VISIBLE;

为了测试可见性，你可以编写如下的语句：

if ((flags & VISIBLE) == VISIBLE) {

...

}

下面是完整的程序BitwiseDemo：

这个程序的输出为：

Flags are Visible and Draggable.

Flags are now also Editable.

3.2.4 赋值运算符

你可以基本的赋值运算符=来为其它的赋值。MaxVariablesDemo程序使用=来初始化所有的本地变量：

// 整型

byte largestByte = Byte.MAX_VALUE;

short largestShort = Short.MAX_VALUE;