计算机底层取负运算实现为什么是按位取反加一

该死，第三节31分钟开始讲怎么对一个二进制数取负了，自己想干进去我半个下午时间，麻了。
—————————————————————————————
这个问题是我在看2015 CMU 15-213 CSAPP的第二节时想到的。
这门课尝试用另一种方式——相对于国内用原码反码补码的数电体系（后面就用这个简称了）——解释计算机是如何用二进制表示有符号数。问题产生于他讲的这个案例：-(-2147483648)。

讲到这里我很想骂娘，因为有一万个博客都讲“如果进行了该运算，运算的结果会超过int的范围，不会得到想要的结果，而是-2147483648。”至于为什么会得到这个结果？那可以看另一些提到取负运算的底层原理的博客：“取负运算就是按位取反再加一”。那按位取反再加一又是怎么来的？我在这里就要好好说一说。

取负运算的核心想法是：相反数相加应该为0，就是取负之后的数和原数相加应该得0。这句话很“自然”吧。其实它是符合数电体系里的取模思想的：超出当前变量类型表征极限大小（int的-2147483648到2147483647）就要截断溢出的部分，留下的不就是相当于取了模么；如果相加恰好达到阈值，那取模结果应该为0。我不喜欢说取模是因为计算机实际上能理解的操作只有bit位上的加法，用“取模”去解释没有错，但不够贴合，总需要思维的转换。重点来了：我们说的不只是抽象逻辑上的相加要得0，而是计算机二进制运算的结果也要是0000 0000 0000 0000 0000 0000 0000 0000（对于int来说）。

好，现在只考虑bit位上的加法。对于我们的案例，它的二进制写法是：1000 0000 0000 0000 0000 0000 0000 0000。它得加上个什么数才能通过溢出和截断来把所有的1都消掉呢？答案还算明显吧，就是再加上1000 0000 0000 0000 0000 0000 0000 0000，也就是它自己。这就是输出-(-2147483648)时，返回值还是它自己的原因。注意，没有别的方法，因为计算机只认加法不认减法，想消掉1，就只能通过相加、进位、截断的方法实现。

进一步地，我们顺着“X得加上个什么数才能通过溢出截断来把所有的1都消掉呢”这个思路设计二进制取负的运算方式。把X按位取反再和它自己相加就能把所有位上的数全都变成1了。再加1，从最后一位起，所有位都往前进位，最后再截断超出32位范围的那个第33位的进位1，就32位全变成0了。这就是二进制取负运算的思路来源，至少我是这么想的。