有人可以解释这些代码行在做什么吗？

Question

int64_t lstbt(int64_t val){ 
   int64_t msk = val&(val-1); 
   return log2(val^msk);
}

msk实际计算什么，为什么我们返回值xor msk的log ？

Answer 1

要了解 function：

int64_t lstbt(int64_t val){ 
   int64_t msk = val&(val-1); 
   return log2(val^msk);
}

让我们把它分成更小的块。

首先是语句val-1 ，通过将-1添加到val ，您翻转（除其他外）最低有效位 (LSB)，（即0变为1 ，反之亦然）。

下一个操作（ val&(val-1) ）按位应用“与”。 从&运算符我们知道：

1 & 1  -> 1
1 & 0  -> 0
0 & 1  -> 0
0 & 0  -> 0

所以要么

1. val最初是...0 ，而val - 1是....1，在这种情况下val&(val-1)产生...0 ；

2. 或var最初是...1 ，而var - 1是 ....0，在这种情况下val&(val-1)产生...0 ;。

因此，在这两种情况下， val&(val-1)都将var的LSB设置为0 。 除此之外， val&(val-1)所做的另一个重要更改是将设置为1的第一个最右边的位设置为0 。

所以让我们说 val = xxxxxxxx 1 0000 （它可能是xxxxxxxxx1000 ，只要它展示了设置为 1 的最右边的位），当msk=val&(val-1)时， msk将是xxxxxxxx00000

接下来，我们有val ^ msk ; XOR位运算，我们知道：

1 ^ 1  -> 0
1 ^ 0  -> 1
0 ^ 1  -> 1
0 ^ 0  -> 0

因此，因为val将类似于xxxxxxxx10000和 msk xxxxxxxx00000 ，其中val中用“x”表示的位将与msk中的位完全匹配； val ^ msk的结果将始终是一个所有位都设置为0的数字，除了val和msk之间唯一不同的bit ，即val的最右边的位设置为1 。

因此， val ^ msk的结果将始终是 2 的幂的值（ val为 0 时除外）。 一个可以用2^y = x表示的值，其中y是val中设置为 1 的最右边位的索引， x是val^msk的结果。 因此， log2(val^msk)返回y ，即val中设置为 1 的最右边位的索引。

Answer 2

val&(val-1) # to figure out if value is either 0 or an exact power of two.
val^msk # cuts the part of power of 2 from val
log2 # finds the index of bit which set val^msk.

所以我猜你有lstbt的 function 是要找出val可以用提醒 0 除以 2 的次数。