GESP 三级 · GESP 202306 C++ 三级 第 25 题

如果 a 为 int 类型的变量，且表达式 ((a | 3) == 3) 的值为 true，则说明 a 在从 0 到 3 之间（可能为 0、可能为 3）。

看到 a|3==3 → 低位任意，高位必全0

易忽略高位全0，误以为a可为4,8,12…；‘可能为0,3’漏了1,2

考点：位运算｜二进制表示｜等值判定

解析：a|3 强制低位为 11，结果必须精确等于 3，故高位全为 0，低位任意。

选项分析

• A. 正确 → a 只能取 0,1,2,3，命题成立
• B. 错误 → 若 a=4(100)，a|3=7≠3，不满足等号