GESP 三级 · GESP 202309 C++ 三级 第 11 题

如果 a 和 b 均为 int 类型的变量，下列表达式不能正确判断“a 等于 b”的是（ ）。

看到位移>> → 低位丢失，不可逆

别把单向截断当双向映射，低位丢了就回不来

考点：位运算截断特性｜代数恒等式

记忆：A、C、D 是代数或逻辑上的恒等式，B 涉及右移会丢掉低位 → 答案 B. (a >> 1) == (b >> 1)

• 易混点 1：右移是“单向截断”，低位信息丢失后无法还原
• 易混点 2：负向命题“不能正确判断”≠“右移后相等则原数相等”