什么是补码

博客首发于CSDN-wufeiwua

前言

大学的老师告诉我们:

正数的原码、反码、补码是一样的

负数的补码是原码除符号位外,其余各位取反再加1

可是为啥呢?先忘掉什么原码、反码、补码,什么取反再+1

先说结论:补码仅仅是一种编码,好处是可以用加法来实现减法的操作,和原码、反码没啥太大的关系

二进制

在十进制中,可以用 0 ∼ 9 0\sim9 09 来表示有一数,16 记为 16,权重为 1 0 n 10^n 10n

16 表示 1 ∗ 1 0 1 + 6 ∗ 1 0 0 = 16 1*10^1 + 6 * 10^0 = 16 1101+6100=16

在16进制中,可以用 0 ∼ F 0\sim F 0F 来表示一个数,16 记为 0x10,权重为 1 6 n 16^n 16n

0x10 表示 1 ∗ 1 6 1 + 0 ∗ 1 6 0 = 1 6 [ 10 ] 1*16^1 + 0*16^0 = 16_{[10]} 1161+0160=16[10]

在二进制中,只能用 0 , 1 0, 1 0,1 来表示一个数,那么 16 就记为10000 , 权重是 2 n 2^n 2n

10000 表示 1 ∗ 2 4 + 0 ∗ 2 3 + 0 ∗ 2 2 + 0 ∗ 2 1 + 0 ∗ 2 0 = 1 6 [ 10 ] 1*2^4+0*2^3+0*2^2+0*2^1+0*2^0=16_{[10]} 124+023+022+021+020=16[10]

于是我们就有了一个新的计数方法,二进制:

十进制二进制
0000
1001
2010
3011
4100
5101
6110
7111

加法

但是光有计数还不够,我们还需要有计算,二进制中封二进一,假如我们自己实现了一个全加器:

01 0 [ 2 ] + 10 0 [ 2 ] = 11 0 [ 2 ] = 6 [ 10 ] 010_{[2]} + 100_{[2]} = 110_{[2]} = 6_{[10]} 010[2]+100[2]=110[2]=6[10]

01 1 [ 2 ] + 00 1 [ 2 ] = 10 0 [ 2 ] = 4 [ 10 ] 011_{[2]} + 001_{[2]} = 100_{[2]} = 4_{[10]} 011[2]+001[2]=100[2]=4[10]

减法

有了加法器,那还得有一个减法器,假如我们又自己实现了减法器(现代计算机没有减法器,暂时先忘掉这个,后面我会讲怎么用加法实现减法):

00 1 [ 2 ] − 10 1 [ 2 ] = − 10 0 [ 2 ] = − 4 [ 10 ] 001_{[2]} - 101_{[2]} = -100_{[2]} = -4_{[10]} 001[2]101[2]=100[2]=4[10]

没啥问题,但是出现了一个负数。可以计算机中只有 1 和 0 ,没有我们日常使用的 +,-号,怎么去表示负数

负数

正如我们数学中约定的 +-来表示一个数的正负一样,于是我们决定使用其中的一个符号来表示符号的 +- ,那就用最高位来表示吧。0 表示正,1 表示负

十进制二进制【使用正负号】二进制【使用0、1代表正负号】
+0+00000
+1+01001
+2+10010
+3+11011
-0- 00100
-1- 01101
-2- 10110
-3- 11111

现在我们的可计数示范围由 0 ∼ 7 0 \sim 7 07 变成了 − 3 ∼ + 3 -3 \sim +3 3+3

注意:区别与网上其他说法,最高位是符号位,表示的是正和负没错,但是我们现在有减法器,计算的时候符号位可以特殊处理,也请先忘掉加法实现减法的结论

假如计算机有+,-号,先我们的减法器验证一下:

1 − 3 = ( + 01 ) − ( + 11 ) = ( + 0 1 [ 2 ] ) − ( + 1 1 [ 2 ] ) = − ∣ 1 1 [ 2 ] − 0 1 [ 2 ] ∣ = − 1 0 [ 2 ] = − 2 [ 10 ] \begin{aligned} & 1-3 \\ & = (+01) - (+11) \\ & =(+01_{[2]}) - (+11_{[2]}) \\ & = -|11_{[2]}-01_{[2]}| \\ & = -10_{[2]} \\ & = -2_{[10]} \end{aligned} 13=(+01)(+11)=(+01[2])(+11[2])=∣11[2]01[2]=10[2]=2[10]

此时用我们约定的符号来替换正负号, 负号换成 1 ,正号换成 0

