3.17 位操作符
ECMAScript中的所有数值都以65位格式存储,但位操作符不能直接操作64位的值。而是先将64位的值转换位32位的整数,然后执行操作,最后再将结果转换回64位。对于开发人员来说,由于64位存储格式是透明的,因此整个过程就像是只存在32位的整数一样。
正数以纯二进制格式存储,31位的每一位都表示2的幂。第一位(叫做位0)表示2^0,第二位表示2^1,以此类推。没有用到的位以0填充,即忽略不计。
如:18用二进制表示就是00000000000000000000000000010010,或者更简洁的10010,这个5有效位就决定了实际的值。
1 0 0 1 0
2^4X1 2^3X0 2^2X0 2^1X1 2^0X0
16 + 0 +0 +2 +0 =18
-18就是-10010。
注意:在对特殊的NaN 和 Infinity 值应用位操作时,这两个值会被当成0来处理。
如果对非数值应用位操作符,会先使用Number()函数将该值转换位一个数值(自动完成),然后再应用操作。得到的结果将是一个数值。
3.17.1 按位非(NOT)
按位非操作符由一个波浪线(~)表示,执行按位非的结果就是返回数值的反码。
如: var num1=25;
var num2=~num1;
alert(num2); //-26
按位非操作的本质:操作数的负值减1。
3.17.2 按位与(AND)
按位与操作符由一个和号字符(&)表示,它有两个操作符数。从本质上讲,按位与操作就是将两个数值的每一位对齐,然后根据下表的规则,对相同位置上的两个数执行AND操作。
第一个数值的位 第二个数值的位 结果
1 1 1
1 0 0
0 1 0
0 0 0
简而言之,按位与操作只在两个数值的对应位都是1时才返回1,任何一位是0,结果都是0。
如: var result=24 & 2;
alert(result); //结果为0
24=11000
2= 00010
AND=00000 二进制码对应位上没有同时是1,所以结果是0。
3.17.3 按位或(OR)
按位或操作符由一个竖线符号(|)表示,同样也有两个操作符。按位或操作遵循下面这个真值表。
第一个数值的位 第二个数值的位 结果
1 1 1
1 0 1
0 1 1
0 0 0
按位与操作符在有一位是1的情况下就返回1,只有在两个都是0的情况下才返回0。如: var result=24 | 2;
alert(result); //结果为26
24=11000
2= 00010
OR=11010; 所以结果是263.17.4 按位异或(XOR)
按位异或操作符有一个插入符合(^)表示,也有两个操作数。以下是按位异或的真值表。
第一个数值的位 第二个数值的位 结果
1 1 0
1 0 1
0 1 1
0 0 0
按位异或与按位或的不同之处在于,这个操作符在两个数值对应位上只有一个1时才返回1,如果对应的两位都是1或者0,则返回0。如: var result=24 | 2;
alert(result); //结果为26
24=11000
2= 00010
XOR=11010;结果是263.17.5 左移
左移操作符由两个小于号(<<)表示,这个操作符会将数值的所有位向左移动指定的尾数。
如:数值2向左移5位,结果就是64。
var oldValue=2; //等于二进制10
var newValue=oldValue << 5; //等于二进制1000000 结果是十进制的64
注意,左移不会影响操作数的符号位。就是将-2左移5位,结果将是-64,而非64。
3.17.6 有符号的右移
有符号的右移操作符由两个大于号(>>)表示,这个操作符会将数值向右移动。有左移操作恰好相反。
如:数值64向右移5位,结果变成2。
var oldValue=64; //等于二进制1000000
var newValue=oldValue >> 5; //等于二进制的10 结果是2
3.17.7 无符号的右移
无符号右移操作符由3个大于号(>>>)表示,这个操作符会将数值的所有32位都向右移动。对于正数来说,无符号右移的结果与有符号右移相同。
var oldValue=64; //等于二进制1000000
var newValue=oldValue >>> 5; //等于二进制的10 结果是2
对于负数来说,无符号右移操作符会把负数的二进制码当成整数的二进制码。而且,由于负数以其绝对值的二进制补码形式表示,因此会导致无符号右移后的结果非常之大。
var oldValue=-64; //等于二进制的11111111111111111111111111000000
var newValue=oldValue >>> 5; //等于二进制的00000111111111111111111111111110 十进制的134217726
无符号右移操作会把-64的二进制码当成整数的二进制码,换算成十进制就是4294967232,向右移5位变成十进制的134217726
3.18 布尔操作符
在一门编程语言中,布尔操作符的重要性堪比相等操作符。如果没有测试两个值关系的能力,那么if..else和循环之类的语句就不会有用武之地了。布尔操作符一共有3个:非(NOT)、与(AND)、或(OR)。
3.18.1 逻辑非
逻辑非操作符由一个叹号(!)表示,可以应用于ECMAScript中的任何值。无论这个值是什么数据类型,这个操作符都会返回一个布尔值。
如果操作数是一个对象,返回false
如果操作数是一个空字符串,返回true
如果操作数是一个非空字符串,返回false
如果操作数是数值0,返回true
如果操作数是任意非0数值(包括Infinity),返回false
如果操作数是null,返回true
如果操作数是NaN,返回true
如果操作数是undefined,返回true
alert(!false) //true
alert(!"") //true
alert(!"blue") //false
alert(!null) //true
alert(!NaN) //true
alert(!12345) //false
逻辑非操作符也可以用于将一个值转换位与其对应的布尔值。同时使用两个逻辑非操作符,实际上就会模拟Boolean()转型函数的行为。
alert(!!false) //false
alert(!!"") //false
alert(!!"blue") //true
3.18.2 逻辑与
逻辑与操作符由两个和号(&&)表示,有两个操作数,如下面的例子:
var result=true && false;
逻辑与的真值表如下:
第一个操作数 第二个操作数 结果
true true true
true false false
false true false
false false false逻辑与操作可以应用于任何类型的操作数,而不仅仅是布尔值。在有一个操作数不是布尔值的情况下,逻辑与操作就不一定返回布尔值;此时,它遵循下列规则:
如果第一个操作数是对象,则返回第二个操作数。
如果第二个操作数是对象,则只有在第一个操作数的求值结果位true的情况下才会返回该对象。
如果两个操作数都是对象,则返回第二个操作数。
如果第一个操作数是null,则返回null。
如果第一个操作数是NaN,则返回NaN。
如果第一个操作数是undefined,则返回undefined。
逻辑与操作属于短路操作,即如果第一个操作数能够决定结果,那么就不会在对第二个操作数求值。对于逻辑与操作而言,如果第一个操作数是false,则无论第二个操作数是什么值,结果都不再可能是true了。
如: var found = true;
var result = (found && someUndefined); //此处发生错误
alert(result);
因为found的值是true,会继续对变量someUndefined求值,但someUndefined没有定义,会导致错误。
如: var found = false;
var result = (found && someUndefined);
alert(result); //会执行("false")
上面的代码因为第一个是false,所以意味结果必定是false。在使用逻辑与操作符时要铭记它是一个短路操作符。3.18.3逻辑或
逻辑或操作符由两个竖线符号(||)表示,有两个操作数,如下面的例子:
var result=true || false;
逻辑或的真值表如下:
第一个操作数 第二个操作数 结果
true true true
true false true
false true true
false false false与逻辑与操作相似,如果有一个操作数不是布尔值,逻辑或也不一定返回布尔值;此时,它遵循下列规则:
如果第一个操作数是对象,则返回第一个操作数。
如果第一个操作的求值结果是false,则返回第二个操作数;
如果两个操作数都是对象,则返回第一个操作数。
如果两个操作数都是null,则返回null。
如果两个操作数都是NaN,则返回NaN。
如果两个操作数都是undefined,则返回undefined。
与逻辑与操作符相似,逻辑或操作符也是短路操作符。也就是说,如果第一个操作数的求值结果为true,就不会对第二个操作符求值了。
如: var found=true;
var result=(found || someUndefined);
alert(result); //会执行true
因为第一个操作数的值为true,所以第二个操作符不求值。
如: var found=false;
var result=(found || someUndefined); //会出错
alert(result); //这一行不会执行
我们可以利用逻辑或的这一行为来避免为变量赋值null 或 undefined 值。
如 var myObject= preferredObject || backupObject;
在这个例子中,变量myObject将被赋予等号后面两个值中的一个,变量preferredObject优先赋值给变量myObject,变量backupObject负责在preferredObject不包含有效值的情况下提供后被指。如果preferredObject的值不是null,那么它的值将被赋给myObject;如果是null,则将backupObject的值赋给myObject。
3.19 乘性操作符
ECMAScript定义了3个乘性操作符:乘法、除法和求模。如果参与乘性计算的某个操作数不是数值,后台会先使用Number()转型函数将其转换位数值。也就是说,空字符串将被当作0,布尔值true将被当作1。
3.19.1 乘法
乘法操作符由一个星号(*)表示,用于计算两个数值的乘积。
var result=34*56;
在处理特殊值的情况下,乘法操作符遵循下列特殊的规则:
如果操作数都是数值,执行常规的乘法计算,即两个正数或两个负数相乘的结果还是整数,而一个操作数有符号,那么结果就是负数。如果乘积超过了ECMAScript数值的表示范围,则返回Infinity 或 -Infinity;
如果有一个操作数是NaN,则结果是NaN;
如果是Infinity与0相乘,则结果是NaN;
如果是Infinity与非0数值相乘,则结果是Infinity 或 -Infinity,取决于有符号操作数的符号;
如果是Infinity与Infinity相乘,则结果是Infinity;
如果有一个操作数不是数值,则在后台调用Number()将其转换位数值,然后再应用上面的规则。
3.19.2 除法
除法操作符由一个斜杠符号(/)表示,执行第二个操作数除第一个操作数的计算。
var result=66/11;
与乘法操作符类似,除法操作符对特殊的值也有特殊的处理规则。
如果操作数都是数值,执行常规的除法计算,即两个正数或两个负数相除的结果还是整数,而一个操作数有符号,那么结果就是负数。如果商超过了ECMAScript数值的表示范围,则返回Infinity 或 -Infinity;
如果有一个操作数是NaN,则结果是NaN;
如果是Infinity被Infinity除,则结果是NaN;
如果是0被0除,则结果是NaN;
如果是非零的有限数被零除,则结果是Infinity 或 -Infinity,取决于有符号操作数的符号;
如果是Infinity被任何非零数值除,则结果是Infinity 或 -Infinity,取决于有符号操作数的符号;
如果有一个操作数不是数值,则在后台调用Number()将其转换位数值,然后再应用上面的规则。3.19.3 求模
求模(余数)操作符由一个百分号(%)表示,用法如下:
var result=26%5; //结果是1
与另外两个操作符类似,求模操作符会遵循下列特殊规则来处理特殊的值:
如果操作数都是数值,执行常规的除法计算,返回除得的余数;
如果被除数是无穷大而除数是有限大的数值,则结果是NaN;
如果被除数是有限大的数值而除数是零,则结果是NaN;
如果是Infinity被Infinity除,则结果是NaN;
如果被除数是有限大的数值而除数是无穷大的数值,则结果是被除数;
如果被除数是零,则结果是零;
如果有一个操作数不是数值,则在后台调用Number()将其转换为数值,然后再应用上面的规则。