有符号数相减的溢出判断

有符号数相减的溢出判断

n位二进制补码x和y做相减运算：x-y，溢出分为两种情况：
1.当y=-2^n-1时，若x为非负数，则发生溢出；
2.当y!=-2^n-1时，若x和y有相同的符号位，且与x-y的符号位不同，则发生溢出。