展开 补码相加溢出判断