大家好,我卡颂。
这两年有不少敌人和我吐槽 React
源码,比方:
- 调度器为什么用小顶堆这种数据结构,间接用数组不行?
- 源码里各种单向链表、环状链表,间接用数组不行?
- 源码里各种位运算,有必要么?
作为业务依赖的框架,为了晋升一点点运行时性能,React
从不吝惜将源码写的很简单。
在波及 状态
、 标记位
、 优先级
操作的中央大量应用了位运算。
本文会解说其中比拟有代表性的局部。学到之后,当遇到相似场景时露一手,你就是业务线最靓的仔。
几个罕用位运算
在 JS
中,位运算
的操作数会先转换为 Int32
(32 位有符号整型),执行完 位运算
会Int32
对应浮点数。
在 React
中,次要用到 3 种位运算符 —— 按位与、按位或、按位非。
按位与(&)
对于两个二进制操作数的每个bit
,如果都为 1,则后果为 1,否则为 0。
举个例子,计算3 & 2
,首先将操作数转化为Int32
:
// 3 对应的 Int32
0b000 0000 0000 0000 0000 0000 0000 0011
// 2 对应的 Int32
0b000 0000 0000 0000 0000 0000 0000 0010
为了直观,咱们排除后面的 0,只保留最初 8 位(理论参加计算的应该是 32 位):
0000 0011
& 0000 0010
-----------
0000 0010
所以 3 & 2
计算结果转化为浮点数后为 2。
按位或(|)
对于两个二进制操作数的每个bit
,如果都为 0,则后果为 0,否则为 1。
计算10 | 3
:
0000 1010
| 0000 0011
-----------
0000 1011
计算结果转化为浮点数后为 11。
按位非(~)
对一个二进制操作数的每个bit
,逐位进行取反操作(0、1 调换)
对于 ~3
,将 3 转化为Int32
后逐位取反:
// 3 对应的 Int32
0b000 0000 0000 0000 0000 0000 0000 0011
// 逐位取反
0b111 1111 1111 1111 1111 1111 1111 1100
计算结果转化为浮点数后为 -4。
如果你对这个后果有纳闷,能够去理解
补码
相干常识
让咱们从易到难,看看位运算在 React
中的利用。
标记状态
React
源码外部有多个上下文环境,在执行函数时常常须要判断以后处在哪个上下文环境中。
假如共有三种上下文状况:
// A 上下文
const A = 1;
// B 上下文
const B = 2;
// 没有处在上下文
const NoContext = 0;
当进入某个上下文时,能够应用 按位或
操作标记进入:
// 以后所处上下文
let curContext = 0;
// 进入 A 上下文
curContext |= A;
咱们用 8 位二进制举例(同样,理论应该是 Int32,这里是为了简化),curContext
与 A
执行 按位或
操作:
0000 0000 // curContext
| 0000 0001 // A
-----------
0000 0001
此时能够联合 按位与
操作与 NoContext
来判断是否处在某一上下文中:
// 是否处在 A 上下文中 true
(curContext & A) !== NoContext
// 是否处在 B 上下文中 false
(curContext & B) !== NoContext
来到某上下文后,联合 按位与
、 按位非
移除标记:
// 从以后上下文中移除上下文 A
curContext &= ~A;
// 是否处在 A 上下文中 false
(curContext & A) !== NoContext
curContext
与 ~A
执行 按位与
操作:
0000 0001 // curContext
& 1111 1110 // ~A
-----------
0000 0000
即从 curContext
中移除A
。
当业务中须要同时解决多个状态时,能够应用如上位运算技巧。
优先级计算
在 React
中,不同状况下调用 this.setState
触发的更新会领有不同优先级。优先级之间的比拟、筛选同样应用了位运算。
具体来说,React
中用 31 个 bit
位保留 更新 (之所以是 31 而不是 32 是因为Int32
的最高位是符号位,不保留具体的数)。
处在越低 bit
位的更新优先级越高(越须要优先解决)。
举个例子,假如以后利用存在 2 个更新:
0b000 0000 0000 0000 0000 0000 0001 0001
其中第 1 位的更新优先级最高(须要同步解决),第 5 位为默认优先级。
React
常常须要找出以后最高优先级的更新在哪一位(如上例子中在第一位),办法如下:
function getHighestPriorityLane(lanes) {return lanes & -lanes;}
解释下,因为 Int32
采纳 补码 示意,所以 -lanes
能够看作如下两步操作:
- lanes 取反(~lanes)
- 加 1
为了直观,用 8 位示意:
lanes 0001 0001
~lanes 1110 1110 // 第一步
+1 1110 1111 // 第二步
则 lanes & -lanes
如下:
0001 0001 // lanes
& 1110 1111 // -lanes
-----------
0000 0001
取到的就是第一位(已有更新中最高的优先级)。
总结
尽管业务中不常应用位操作,但在特定场景下位操作时很不便、高效的形式。
这波操作你爱了么?
欢送退出人类高质量前端框架钻研群,带飞