在计算机中，溢出（Overflow）发生在整数运算结果超出数据类型的表示范围时。根据数据类型是有符号数还是无符号数，溢出的判断条件不同。以下是详细分析：
一、有符号整数的溢出（以补码为例）
有符号整数的溢出仅发生在 同符号数相加 或 异符号数相减 时，导致结果符号与操作数符号矛盾。
核心判断规则：
- 两个正数相加，结果为负数 → 正溢出（超出最大值）。
- 两个负数相加，结果为正数 → 负溢出（超出最小值）。
示例 1：正溢出（8 位有符号数，范围：-128 ~ 127）
- 计算：
127（01111111） + 1（00000001）- 二进制加法：
01111111 + 00000001 = 10000000（补码）。 - 结果
10000000的十进制为 -128（补码规则），与预期的128不符 → 正溢出。
- 二进制加法：
示例 2：负溢出（8 位有符号数）
- 计算：
-128（10000000） + (-1)（11111111）- 二进制加法：
10000000 + 11111111 = 101111111（进位忽略，保留 8 位：01111111）。 - 结果
01111111的十进制为 127，与预期的-129不符 → 负溢出。
- 二进制加法：
判断方法（补码）：
- 若 两个操作数符号相同，且 结果符号与操作数符号不同 → 溢出。
- 或通过进位判断：符号位的进位（最高位进位）与数值部分的进位不一致 → 溢出。
二、无符号整数的溢出
无符号整数的溢出仅发生在 运算结果超过数据类型的最大值 时（无正负概念，直接 “绕回”）。
核心规则：结果超过最大值（如 8 位无符号数最大值为 255）时，发生溢出，结果取模（结果 = 实际值 % (最大值+1)）。
示例：无符号数溢出（8 位无符号数，范围：0 ~ 255）
- 计算：
255（11111111） + 1（00000001）- 二进制加法：
11111111 + 00000001 = 100000000（保留 8 位：00000000）。 - 结果为
0，实际值为 256 → 溢出，结果绕回至0（256 % 256 = 0）。
- 二进制加法：
判断方法：
- 若运算时产生 最高位进位（如 8 位无符号数加法后第 9 位为 1）→ 溢出。
三、与 “进位” 的区别
- 进位（Carry）：无符号数运算时，最高位向更高位的进位（仅表示无符号数溢出）。
- 溢出（Overflow）：有符号数运算时，结果超出范围导致符号错误（与进位无关）。
例如：
- 有符号数
127 + 1（8 位）：无进位（最高位进位为 1，但数值部分进位为 0），但发生溢出（结果符号为负）。 - 无符号数
127 + 1（8 位）：有进位（最高位为 1），发生溢出（结果绕回 0）。
四、总结：何时会溢出？
| 运算类型 | 有符号数溢出条件 | 无符号数溢出条件 |
|---|---|---|
| 加法 | 两正数相加得负数，或两负数相加得正数 | 结果 > 最大值（如 255→256） |
| 减法 | 正数减负数得负数，或负数减正数得正数 | 结果 < 0（如 0-1→255） |
关键逻辑：
- 有符号数溢出需关注 符号位的合理性（结果符号是否与操作数符号一致）。
- 无符号数溢出需关注 数值是否超出范围（结果是否绕回）。
通过以上规则，可快速判断运算中是否发生溢出。
本网站原创文章版权归何大锤的狂飙日记所有。发布者：何大锤，转转请注明出处：何大锤的博客
