假定A的反码用~A表示,由补码定义知A的补码为~A+1。A、B都不小于0,由目前的方法我们可以得知,A-B=A+(-B)=A+~(-B)+1,这是否正确呢?
随机验证:令A=0100,B=0001,最高位为正负标志位,-B=1001,~(-B)=1110,~(-B)+1=1111。A+~(-B)+1=0100+1111=0011,然而A-B的正确答案就是0011,故等式成立。
仔细思考:假定我们是8bit/byte的运算,A-B=A+~B+1→B+~B+1=0,发现,B+~B=255=(11111111)2,显然有B+~B+1=(00000000)2=0,关键在于8bit的缘故!由此我们知,不管你是不是以最高位为正负标志位,你以任何一位为正负标志位,都是成立的!
事后感想:其实上述只是粗劣的分析,我曾试着从每一位上去考虑,结果发现自己已经不知道如果去思考这玩意了,欢迎交流!