无符号整数补码（Two's Complement）实现与原理咨询

核心原理讲解 #

补码的核心定义为：对于n位无符号整数a，其二进制补码c需要满足 a + c ≡ 0 (mod 2ⁿ)，等价于计算c = 2ⁿ - a。

• ~a是按位取反得到的反码：对于任意n位无符号数，原数和反码的每一位都相反，因此相加后每一位都是1，即 a + (~a) = 2ⁿ - 1。
• +1的作用就是补全差值，让结果符合补码定义：a + (~a + 1) = (a + ~a) + 1 = (2ⁿ -1) + 1 = 2ⁿ，无符号整数运算溢出时会自动对2ⁿ取模截断高位，最终结果为0，完全匹配补码的要求。这里的溢出是预期的设计行为，不属于运算错误。
  边界值验证：当v=0时，~0 +1 = 全1 +1 =0，符合0的补码为自身的规则。

代码实现 #

补码函数实现 #

unsigned twoscomplement(unsigned v) {
    return (~v) + 1;
}

运行效果说明 #

以你给出的测试代码为例（假设系统为32位无符号整数，n=32）：

• 255的二进制为0x000000FF，按位取反得到0xFFFFFF00
• 加1后得到补码0xFFFFFF01，对应十进制值为4294967041
• 原数和补码相加得到0x100000000，截断32位后结果为0，最终打印输出为255+4294967041=0，符合预期。

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