判断两个符号相同的二进制数相加会产生溢出的依据是符号位是否发生变化