JS神奇的或0(|0)

按照常识,位运算x|0,要么等于x,要么等于0

那么在JS的世界你的认知就要被颠覆了

下面请看

不带或0运算:
(window.crypto.getRandomValues(new Uint32Array(1))[0] * 0x10000 )
168546249998336
(window.crypto.getRandomValues(new Uint32Array(1))[0] * 0x10000 )
18707488702464
(window.crypto.getRandomValues(new Uint32Array(1))[0] * 0x10000 )
15579009253376
(window.crypto.getRandomValues(new Uint32Array(1))[0] * 0x10000 )
194841754140672
(window.crypto.getRandomValues(new Uint32Array(1))[0] * 0x10000 )
262611854950400
(window.crypto.getRandomValues(new Uint32Array(1))[0] * 0x10000 )
171394313420800

带或0运算:
(window.crypto.getRandomValues(new Uint32Array(1))[0] * 0x10000 )|0
-1037238272
(window.crypto.getRandomValues(new Uint32Array(1))[0] * 0x10000 )|0
511180800
(window.crypto.getRandomValues(new Uint32Array(1))[0] * 0x10000 )|0
1204224000
(window.crypto.getRandomValues(new Uint32Array(1))[0] * 0x10000 )|0
-2026438656

可以看到明显的带或0运算与不带或0运算的结果无论是位数还是符号位都有不同。

那这中间到底发生了什么?

这里找一个数字为例:117063531626496

要想验证这个问题,思路如下:

1,对比变更前后的数字的二进制格式

2,找到是否有数字表示的安全边界

首先按照思路1,我们看一下这个数字和这个数字或0后的二进制格式分别是什么:

117063531626496的二进制格式:

var num = 117063531626496; num.toString(2);
输出:'11010100111011111111010001110000000000000000000'

117063531626496 | 0
输出:-96993280

-96993280的二进制格式:
var num = -96993280; num.toString(2);
'-101110010000000000000000000'

对比对比:

11010100111011111111010001110000000000000000000
                   -101110010000000000000000000

除了后面的0位数相同,没有找到明显的线索

那么我们按照思路2,来看一下原因:

通过官网对于js的number的定义,是64位的统一类型

但是我们通过 Number.MAX_SAFE_INTEGER可以看到number的安全最大值是:9007199254740991

通过转为2进制,可以发现这个数字是个54位的1:
var num = 9007199254740991; num.toString(2)
'11111111111111111111111111111111111111111111111111111'

那这个值可以正常地或0吗?实际上还是不行

9007199254740991|0
-1
9007199254740990|0
-2

那这个边界到底是多少呢?对于其它语言Integer的默认最大值一般为2的32次方-1,也就是2147483647

这次再来试一下:

2147483647|0
2147483647
如果对这个值再+1,重试呢
2147483648|0
-2147483648

可以发现这个边界就是32位整数的最大值。

超过这个值的数字再与0进行位运算则可能得到一个错误的结果。