Rocket - diplomacy - enumerateBits

https://mp.weixin.qq.com/s/KsZqe9W_DM6W6JecK_irvA

 

介绍AddressSet.enumerateBits方法的实现，主要是x & (-x)的意义。

 

​​

 

1. 基本定义

 

enumerateBits的意思就是用于枚举比特，或者说罗列比特，即把mask中为1的比特罗列出来。

 

2. 验证

 

enumerateBits方法功能比较简单独立，可以直接拿出来执行进行验证。

 

​​

 

执行结果如下：

​​

 

3. x == 0

 

没有为1的比特，返回空。

 

4. x != 0

 

​​

 

使用x & (-x)取出x中最低的1位，然后把这一位置0后，递归调用helper接着取下一位。

返回的结果是这些比特组成的序列。

 

5. x & (-x)

 

结果是取出x中最低的为1的位。

 

​​

 

1) -x

 

-x是对x求相反数，求相反数的操作方法就是取反加一。

 

2) x取反

 

x的所有位取反。x & (~x) = 0。

 

3) 加一：0 + 1 = 1

 

根据上面表格，如果x原位为1的话，x & (-x)相应的位为1。

因为没有进位，所以更高的位相与的结果都为0。

 

4) 加一：1 + 1 = (进1)0

 

根据上面表格，如果x原位为0的话，x & (-x)相应的位为0。

并且产生了一个进位，这个进位的1接着与下一个高位相加。

 

5) 加一：递进

 

虽然最开始加一是从最低位开始的，但加1的动作直接忽略x中原值为0的位，逐位加到最低的为1的位而停止。

 

6. bitIndexes

 

相似功能使用软件思维的另一种实现是bitIndexes方法：

​​

 

其返回的是位序。

​​

 

执行结果如下：

​​

 

7. 附录

 

def enumerateBits(mask: BigInt): Seq[BigInt] = {

def helper(x: BigInt): Seq[BigInt] = {

if (x == 0) {

Nil

} else {

val bit = x & (-x)

bit +: helper(x & ~bit)

}

}

helper(mask)

}