[计算机组成原理] 使用双符号位判断溢出之前需要先判断参与运算的两数符号是否相同

例 1
补码运算 1,101+0,100 = 10,001
对应的真值运算 -3+4=1

例 2
补码运算 1,111+0,001 = 10,000
对应的真值运算 -1+1=0

如此看来，双符号位法判断是否溢出就出错了

其实不然，在使用任何一种判别方法之前，首先要判断参与运算的两数符号是否相同，如果不相同，那么接下来就不用判断了，肯定不会溢出，所以并不是双符号位法错了
也就是说 参与运算的两数符号是否相同 是大前提