JS中位运算符|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进行位运算则可能得到一个错误的结果。