js中表达式 >>> 0 浅析

zepto源码的Array.prototype.reduce有一行

len = t.length >>> 0

当时就很疑惑，知道 >>是移位，那>>>又是什么鬼，还有移位0位又有什么意义呢，带着强烈的好奇心，我就去探究了一下 >>> 0它到底暗藏什么玄机。

• >> 和 >>>有什么不一样

查了MDN原来>>>是无符号右移，>>是有符号移位，
>>有符号移位：该操作符会将第一个操作数向右移动指定的位数。向右被移出的位被丢弃，拷贝最左侧的位以填充左侧

-9 >> 2
11111111111111111111111111110111  // -9 -> 11111111111111111111111111111101   // -3

>>>无符号移位：该操作符会将第一个操作数向右移动指定的位数。向右被移出的位被丢弃，左侧用0填充。因为符号位变成了 0，所以结果总是非负的。（即便右移 0 个比特，结果也是非负的。）

9 >>> 2
00000000000000000000000000001001   // 9 ->  00000000000000000000000000000010 // 2

根据文档说明即使移动0位也可以将一个负数变成正数，甚至也可以将一个小数变成整数，将未定义的值转换为0，那到底移动0位是什么意思。

• 移位0有什么意义

查过一些资料，其中stackoverflow里面有一个高票回答，里面有这么一句话

It doesn't just convert non-Numbers to Number, it converts them to Numbers that can be expressed as 32-bit unsigned ints.

原来移位操作符在移位前做了两种转换，第一将不是number类型的数据转换为number，第二将number转换为无符号的32bit数据，也就是Uint32类型。这些与移位的位数无关，移位0位主要就是用了js的内部特性做了前两种转换。

• Uint32类型是如何转换的

1 . 如果不能转换为Number，那就为0
2 . 如果为非整数，先转换为整数，参考公式sign(n) ⋅ floor(abs(n))

function ToInteger(x) {
    x = Number(x);
    return x < 0 ? Math.ceil(x) : Math.floor(x);
}

3 . 如果是正数，返回正数，如果是负数，返回负数 + 2的32次方

function modulo(a, b) {
    return a - Math.floor(a/b)*b;
}
function ToUint32(x) {
    return modulo(ToInteger(x), Math.pow(2, 32));
}
------------------------------------------------------------------

// 3>>>0

// 3

// 3.5>>>0

// 3

// -3>>>0

// 4294967293

// 0>>>0

// 0

// null>>>0

// 0

// undefined>>>0

// 0

// '12'>>>0

// 12

// '-12'>>>0

// 4294967284