( 00 1 [ 2 ] ) − ( 01 1 [ 2 ] ) = − ∣ 1 1 [ 2 ] − 0 1 [ 2 ] ∣ = − 1 0 [ 2 ] = 11 0 [ 2 ] = − 2 [ 10 ] \begin{aligned} & (001_{[2]}) - (011_{[2]}) \\ & = -|11_{[2]}-01_{[2]}| \\ & = -10_{[2]} = 110_{[2]} \\ & = -2_{[10]} \end{aligned} (001[2])(011[2])=∣11[2]01[2]=10[2]=110[2]=2[10]

我们知道 X − Y = X + ( − Y ) X - Y = X + (-Y) XY=X+(Y), 所以上面的运算等价 :

( 00 1 [ 2 ] ) − ( 01 1 [ 2 ] ) = 00 1 [ 2 ] + 11 1 [ 2 ] = − ∣ 1 1 [ 2 ] − 0 1 [ 2 ] ∣ = 11 0 [ 2 ] = − 2 [ 10 ] \begin{aligned} & (001_{[2]}) - (011_{[2]}) \\ & = 001_{[2]} + 111_{[2]} \\ & = -|11_{[2]} - 01_{[2]}| \\ & = 110_{[2]} \\ & = -2_{[10]} \\ \end{aligned} (001[2])(011[2])=001[2]+111[2]=∣11[2]01[2]=110[2]=2[10]

注意我们有减法器,这里我们的最高位此时是符号位,符号会被提出来,并不会参与运算

再次注意:区别与网上其他说法,最高位是符号位,表示的是正和负,我们现在有减法器,计算的时候符号位可以特殊处理,也请先忘掉加法实现减法的结论

比如我们十进制计算 1 - 3 = 1 + (-3), 当一个较小数减去一个较大数的时候, 我们一般步骤是用大数减去小数取绝对值,然后结果取其相反数

例如我们平时计算 1- 3 = 1 + (-3):
1 − 3 = 1 + ( − 3 ) = − ∣ 3 − 1 ∣ = − ∣ 2 ∣ = − 2 \begin{aligned} & 1 - 3 \\ & = 1 + (-3) \\ & = - | 3 -1 | \\ & = - |2| \\ & = -2 \end{aligned} 13=1+(3)=∣31∣=∣2∣=2
那么二进制减法器也一样的,最高位的符号位也是特殊处理,提出来再计算的:
001 − 011 = 001 + ( 111 ) = − ∣ 11 − 01 ∣ = − ∣ 10 ∣ = − 10 = 110 \begin{aligned} & 001 - 011 \\ & = 001 + (111) \\ & = - |11 - 01| \\ & = - |10| \\ & = -10 \\ & = 110 \\ \end{aligned} 001011=001+(111)=∣1101∣=∣10∣=10=110

上面这种编码方式我们取一个名字,就叫 原码

加法和减法以及符号都搞定了,不过我们需要实现一个减法器才能计算,而且处理符号也比较麻烦,有没有可能用加法实现减法,当然可以!

模和同余

数论中的重要概念。给定一个正整数,如果两个整数a和b,满足 a − b a-b ab 能够被 m m m 整除,即 a − b m \frac{a - b}{m} mab 得到一个整数,

那么就称整数a与b对模m同余,记作 a ≡ b ( m o d    m ) a \equiv b (mod\;m) ab(modm)

对模m同余是整数的一个等价关系。

“模”是指一个计量系统的计数范围,超出这个范围后就会产生溢出,溢出的部分会被直接舍去。例如时钟的计量范围是0-11(1-12),模=12

例如图中这样一个线段围成的圆,计数范围是 0 ~ 7 ,模 m = 8。

tow's-complement-Page-1

假如我们现在所处的位置在 1 的位置上,我们要走到 0 这个位置,我们有两种方式

  • 退 1 步
  • 前进 7 步 (因为模是8,只能表示到 0 ~ 7 ,8 就是 0 ,产生溢出,一个新的轮回开始了)

1 − 1 = 1 + 7 = 0 ⇒ − 1 ≡ + 7 ( m o d 8 ) 1 - 1 = 1 + 7 = 0 \Rightarrow -1 \equiv +7 (mod 8) 11=1+7=01+7(mod8)

称为+7 是 -1 以 8 为模的补数

也就是说在模为 8 的时候,+7 和 -1 是等价的

同理,假如我们所处 2 的位置上,我们要走到 0 这个位置,也有两种方式:

  • 退 2 步
  • 前进 6 步

2 − 2 = 2 + 6 = 0 ⇒ − 2 ≡ + 6 ( m o d 8 ) 2-2 = 2 + 6 = 0 \Rightarrow -2 \equiv +6 (mod 8) 22=2+6=02+6(mod8)

