计组——溢出判断

当两个符号相同的数相加或两个符号相异的数相减才可能产生溢出。
【例】设机器字长为8位（含一位符号位），A=15，B=-24，C=124，求[A+C]_补和[B-C]_补。
【分析】
[A+C]_补=00001111+01111100=10001011（真值-117）
[B-C]_补=[B]_补+[-C]_补=11101000+10000100=01101100 (真值+108)

方法一：采用一位符号位

对于A，B两个操作数：

针对上式——逻辑表达式
与：如ABC，表示A与B与C（类似于&&）当且仅当A、B、C均为1时，ABC为1
或：如A+B+C，表示A或B或C（类似于||）A、B、C中有一个或多个为1，则A+B+C=1
非：如$\overline{A}$，表示取反
在计算机中用硬件电路实现，方便进行溢出判断

☆也可根据数据位进位情况判断溢出

	符号位的进位$C_s$	最高数值位的进位$C_1$
上溢	0	1
下溢	1	0

上例[A+C]_补的计算结果可知，$C_s=0$，$C_1=1$，发生了上溢；[B-C]_补，$C_s=1$，$C_1=0$，发生了下溢
即$C_s$与$C_1$不同时发生溢出，逻辑判断表达式$V=C_s\oplus C_1$，若V=0，表示无溢出；V=1，表示有溢出

方法二：采用双符号位

正数符号为00，负数符号为11
[A+C]_补=000001111+001111100=010001011（上溢）
[B-C]_补=111101000+110000100=101101100 （下溢)
结果中更高的符号位表示本该得到的正确的结果，第2个符号位表示实际得到的结果
用硬件判断溢出时，记两个符号位$C_{s1}{C}_{s2}$，则$V=C_{s1}\oplus C_{s2}$，
若V=0，表示无溢出；若V=1，表示有溢出。

实际存储时只存储1个符号位，运算时会复制一个符号位

补充：符号扩展

通过符号扩展，可以在一定程度上避免溢出
int －> long
8位 －> 16位
正整数（原、反、补的表示一样）数值位前面直接添补0
负整数：在原符号位和数值位中间添补，原码添0，反码、补码都添1

正小数（原、反、补的表示一样）在尾部添0
负小数：原码在尾部添0，反码在尾部添1，补码在尾部添0