进位检测法是用符号位的进位与最高数值位的进位的异或来检测,若异或的结果为1,则溢出;若结果是0,则没有溢出。 题干中,因为两个异号数相加肯定不会溢出,即结果为0,所以符号位和最高数值为都需要进位,才满足不溢出的条件。