c - 需要逻辑解释

Question

我的问题类似于here

问题的最佳答案是:

int isNotZero(unsigned int n){
  n |= n >> 16;
  n |= n >> 8;
  n |= n >> 4;
  n |= n >> 2;
  n |= n >> 1;
  return n & 1;
};

谁能解释一下上述算法是如何工作的？

Answer 1

n 是一个 32 位整数。 n |= n >> 16 取最高 16 位，并确保为高 16 位中的每个设置位设置低 16 位中的等效位；同时保持已在低 16 位中设置的任何位。

通过这种方式，您现在有一个 16 位整数，它在原始 32 位整数时恰好是非零的。接下来的步骤类似地将数字折叠成 8 位，然后是 4，然后是 2，然后是 1。

最后，最后一行检查是否设置了最低位，通过上面告诉你原始数字是否非零。