1. 题目背景与核心考点
这道2010年的计算机考研真题，考察的是计算机组成原理中补码表示和整数溢出的核心概念。作为计算机体系结构的基础知识点，补码运算和溢出判断在处理器设计、编译器优化乃至安全编程等场景中都有广泛应用。
题目给出了四个用8位补码表示的十六进制数：r1=FEH、r2=F2H、r3=90H、r4=F8H，要求我们判断哪一对数的乘积在存入8位寄存器时会发生溢出。这类题目看似简单，但实际涉及计算机底层数据表示的多个关键概念。
提示：在计算机中，补码（Two's complement）是表示有符号整数的最常用方式，其核心优势在于可以用同一套电路实现加减法运算，且零的表示唯一。
2. 补码表示与转换方法
2.1 补码的基本原理
补码表示法中，最高位（MSB）是符号位：0表示正数，1表示负数。对于n位补码，其表示范围为[-2^(n-1), 2^(n-1)-1]。对于8位补码，就是[-128, 127]。
补码的一个关键特性是：正数的补码就是其二进制原码，而负数的补码是其绝对值的二进制表示取反后加1（即补码的补码是原数）。
2.2 题目中的补码转换
让我们具体分析题目给出的四个数值：
-
r1 = FEH
- 二进制：1111 1110
- MSB为1 → 负数
- 取反：0000 0001
- 加1：0000 0010 → 2
- 所以r1 = -2
-
r2 = F2H
- 二进制：1111 0010
- MSB为1 → 负数
- 取反：0000 1101
- 加1：0000 1110 → 14
- 所以r2 = -14
-
r3 = 90H
- 二进制：1001 0000
- MSB为1 → 负数
- 取反：0110 1111
- 加1：0111 0000 → 112
- 所以r3 = -112
-
r4 = F8H
- 二进制：1111 1000
- MSB为1 → 负数
- 取反：0000 0111
- 加1：0000 1000 → 8
- 所以r4 = -8
技巧：对于8位补码，可以记住最高位的权重是-128，其余位是正权重。例如r3=90H=10010000，可以快速计算为-128 + 16 = -112。
3. 乘法运算与溢出判断
3.1 补码乘法的特性
在计算机中，两个n位补码数相乘，理论上需要2n位才能完整表示结果。但在实际应用中，我们常常只保留低n位，这就可能导致溢出。
对于本题，虽然硬件上乘法运算会产生16位结果，但题目明确要求"存入8位寄存器"，意味着我们需要截断高8位，只保留低8位。如果真实数学结果超出了8位补码的表示范围[-128,127]，就会发生溢出。
3.2 各选项的乘积计算
让我们逐一计算四个选项的乘积：
选项A：r1 × r2 = (-2) × (-14) = 28
- 28在[-128,127]范围内 → 不溢出
选项B：r2 × r3 = (-14) × (-112) = 1568
- 1568远大于127 → 溢出
选项C：r1 × r4 = (-2) × (-8) = 16
- 16在[-128,127]范围内 → 不溢出
选项D：r2 × r4 = (-14) × (-8) = 112
- 112在[-128,127]范围内 → 不溢出
3.3 溢出判断的深入理解
在补码乘法中，溢出主要有两种情况：
- 两个正数相乘结果为负（符号位溢出）
- 两个负数相乘结果为正（符号位溢出）
- 乘积的绝对值超过了寄存器能存储的最大值（数值溢出）
本题中，所有操作数都是负数，乘积结果都是正数，所以只需要判断数值是否过大（即是否超过127）。
注意：即使两个-128相乘（理论上可能的最大乘积），结果是16384，远超过8位补码的表示范围。因此，在8位补码乘法中，任何两个绝对值大于1的数相乘都可能溢出。
4. 计算机中的实际处理
4.1 硬件实现视角
在实际的CPU设计中，乘法运算通常由ALU（算术逻辑单元）完成。对于n位乘法：
- 无符号乘法：结果总是n×n→n位（可能溢出）
- 有符号乘法（补码）：结果需要2n位才能准确表示
现代处理器通常提供两种结果：
- 完整的2n位乘积（如x86的MUL/IMUL指令）
- 只保留低n位（如某些嵌入式处理器）
4.2 溢出标志位
大多数CPU都有溢出标志（Overflow Flag，OF），用于指示有符号运算是否发生了溢出。在本题场景中：
- 计算r2×r3时，OF会被置1
- 其他选项计算时，OF保持为0
4.3 编程语言中的表现
在高级语言中，整数溢出行为取决于语言规范：
- C/C++：有符号整数溢出是未定义行为（UB）
- Java：明确定义了溢出时的回绕行为
- Python：整数自动扩展，不会溢出
例如，在C语言中：
c复制int8_t a = -14;
int8_t b = -112;
int8_t c = a * b; // 未定义行为
5. 常见误区与注意事项
5.1 容易犯的错误
- 忽略符号扩展：在将8位补码转换为十进制时，忘记考虑符号位。
- 混淆无符号和有符号溢出：无符号溢出看进位标志（CF），有符号溢出看溢出标志（OF）。
- 错误理解截断：认为截断高8位就是简单的丢弃，而忽略了这可能改变数值的符号。
- 范围判断错误：记错8位补码的范围（应该是[-128,127]，不是[-127,127]）。
5.2 解题技巧
- 快速转换法：记住8位补码中，最高位权重是-128，可以快速计算负数的值。
- 边界值检查：先计算操作数的绝对值，如果都大于√127≈11.27，乘积就可能溢出。
- 符号规律：同号相乘为正，异号相乘为负，可以帮助快速验证结果符号是否正确。
- 极端情况测试：考虑-128×-128=16384（溢出）和-128×1=-128（不溢出）等情况。
5.3 实际应用中的考量
在编写底层代码时，特别是涉及安全敏感的场合（如密码学、金融计算），必须特别注意整数溢出问题。常见的防御措施包括：
- 使用更大位宽的数据类型存储中间结果
- 在运算前进行范围检查
- 使用安全的数学库函数
- 启用编译器的溢出检查选项
6. 扩展思考与相关题目
6.1 相关考研真题
历年考研中类似的题目还有：
- 2009年第12题：补码运算和符号扩展
- 2014年第13题：补码表示范围
- 2018年第12题：浮点数表示与溢出
这些题目都考察了计算机中数值表示和运算的核心概念，建议一并练习。
6.2 进阶思考题
-
如果题目改为无符号数，溢出判断会有什么不同？
- 无符号8位数的范围是[0,255]
- 乘积超过255即为溢出
-
如何用硬件电路检测乘法溢出？
- 比较结果的高n位是否全0或全1
- 检查符号位是否与预期一致
-
在编程中，如何检测乘法是否会发生溢出？
- 方法1：转换为更大类型进行运算后比较
- 方法2：数学方法判断（如a×b>MAX → 当a>MAX/b）
6.3 实际案例分析
考虑一个简单的图像处理程序，使用8位有符号整数表示像素值（-128表示最暗，127表示最亮）。当对两个暗像素（如-100和-120）进行混合（相乘再缩放）时，如果不考虑溢出，可能会导致结果异常明亮（因为-100×-120=12000，远大于127）。
正确的做法应该是：
- 先将数值转换为更大的数据类型（如32位）
- 执行乘法运算
- 进行适当的缩放
- 检查结果是否在有效范围内
- 最后转换回8位
7. 总结与个人建议
通过这道题目，我们深入理解了补码表示和整数溢出的关键概念。在实际学习和应用中，我有以下几点建议：
- 掌握基本原理：彻底理解补码的表示方法和运算规则，这是计算机体系结构的基础。
- 注意边界条件：在涉及数值运算时，总是要考虑极值情况，特别是最小值和最大值。
- 理论与实践结合：通过编程实验观察不同情况下的溢出行为，加深理解。
- 关注安全影响：整数溢出是许多安全漏洞的根源，在编写代码时要特别注意。
这道题目的正确答案是B选项，因为-14×-112=1568超过了8位补码能表示的最大正数127。在备考过程中，类似的题目需要反复练习，直到能够快速准确地判断各种情况下的溢出条件。