为何此次16位加法操作后Overflow Flag（OF）未被置位？

提问内容 #

我正在学习x86汇编（更具体地说是8086），对标志位的概念感到困惑。我在网上搜索时找到了这张图片：

根据图片内容，两个16位数字执行加法操作后，OF标志仍为0（未置位）。但我所学的知识是：若相加的两个数字的最高有效位（MSB）均为0，而结果的最高有效位为1，则会发生溢出。能否有人解释为何OF仍为0？

解答 #

首先要明确：OF标志位仅针对有符号数的溢出，无符号数的溢出由CF标志位负责指示。

看图片里的加法运算：0xF800 + 0x0F00 = 0x0700，转换为二进制分析：

• 0xF800：1111100000000000（作为有符号数是负数，最高位为1）
• 0x0F00：0000111100000000（作为有符号数是正数，最高位为0）
• 结果0x0700：0000011100000000（作为有符号数是正数，最高位为0）

你之前记住的规则前提是“两个最高位为0的正数相加”，但这里的两个数最高位一个是1、一个是0，完全不满足这个前提。

OF置位的核心逻辑是：当两个有符号数相加时，只有两个正数相加得到负数，或者两个负数相加得到正数时，才会触发OF置位——因为这意味着结果超出了有符号数的表示范围。你图片里的情况是负数加正数，结果仍为正数，符合有符号数的运算逻辑，没有溢出，所以OF保持0。

如果把这两个数当作无符号数看待，0xF800 + 0x0F00 = 0x10700，此时CF会置位（结果超出16位），但OF只关心有符号数的溢出，因此不受影响。

内容的提问来源于stack exchange，提问作者blake