把十进制的 $100$ 和 $60$ 放进两个 $8$ 位有符号寄存器中，会得到下面的运算

```text
  0110 0100
+ 0011 1100
-----------
  1010 0000
```

数学上的结果明明是 $160$，机器留下的 $8$ 位结果却是 `1010 0000`。按照补码解释，它表示 $-96$。两个正数相加，结果竟然成了负数，这正是典型的有符号溢出。

观察两个操作数的符号位，可以看到

$$
b_7=0,\qquad a_7=0
$$

于是

$$
b_7\oplus a_7=0\oplus 0=0
$$

再计算另一个会溢出的例子，$-100+(-60)=-160$

```text
  1001 1100
+ 1100 0100
-----------
1 0110 0000
```

最左边超出 $8$ 位的进位被丢弃，寄存器中留下 `0110 0000`，按照 $8$ 位补码解释就是正数 $96$。两个负数相加却得到了正数，同样发生了有符号溢出。

此时两个操作数的符号位为

$$
b_7=1,\qquad a_7=1
$$

仍然有

$$
b_7\oplus a_7=1\oplus 1=0
$$

正溢出和负溢出都给出了相同结论，两个操作数的符号位一定相同，因此异或结果一定为 $0$。

所以本题正确答案是

$$
\boxed{\text{D．}b_7\text{ 与 }a_7\text{ 的逻辑异或结果一定为 }0}
$$

这个答案看起来只用了一个很简单的逻辑运算，背后却牵涉补码取值范围、有符号溢出的定义、模 $2^8$ 运算、符号位判断以及加法器的硬件实现。沿着这些关系推导一遍，才能看清为什么只有选项 D 在所有溢出情形下都成立。

## 从 $8$ 位补码的取值范围开始

题目给出的两个数分别是

$$
b_7b_6b_5b_4b_3b_2b_1b_0
$$

和

$$
a_7a_6a_5a_4a_3a_2a_1a_0
$$

其中 $b_7$ 和 $a_7$ 是各自的最高位，也是补码的符号位。

对于一个 $8$ 位补码数

$$
x_7x_6x_5x_4x_3x_2x_1x_0
$$

它所表示的整数为

$$
X=-x_7\times 2^7+\sum_{i=0}^{6}x_i2^i
$$

最高位的权不是普通无符号数中的 $+2^7$，而是

$$
-2^7=-128
$$

其余七位的权依次为

$$
64,\ 32,\ 16,\ 8,\ 4,\ 2,\ 1
$$

当符号位 $x_7=0$ 时，能够表示的数为

$$
0\sim 127
$$

当符号位 $x_7=1$ 时，能够表示的数为

$$
-128\sim -1
$$

因此，$8$ 位补码的完整取值范围是

$$
\boxed{-128\leq X\leq 127}
$$

这里存在一个看上去不完全对称的地方。正数最大只能到 $127$，负数最小却能到 $-128$。原因在于 $8$ 个二进制位共有

$$
2^8=256
$$

种不同组合。其中 $128$ 种组合表示非负数 $0\sim127$，另外 $128$ 种组合表示负数 $-128\sim-1$。零已经占用了非负区间中的一个编码，因此正数只有 $127$ 个，而负数有 $128$ 个。

补码加法是否溢出，判断依据并不是有没有向第 $9$ 位进位，而是数学结果能否装进 $[-128,127]$ 这个范围。

只要真实的数学结果满足

$$
-128\leq A+B\leq127
$$

就没有发生有符号溢出。

如果

$$
A+B>127
$$

便发生正溢出。

如果

$$
A+B<-128
$$

便发生负溢出。

