为什么说“两个二进制有符号数相加时，如果最高位与次高位产生的进位相同则无溢出，否则溢出”

原因：二进制有符号数的最高位是符号位（0正1负），在加法运算过程中，能改变符号位的只有最高位进位（比如：1110 0001 + 1000 0001 = 0110 0010，符号位从‘1’变为‘0’）以及次高位进位（比如：0100 0010 + 0110 1001 = 1010 1111，符号位从‘0’变为‘1’）这两种情况。

可以理解为，次高位的进位和最高位的进位分别会使符号位发生一次翻转。

那么，当次高位进位和最高位进位不相同时，说明符号位发生了一次翻转，这样就会导致最终结果的符号位发生错误；

同样的，当次高位进位和最高位进位相同时，说明符号位发生了两次翻转，第一次翻转会导致符号位从正确的变为错误的，第二次翻转则会导致符号位从错误的变回正确的，此时最终结果的符号位仍然正确；

因此，两个二进制有符号数相加时，如果最高位与次高位产生的进位相同则无溢出，否则溢出。