称为+6 是 -2 以 8 为模的补数

也就是说在模为 8 的时候,+6 和 -2 是等价的

由此可见在模确定的情况下,减去一个数可以由加上一个正数替代,所以一个负数可以用一个正数来表示

补数

我们知道在十进制中,如果两个数字的和为 1 0 n 10^n 10n ,那么我们称这两个数互为补数。

例如 1 + 9 = 10 , 2 + 8 = 10, 3 + 7 = 10, 54 + 46 = 100

称 9 是 1 的补数, 8 是 2 的补数, 54 是 46 的补数

那么对应到二进制中,也是一样的,如果两个数的和为 2 n 2^n 2n ,我们称这两个数互为补数,叫做 2 的补数(2’s-compelment)

tow's-complement-Page-2

还是以这个图为例子,由上可知我们模为8,如果我们处于 01 1 [ 2 ] 011_{[2]} 011[2] 的位置,想要到 00 0 [ 2 ] 000_{[2]} 000[2] 的位置有两种方式

  • 退 3 步
  • 进 5 步

十进制:

3 [ 10 ] − 3 [ 10 ] = 3 [ 10 ] + 5 [ 10 ] = 0 [ 10 ] ⇒ − 3 [ 2 ] ≡ + 5 [ 2 ] ( m o d 8 ) \begin{aligned} & 3_{[10]} - 3_{[10]} \\ & = 3_{[10]} + 5_{[10]} \\ & = 0_{[10]} \\ & \Rightarrow - 3_{[2]} \equiv + 5_{[2]} (mod 8) \\ \end{aligned} 3[10]3[10]=3[10]+5[10]=0[10]3[2]+5[2](mod8)

二进制:

01 1 [ 2 ] − 01 1 [ 2 ] = 01 1 [ 2 ] + 10 1 [ 2 ] = 00 0 [ 2 ] ⇒ − 01 1 [ 2 ] ≡ + 10 1 [ 2 ] ( m o d 8 ) \begin{aligned} & 011_{[2]} - 011_{[2]} \\ & = 011_{[2]} + 101_{[2]} \\ & = 000_{[2]} \\ & \Rightarrow - 011_{[2]} \equiv + 101_{[2]} (mod 8) \end{aligned} 011[2]011[2]=011[2]+101[2]=000[2]011[2]+101[2](mod8)

我们说, + 10 1 [ 2 ] + 101_{[2]} +101[2] − 01 1 [ 2 ] - 011_{[2]} 011[2] 以 8 为模的补数

于是我们得出一个结论:

  • 一个负数可用其正补数来代替,而这个正补数可以用模加上负数本身来得到。

  • 一个正数和一个负数互为补数时,两数的绝对值之和为模

由上面的推导我们知道:

− 1 ≡ + 7 ( m o d 8 ) -1 \equiv +7 (mod 8) 1+7(mod8)

− 2 ≡ + 6 ( m o d 8 ) -2 \equiv +6 (mod 8) 2+6(mod8)

− 3 ≡ + 5 ( m o d 8 ) -3 \equiv + 5 (mod 8) 3+5(mod8)

− 4 ≡ + 4 ( m o d 8 ) -4 \equiv +4 (mod 8) 4+4(mod8)

0 具有特殊性,如果我们处于0 的位置,想要到0 的位置有两种方式:

  • 退 0 步,进 0 步。也就是不动
  • 进 8 步

− 0 ≡ + 8 ( m o d 8 ) ⇔ 0 ≡ 0 ( m o d 8 ) -0 \equiv +8 (mod 8)\Leftrightarrow 0 \equiv 0 (mod 8) 0+8(mod8)00(mod8)

当然在 模为 8 的计数范围内,我们也没法表示 8 这个数字,8 等于 0,于是就有:

− 0 ≡ + 8 ( m o d 8 ) ⇔ + 0 ≡ + 8 ( m o d 8 ) ⇔ − 0 ≡ + 0 ( m o d 8 ) -0 \equiv +8 (mod 8)\Leftrightarrow +0 \equiv +8 (mod 8)\Leftrightarrow -0 \equiv +0 (mod 8) 0+8(mod8)+0+8(mod8)0+0(mod8)

既然 +0 和 -0 等价,就都用0来表示了,消除了 +0 和 -0 的歧义,完善一下我们的图:

tow's-complement-Page-3

根据上面的结论和推导我们又得出一张表:

十进制【原码】二进制【补】十进制【补】二进制【原码】
+00000000
+10011001
+20102010
+30113011
-41004
-31015111
-21106110
-11117101