整数溢出的通常定义也是运算结果超出了固定宽度整数能够表示的范围。处理器会保留低位结果，并通过状态标志反映有符号溢出。[ARM 对条件标志的官方说明](https://developer.arm.com/community/arm-community-blogs/b/architectures-and-processors-blog/posts/condition-codes-1-condition-flags-and-codes)给出的例子中，两个最大的 $32$ 位正补码整数相加会设置有符号溢出标志。这个例子与本题的 $8$ 位情形完全遵循同一条规律，只是寄存器宽度不同。

## 有符号加法为什么只有同号相加才可能溢出

设两个 $8$ 位补码数的真实值分别为 $A$ 和 $B$。根据符号位，可以把加法分成四种情况。

| $b_7$ | $a_7$ | $B$ 的符号 | $A$ 的符号 |
| ------: | ------: | --------- | --------- |
|   $0$ |   $0$ | 非负        | 非负        |
|   $0$ |   $1$ | 非负        | 负         |
|   $1$ |   $0$ | 负         | 非负        |
|   $1$ |   $1$ | 负         | 负         |

先考察两个符号不同的操作数。假定

$$
A\geq0,\qquad B<0
$$

因为

$$
0\leq A\leq127
$$

并且

$$
-128\leq B\leq-1
$$

二者之和的最小可能值出现在 $A=0$、$B=-128$ 时

$$
A+B=-128
$$

最大可能值出现在 $A=127$、$B=-1$ 时

$$
A+B=126
$$

所以

$$
-128\leq A+B\leq126
$$

整个区间都处在 $8$ 位补码的合法范围内。若改成 $A<0$、$B\geq0$，结论完全相同。

由此可以严格得到

$$
\boxed{\text{一正一负的两个 }8\text{ 位补码数相加，不会发生有符号溢出}}
$$

直观上也很好理解。正数把结果向数轴右侧推动，负数把结果向数轴左侧推动，两种作用相互抵消。一个操作数再大也不超过 $127$，另一个操作数再小也不低于 $-128$，相反方向的叠加不会越过两侧边界。

再考察两个非负数相加。它们都处在

$$
0\sim127
$$

范围内，数学和可能达到

$$
127+127=254
$$

其中 $128\sim254$ 已经超过 $8$ 位补码的正数上界 $127$，因而存在正溢出的可能。

发生正溢出时，两个操作数的符号位必定都是 $0$

$$
b_7=0,\qquad a_7=0
$$

再考察两个负数相加。它们都处在

$$
-128\sim-1
$$

范围内，数学和可能低至

$$
-128+(-128)=-256
$$

其中 $-256\sim-129$ 已经低于补码下界 $-128$，因而存在负溢出的可能。

发生负溢出时，两个操作数的符号位必定都是 $1$

$$
b_7=1,\qquad a_7=1
$$

所以，加法发生有符号溢出时，输入符号位只可能出现两种组合

$$
(b_7,a_7)=(0,0)
$$

或者

$$
(b_7,a_7)=(1,1)
$$

绝不可能出现

$$
(0,1)
$$

或

$$
(1,0)
$$

这已经足以决定本题答案。

需要保留一个逻辑方向上的严谨性。同号相加是溢出的必要条件，却不是充分条件。两个操作数同号，并不保证一定溢出。

例如

$$
20+30=50
$$

两个操作数都是正数，符号位相同，但结果没有超过 $127$。

再如

$$
-20+(-30)=-50
$$

两个操作数都是负数，符号位同样相同，结果也没有低于 $-128$。

正确的命题应当写成

$$
\text{发生加法溢出}\Longrightarrow b_7=a_7
$$

不能倒过来写成

$$
b_7=a_7\Longrightarrow\text{一定发生加法溢出}
$$

题目已经把发生溢出作为已知条件，因此只需从这个条件推出两个符号位相同。

## 用逻辑运算逐项排除四个答案

逻辑或、逻辑与和逻辑异或对两个二进制位的运算结果如下。

| $b_7$ | $a_7$ | $b_7\lor a_7$ | $b_7\land a_7$ | $b_7\oplus a_7$ |
| ------: | ------: | --------------: | ---------------: | ----------------: |
|   $0$ |   $0$ |           $0$ |            $0$ |             $0$ |
|   $0$ |   $1$ |           $1$ |            $0$ |             $1$ |
|   $1$ |   $0$ |           $1$ |            $0$ |             $1$ |
|   $1$ |   $1$ |           $1$ |            $1$ |             $0$ |

由于溢出时只可能取表中的第一行或第四行，因此可以逐项检查。

选项 A 认为

$$
b_7\lor a_7=1
$$

一定成立。

负数加负数发生溢出时，两个符号位都是 $1$，逻辑或确实得到 $1$。然而，正数加正数也可能溢出，此时

$$
b_7\lor a_7=0\lor0=0
$$

例如

$$
100+60=160
$$

其符号位组合是 $(0,0)$，已经发生溢出，却不满足逻辑或结果为 $1$。所以 A 错误。

选项 B 认为

$$
b_7\land a_7=0
$$

一定成立。

正数加正数发生溢出时，两个符号位都是 $0$，逻辑与确实得到 $0$。然而，负数加负数也可能溢出，此时

$$
b_7\land a_7=1\land1=1
$$

例如

$$
-100+(-60)=-160
$$

已经低于 $-128$，必然溢出，但逻辑与结果为 $1$。所以 B 错误。

选项 C 认为

$$
b_7\oplus a_7=1
$$

一定成立。

异或运算在两个输入位不同的时候得到 $1$。也就是说，C 实际上声称两个操作数必定异号。然而两个补码数异号相加不会溢出，这与题目的已知条件直接冲突。

所以 C 错误。

选项 D 认为

$$
b_7\oplus a_7=0
$$

一定成立。

异或运算在两个输入相同时得到 $0$。溢出时两个操作数必定同号，只可能是 $(0,0)$ 或 $(1,1)$，这两种组合的异或结果都为 $0$。

所以 D 正确。

这里也可以把异或理解成一个差异检测器。两个输入相同，它输出 $0$。两个输入不同，它输出 $1$。题目已知发生溢出，由补码加法规则可知输入符号没有差异，因此异或结果必为 $0$。

## 从正溢出和负溢出继续验证

为了把判断过程彻底固定下来，可以分别计算一个边界例子。

考虑

$$
127+1
$$

对应的二进制补码为

```text
  0111 1111
+ 0000 0001
-----------
  1000 0000
```

数学结果是 $128$，超出 $8$ 位补码的最大值 $127$。寄存器留下的 `1000 0000` 表示 $-128$。

两个输入符号位为

$$
0,\ 0
$$

输出符号位却变成 $1$。这属于正溢出。

此时四个选项涉及的逻辑结果为

$$
0\lor0=0
$$

$$
0\land0=0
$$

$$
0\oplus0=0
$$

这个例子直接排除了 A 和 C。

再考虑

$$
-128+(-1)
$$

两个操作数的补码分别为 `1000 0000` 和 `1111 1111`

```text
  1000 0000
+ 1111 1111
-----------
1 0111 1111
```

丢弃第 $9$ 位进位以后，留下 `0111 1111`，解释为正数 $127$。数学结果应为 $-129$，已经低于最小值 $-128$，因此发生负溢出。

两个输入符号位为

$$
1,\ 1
$$

输出符号位却变成 $0$。

对应逻辑结果为

$$
1\lor1=1
$$

$$
1\land1=1
$$

$$
1\oplus1=0
$$

这个例子又直接排除了 B，D 仍然成立。

两个边界例子合在一起非常有力。`0111 1111 + 0000 0001` 排除 A，`1000 0000 + 1111 1111` 排除 B，两者共同排除 C，并共同支持 D。

还可以验证一个异号加法

$$
100+(-60)=40
$$

对应二进制运算为

```text
  0110 0100
+ 1100 0100
-----------
1 0010 1000
```

丢弃最高进位以后，结果 `0010 1000` 正好表示 $40$。虽然出现了向第 $9$ 位的进位，但有符号运算没有溢出。

这个例子揭示了一个考试中很常见的误区，最高位产生进位不等于补码有符号溢出。进位与溢出服务于两种不同的数值解释。

若把位模式看成无符号数，`0110 0100` 是 $100$，`1100 0100` 是 $196$，二者之和为 $296$，超出无符号 $8$ 位的最大值 $255$，所以出现无符号进位。

若把相同的位模式看成补码有符号数，二者分别是 $100$ 和 $-60$，数学和为 $40$，处于合法范围内，所以没有有符号溢出。

硬件中的同一个加法器可以同时计算结果、进位标志和溢出标志。差别不在加法器算出了不同的低 $8$ 位，而在处理器如何解释这些位，以及后续程序检查哪个状态标志。[Intel 架构软件开发手册](https://cdrdv2-public.intel.com/825743/325462-sdm-vol-1-2abcd-3abcd-4.pdf)对进位标志和溢出标志作了区分，前者主要用于无符号算术，后者用于检测有符号结果是否越出补码范围。

## 完整的补码加法溢出公式

假设相加后的 $8$ 位结果是

$$
s_7s_6s_5s_4s_3s_2s_1s_0
$$

其中 $s_7$ 是结果符号位。

正溢出的条件为

$$
b_7=0,\qquad a_7=0,\qquad s_7=1
$$

负溢出的条件为

$$
b_7=1,\qquad a_7=1,\qquad s_7=0
$$

把这两种情况写成布尔表达式，可得溢出标志 $V$

$$
V=
(\overline{b_7}\land\overline{a_7}\land s_7)
\lor
(b_7\land a_7\land\overline{s_7})
$$

也可以写成更加紧凑的形式

$$
\boxed{
V=\overline{b_7\oplus a_7}\land(b_7\oplus s_7)
}
$$

这个公式包含两层判断。

$$
\overline{b_7\oplus a_7}=1
$$

表示两个输入符号位相同。

$$
b_7\oplus s_7=1
$$

表示结果符号与输入符号不同。

两项同时为 $1$，才会发生溢出。因此，一个完整的符号判断可以表达为

$$
\boxed{\text{两个同号数相加，结果变成相反符号，发生溢出}}
$$

题目只询问两个输入符号位 $b_7$ 和 $a_7$ 之间的关系，没有给出结果符号位 $s_7$，所以只能判断溢出的必要条件

$$
b_7=a_7
$$

把相等关系转成逻辑异或关系，就是

$$
b_7\oplus a_7=0
$$

这正是选项 D。

硬件层面还存在另一个等价判据。设进入符号位的进位为 $C_7$，从符号位送出的进位为 $C_8$，则

$$
\boxed{V=C_7\oplus C_8}
$$

如果进入符号位的进位与离开符号位的进位不同，就发生补码有符号溢出。若二者相同，则没有有符号溢出。[补码加法资料](https://en.wikipedia.org/wiki/Two%27s_complement#Addition)也说明了这一点，符号位两侧的进位不同时产生算术溢出，异或门因而可以直接生成溢出信号。

以前面的 $127+1$ 为例

```text
  0111 1111
+ 0000 0001
-----------
  1000 0000
```

低七位连续产生进位，因此进入符号位的进位 $C_7=1$。符号位处是 $0+0+1$，不会向更高位进位，所以 $C_8=0$。

于是

$$
V=C_7\oplus C_8=1\oplus0=1
$$

溢出标志被置位。

对于 $-1+(-1)$

```text
  1111 1111
+ 1111 1111
-----------
1 1111 1110
```

结果是 $-2$，处于合法范围内。进入符号位和离开符号位的进位都为 $1$

$$
C_7=1,\qquad C_8=1
$$

所以

$$
V=1\oplus1=0
$$

没有溢出。

这里还能看到，两个负数相加不一定溢出。同号条件只负责把异号情形排除出去，最终是否越界，还要结合数值大小或结果符号判断。

## 补码加法与环绕现象

固定为 $8$ 位以后，硬件只保留结果的低 $8$ 位。数学上可以把它理解为模 $256$ 运算

$$
R=(A+B)\bmod256
$$

这里的 $R$ 是最终保留下来的位模式对应的无符号值。若再按照补码解释 $R$，就可能出现正数变负数或负数变正数的环绕现象。

例如

$$
100+60=160
$$

低 $8$ 位无符号值仍是 $160$。由于 $160\geq128$，它的最高位为 $1$。把它解释成补码，需要计算

$$
160-256=-96
$$

所以寄存器结果表现为 $-96$。

再看

$$
-100+(-60)=-160
$$

为了找到保存的低 $8$ 位模式，可以加上 $256$

$$
-160+256=96
$$

所以寄存器里留下无符号值 $96$，二进制为 `0110 0000`。其最高位为 $0$，按照补码解释也是正数 $96$。

这两类环绕分别表现为

$$
\text{正数}+\text{正数}\longrightarrow\text{负的机器结果}
$$

以及

$$
\text{负数}+\text{负数}\longrightarrow\text{非负的机器结果}
$$

无论是哪一类，两个输入符号始终相同。也正因为如此，逻辑异或始终得到 $0$。

在现实处理器中，这种判断并不是纸面上的技巧。CPU 的 ALU 在执行加法时，会同时生成结果位、进位标志、零标志、负数标志以及溢出标志。ARM 将 $V$ 定义为有符号溢出标志，并以最大正补码整数相加为示例。x86 体系中的 $OF$ 也承担相同作用。编译器实现有符号范围检查、汇编程序执行条件跳转、操作系统处理异常算术时，都会利用这些硬件信息。

某些音频处理器、图像处理器和数字信号处理器会采用饱和算术。普通环绕算术中，$127+1$ 会留下 $-128$。饱和算术则会把结果限制在最大值 $127$，避免音频采样或像素亮度从最大正值突然绕到负值。两种策略的处理结果不同，但溢出判据仍建立在真实数学结果是否越出可表示范围之上。

## 考场中的快速判断

看到补码加法溢出题，可以把判断压缩为一条稳定规则

$$
\boxed{\text{加法溢出只可能发生在同号数相加时}}
$$

题目已经明确给出发生溢出，所以立即得到

$$
b_7=a_7
$$

两个位相同，对它们执行异或运算，结果一定为 $0$

$$
b_7\oplus a_7=0
$$

因此答案锁定为 D。

逻辑或无法区分 $(0,0)$ 和 $(1,1)$，因为前者得到 $0$，后者得到 $1$。

逻辑与同样无法给出固定值，因为前者得到 $0$，后者得到 $1$。

逻辑异或恰好把两种同号组合统一映射为 $0$，所以只有 D 能覆盖所有可能的溢出情形。

整道题最核心的推理链可以写成

$$
\text{发生补码加法溢出}
$$

$$
\Downarrow
$$

$$
\text{两个操作数必定同号}
$$

$$
\Downarrow
$$

$$
b_7=a_7
$$

$$
\Downarrow
$$

$$
b_7\oplus a_7=0
$$

因此，本题的确定答案为

$$
\boxed{\text{D}}
$$

需要记住的并不是孤立的选项字母，而是三组关系。异号相加不会发生有符号溢出，同号相加可能发生有符号溢出，同号并且结果变号时才真正构成溢出。题目只问输入符号位的关系，所以采用前两层信息便足以判断，两个输入符号位相同，它们的逻辑异或结果一定为 $0$。


把十进制的 (100) 和 (60) 放进两个 (8) 位有符号寄存器中，会得到下面的运算

从两个符号位锁定补码加法溢出说起

紫薇堂堂主

编程语言

架构设计

8位补码加法发生有符号溢出时，两个操作数符号位必然相同，因此逻辑异或结果恒为0。正负溢出均满足此条件，而异号相加不会溢出。故选D。

图像处理

软件开发

代码解释

编译器

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

EdgeOne AI 安全实战专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

从两个符号位锁定补码加法溢出说起-腾讯云开发者社区-腾讯云

从两个符号位锁定补码加法溢出说起

从两个符号位锁定补码加法溢出说起

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