C语言掩码与位转换语法疑问：提取8位值最后6位有符号值代码解读

代码逻辑详解 #

这段代码的核心作用是把8位变量b的低6位作为6位有符号整数转换为对应长度的C语言signed int类型值，完全符合补码的符号扩展规则，我们分分支拆解逻辑：

前置已知条件 #

你已经理解的b & 0x20作用是判断低6位的符号位：6位有符号数的最高位是第5位（位编号从0开始计数），对应十六进制值0x20，该运算结果非0说明低6位是负数，为0说明是正数。 #

三目运算符分支逻辑 #

• 当符号位为0（判断条件为假，执行冒号后分支：b & 0x3F）
  0x3F对应二进制00111111，按位与操作会直接清除b的所有高位，仅保留低6位，得到的就是低6位对应的正整数值，和无符号低6位的计算结果完全一致。
• 当符号位为1（判断条件为真，执行问号后分支：b | ~0x3F）
  首先~0x3F是对0x3F按位取反，在C语言中整型常量默认是int类型，取反后结果为所有高位为1、仅低6位为0的值（32位int下就是0xFFFFFFC0）。按位或操作会把b所有高于第5位的位置为1，这一步就是补码规则下的符号扩展：6位负数要转换为更长位数的有符号负数，必须把所有高位都填充为1，最终得到的整数值就和低6位作为有符号数的数值完全相等。

示例验证 #

举两个极端值测试更直观：

1. 低6位为100000（对应6位有符号数的最小值-32）：判断条件非0，执行b | ~0x3F后，高位全为1，低6位保留100000，最终int值就是-32，符合预期。
2. 低6位为011111（对应6位有符号数的最大值31）：判断条件为0，执行b & 0x3F得到31，符合预期。

内容的提问来源于stack exchange，提问作者avii