关于 4 到底是 + 4 还是 -4 ,其实从补数角度来说都可以,不影响计算结果。
但是我们人为约定,二进制最高位表示符号,为了统一,所以 4 表示 - 4

而且这个和权重有关系后面会讲到

现在我们的可计数范围变成了 − 4 ∼ + 3 -4\sim+3 4+3,即 − 2 n ∼ 2 n − 1 ( n = 3 ) -2^n \sim 2^n -1(n = 3) 2n2n1(n=3)

看起来不错,这样貌似我们就能实现用加法来计算减法了,验证一下

还是以下面的式子为例:
1 − 3 = 1 + ( − 3 ) 1 - 3 = 1 + (-3) 13=1+(3)

00 1 [ 2 补 ] + 10 1 [ 2 补 ] = 11 0 [ 2 补 ] = 6 [ 10 补 ] ≡ − 2 [ 10 原 ] ( m o d 8 ) 001_{[2补]} + 101_{[2补]} = 110_{[2补]} = 6_{[10补]} \equiv -2_{[10原]}(mod 8) 001[2]+101[2]=110[2]=6[10]2[10](mod8)

此时可以发现,用加法实现减法的操作,而且我们没有约定什么最高位为符号位,只是用一个正数来表示一个对应的负数而已,比如:5 表示 -3,6 表示 -2

我们需要注意,用补数计算的结果也是补数

上面的这种编码方式取个名字吧,补数补数,干脆就叫做 补码

关于反码

反码这个东西就是反计算机的,人类为了计算过程不反人类搞了这么一个中间产物,因为在人类计算原码到补码的过程中,发现的一个神奇的现象:

  • 一个负数的补码正好是其绝对值的原码各位取反再加一
  • 一个正数的补码正好就是其本身

比如 - 3 的补码是 101 ,计算过程是用模减去-3的绝对值,或者用模, mod - |-3|,我们例子中的模是 8 (即二进制的: 1000),所以 - 3 的补码:8 - 3 = 5

100 0 [ 原 ] − ∣ 11 1 [ 原 ] ∣ = 100 0 [ 原 ] − 01 1 [ 原 ] = 10 1 [ 补 ] 1000_{[原]} - |111_{[原]}| = 1000_{[原]} - 011_{[原]} = 101_{[补]} 1000[]∣111[]=1000[]011[]=101[]

1000 - 011 而我们最多只能表示 3 位,无法表示 1000 ,所以用 111 + 1 表示,则
100 0 [ 原 ] − ∣ 11 1 [ 原 ] ∣ = 11 1 [ 原 ] − 01 1 [ 原 ] + 1 [ 原 ] 1000_{[原]} - |111_{[原]}| = 111_{[原]} - 011_{[原]} + 1_{[原]} 1000[]∣111[]=111[]011[]+1[]
计算过程就是所谓的负数的补码等于其原码除符号位不变,其余各位取反 + 1 ,而各位取反的结果就叫做反码(1’s compelment)。所以都是碰巧而已,对应到其他进制的补码可就不是取反+1了,后面会讲到。

关于补码

补码其实就是一种编码方式,好处在于可以使用加法来实现减法的操作,和原码、反码没啥太大的关系,仅仅就是一种编码,硬要说有啥关系,那就是我们人类计算过程需要用原码和补码来方便我们人类的计算和识别。其实计算方式还有另外一种计算补码的方式

因为我们约定了最高位表示符号,那么我们就相当于给其赋予了负权重

例如:

11 1 [ 2 ] = − 1 ∗ 2 2 + 1 ∗ 2 1 + 1 ∗ 2 0 = − 4 + 2 + 1 = − 1 111_{[2]} = -1*2^2 + 1*2^1 + 1*2^0 = -4 + 2 + 1 = -1 111[2]=122+121+120=4+2+1=1

11 0 [ 2 ] = − 1 ∗ 2 2 + 1 ∗ 2 1 + 0 ∗ 2 0 = − 4 + 2 + 0 = − 2 110_{[2]} = -1*2^2 + 1*2^1 + 0*2^0 = -4 + 2 + 0 = -2 110[2]=122+121+020=4+2+0=2

10 1 [ 2 ] = − 1 ∗ 2 2 + 0 ∗ 2 1 + 1 ∗ 2 0 = − 4 + 0 + 1 = − 3 101_{[2]} = -1*2^2 + 0*2^1 + 1*2^0 = -4 + 0 + 1 = -3 101[2]=122+021+120=4+0+1=3

