标签： bit-manipulation twos-complement ones-complement
我明白为什么两个补码有效（我们的工作模式为$ 2 ^ n $）。现在，在一个补码中，我们以$ 2 ^ n-1 $为模。另外，因此，我们得到两个零的表示，因为$ 1111 $与$ 0000 $ modulo $ 2 ^ n-1 $一致。我不明白的是，为什么我们需要做最终的arround-carry？它为什么有效？