10 0 [ 2 ] = − 1 ∗ 2 2 + 0 ∗ 2 1 + 0 ∗ 2 0 = − 4 + 0 + 0 = − 4 100_{[2]} = -1*2^2 + 0*2^1 + 0*2^0 = -4 + 0 + 0 = -4 100[2]=122+021+020=4+0+0=4

01 0 [ 2 ] = − 0 ∗ 2 2 + 1 ∗ 2 1 + 1 ∗ 2 0 = − 0 + 2 + 0 = 2 010_{[2]} = -0*2^2 + 1*2^1 + 1*2^0 = -0 + 2 + 0 = 2 010[2]=022+121+120=0+2+0=2

01 1 [ 2 ] = − 0 ∗ 2 2 + 1 ∗ 2 1 + 1 ∗ 2 0 = − 0 + 2 + 1 = 3 011_{[2]} = -0*2^2 + 1*2^1 + 1*2^0 = -0 + 2 + 1 = 3 011[2]=022+121+120=0+2+1=3

扩展一下10进制中的补码

二进制中,我们可以推导出:

2 n − X = Y ⇒ − X ≡ Y ( m o d    2 n ) 2^n -X = Y \Rightarrow -X \equiv Y (mod \; 2^n) 2nX=YXY(mod2n)

称为 2’s-compelment。其实扩展到任意数字N,关于其 N w N^w Nw的补数 一样适用,可以叫做 N’s-compelment, 即:

N w − X = Y ⇒ − X ≡ Y ( m o d    N w ) N^w -X = Y \Rightarrow -X \equiv Y (mod \; N^w) NwX=YXY(modNw)

现在假如我们的世界陷入了只能计算1位数加法的混沌之中,1 + 9 = 10 ,2 + 8 = 10 这种,会产生溢出等于 0 。
而 4+7 = 11 这种,会产生溢出等于1。

现在我们只能使用 0 ∼ 9 0\sim9 09这几个数字了,且失去了正号和负号。(对应计算机的二进制世界,只有0和1,没有正负符号,而且会产生溢出)。
那么我们如何表示负数以及计算减法呢

在这个世界中,我们知道以下规则:

  • 模是 10

  • 一个负数可以由一个正数来表示(模确定的情况下,其的正补数)

  • 减去一个正数等于加上这个数的相反数(负数)

由于没有了负号,于是聪明的我们决定将 0 ∼ 9 0\sim9 09十个数字分成两组,一半表示正,一半表示负。

不过这样我们能表示的范围就变小了,变成了 − 5 ∼ 4 -5\sim4 54,超过这个范围的数我们没法再表示

规则1:模是 10

规则2:一个负数可以由一个正数来表示

由:

1 0 1 − X = Y ⇒ − X ≡ Y ( m o d    1 0 1 ) 10^1 -X = Y \Rightarrow -X \equiv Y (mod \; 10^1) 101X=YXY(mod101)

那么我们可以知道 :

10 − 1 = 9 ≡ − 1 ( m o d    10 ) 10 - 1 = 9 \equiv-1(mod\;10) 101=91(mod10)

10 − 2 = 8 ≡ − 2 ( m o d    10 ) 10 - 2 = 8 \equiv-2(mod\;10) 102=82(mod10)

10 − 3 = 7 ≡ − 3 ( m o d    10 ) 10 - 3 = 7 \equiv-3(mod\;10) 103=73(mod10)

10 − 4 = 6 ≡ − 4 ( m o d    10 ) 10 - 4 = 6 \equiv-4(mod\;10) 104=64(mod10)

10 − 5 = 5 ≡ − 5 ( m o d    10 ) 10 - 5 = 5 \equiv-5(mod\;10) 105=55(mod10)

5 表示+5 还是 -5, 完全是我们人为约定的,就像前面二进制中 100 表示 - 4 一样,那只是个计数的符号而已

我们称这种新的计数方称之为 数字10 的补数(10’s-compelment),或者直接叫做补码,于是我们可以得出一张对应的关系表:

十进制补码十进制原码
00
11
22
33
44
5-5
6-4
7-3
8-2
9-1

我们可以用补码来实现计算如下式子 : 3 − 4 = 3 + ( − 4 ) 3 - 4 = 3 +(-4) 34=3+(4):

3 的补码是 3, -4 的补码是 6。

3 [ 原 ] + ( − 4 [ 原 ] ) = 3 [ 补 ] + 6 [ 补 ] = 9 [ 补 ] = − 1 [ 原 ] 3_{[原]} + (- 4_{[原]}) = 3_{[补]} + 6_{[补]} = 9_{[补]} = -1_{[原]} 3[]+(4[])=3[]+6[]=9[]=1[]

补码,原来如此!

  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值