x86标志寄存器详解：CF、OF、SF、ZF、PF判定与实战用法-北京尧图网络

我第一次被标志寄存器按在地上摩擦是在调一段多字节加法的时候。当时的代码逻辑看着完全没问题两个 32 位的数据逐段相加用的就是add和adc可结果偶尔会差出一个高位进位。我盯着调试器里那排CF OF SF ZF PF的字母课本上的定义全都想不起来脑子里只剩一个念头这五个灯到底在说什么后来才意识到标志寄存器不是考试题它是一块 CPU 给你看的仪表盘看不懂它你连“为什么结果不对”都问不出来。这篇就把五个标志位掰开揉碎讲清楚什么指令会改它们、每个标志位怎么判定、CF 和 OF 到底差在哪最后配几个可以手算、也可以上调试器验证的练习。适合刚学汇编的人、做底层调试的开发者以及所有想真正读懂反汇编结果的爱好者。别把它们当知识点背当工具用。1. 标志寄存器是CPU的“仪表盘”哪些指令会碰它在 x86 体系里这些标志位不像通用寄存器eax、ebx那样由程序随手读写它们集中存放在一块专门的状态寄存器里现代 64 位环境下叫RFLAGS32 位环境下叫EFLAGS。你不需要主动把值写进去CPU 在执行完一条算术或逻辑指令之后会根据结果自动点亮或熄灭其中若干位。换句话讲标志位是运算结果身上的“属性标签”是副产品。这就好比发动机运转时仪表盘上的水温、油压、转速会自动刷新你不需要伸手去拨指针。问题是水温过高时你得能看懂是哪个灯亮了并且知道它是怎么亮起来的。标志寄存器也一样它是一个只读视角的状态面板程序没法直接拿mov eax, eflags这种指令去整体改写它读取可以但写入要用pushf/popf这种特殊方式绝大多数情况下它都是被指令“隐形更新”的。1.1 哪些指令在悄悄改这些位大部分你常见的指令都会更新标志位但它们的影响范围不太一样。最典型的几类算术指令ADD / SUB / ADC / SBB / CMP / INC / DEC / NEG逻辑指令AND / OR / XOR / TEST移位指令SHL / SHR / SAL / SAR / ROL / ROR / RCL / RCR。而MOV / PUSH / POP / LEA这类数据搬运指令则完全不动标志位。这一点在调试里特别实用如果你刚执行了一条mov又接着执行mov再回头看标志位它们还停在上一轮算术指令留下的状态不会因为搬数据就乱跳。下面这张表建议存下来是我平时排查问题时的基本参考指令类别是否影响 CF是否影响 OF/SF/ZF/PF影响辅助进位 AFADD / SUB / CMP / ADC / SBB是是是AND / OR / XOR / TEST强制清零 CF、OF是行为不确定别依赖SHL / SHR 等移位是移出位会进 CF部分影响取决于移位次数INC / DEC不改变 CF是是MOV / PUSH / POP / LEA否否否这表里有几个坑下面专门挑最要命的说一下。1.2 INC/DEC不碰CF第一个容易翻车的地方很多初学者会默认“加一”也会产生进位于是顺手用inc做完之后去判断 CF。这是个典型的想当然。x86 的设计就是这样INC / DEC只影响 OF、SF、ZF、AF、PF不影响 CF。举个实际例子假设al 0xFF执行inc al之后结果是0x00ZF 会变成 1因为结果确实等于零但 CF 保持原样并不会因为你从 255 加到了 0 而置 1。如果你想把 255 1 这种“越过无符号上限”的事件捕获下来必须用add al, 1而不是inc al。我实际踩过这个坑写一个计数器低位用inc判断是否进位到高位结果低位0xFFFF - 0x0000时 CF 纹丝不动高位永远没进位。后来改成add si, 1 / adc di, 0才恢复正常。所以记住这句话想知道有没有进位或借位用ADD/SUB别用INC/DEC。2. CF、OF、SF、ZF、PF逐个拆解判定法则和典型样例五个标志位里CF 和 OF 都跟“越界”有关但服务的对象完全不同SF、ZF、PF 则是直接描述结果本身。逐个看一遍每个都配一个最典型的运算样例。2.1 CF进位/借位先管无符号数装不装得下CF 全称 Carry Flag中文常叫进位/借位标志。它的作用对象是无符号数。当一条加法运算的结果按无符号解释时超出了当前操作数的位宽范围CF 就置 1减法运算里如果被减数小于减数、产生了借位CF 同样置 1。拿 8 位运算来说无符号范围是 0 到 255。执行0xFF 0x01数学上结果是 256但 8 位寄存器里只能存下低 8 位0x00多出来的那个 1 没地方放CPU 就把它丢进 CF于是CF 1。减法反过来0x05 - 0x0A5 减 10 不够减需要向高位借位于是CF 1结果按 8 位存储是0xFB也就是补码视角的 -5但仅看无符号是 245。理解 CF 最好的生活类比是“算钱”你手里只有 0 到 255 元的零钱抽屉交易算出 256 元抽屉装不下老板喊“进位到账本”这个“账本位”就是 CF。多字节运算里adc带进位加法就是靠这个位把低段算出来的进位接力到高段去后面第 6 节会再展开。2.2 OF溢出再管有符号数装不装得下OF 全称 Overflow Flag溢出标志。它服务的对象是有符号数。所谓溢出是指带符号解释下运算结果越过了可表示范围。8 位有符号数能表示的范围是 -128 到 127只要结果落在这个区间之外OF 就亮。最经典的例子0x7F 0x01。0x7F是 127加 1 在数学上是 128可 8 位有符号数最大只到 127结果0x80按有符号解释是 -128也就是说“正数加正数变成了负数”——这个符号反转就是溢出的信号。此时OF 1但注意CF 0因为无符号视角下 1271128完全装得下。再比如0xFF 0x01按有符号解释是-1 1 0没有越界所以OF 0而无符号视角 2551 越界CF 1。同一个加法的同一个结果两个标志位给出了完全不同的答案这正是下一节要展开的重点。判断 OF 有一条很实用的手算法则同号数相加结果符号变了就是溢出异号数相加永远不会溢出。减法先转成加法再看比如0x80 - 0x01等价于-128 (-1)两个负数相加得到正数0x7F符号反转所以OF 1。2.3 SF符号结果的最高位就是晴雨表SF 全称 Sign Flag符号标志。它非常简单结果的最高有效位是什么SF 就是什么。8 位结果看第 7 位16 位结果看第 15 位32 位、64 位依次类推。最高位为 1SF 1最高位为 0SF 0。因为计算机里的有符号数通常用补码表示所以 SF 在很多情况下约等于“结果是否为负数”。例如0x05 - 0x0A 0xFB最高位是 1SF 1有符号视角确实是 -5。但要提醒一句SF 只描述“最高位”它不在乎结果到底是不是一个有意义的负数尤其当 OF 已经置 1 时SF 反映的其实是“被截断后的符号”不一定等于数学意义上的符号。所以判断有符号大小关系时SF 通常要和 OF 搭配使用不能单看。2.4 ZF零结果等于0才亮灯ZF 全称 Zero Flag零标志。规则就一句话运算结果为 0 时ZF 1结果不为 0ZF 0。它不关心你是加法减出来的零、异或出来的零还是移位移出来的零只要是零就亮。典型场景xor eax, eax之后 ZF 一定为 1因为异或结果是 0。sub ax, ax也一样所以有人用这条指令既清零又置 ZF为后面的条件跳转做准备。另一个常见用途是test eax, eax然后jztest的本质是 AND结果丢弃只更新标志位所以它经常被用来判断某个寄存器是否为 0而不会真的把它清掉。2.5 PF奇偶只数低8位里“1”的个数PF 全称 Parity Flag奇偶标志。它的规则在 x86 里有一个特别容易被忽略的细节只看结果的最低 8 位统计这 8 位里“1”的个数个数为偶数时 PF 1奇数时 PF 0。比如结果0xFF低 8 位有 8 个 1偶数PF 1结果0x7F低 8 位有 7 个 1奇数PF 0结果0x000 个 1按“偶数”算PF 1。这条标志在有校验需求的场景里很重要比如串口通信里计算奇偶校验位但在日常普通算术调试里存在感并不高。需要记住的无非是别拿整个结果的 16 位或 32 位去判断 PF它只盯着最低那个字节看。到这里五个标志位的判定规则可以汇总成一张表标志全称置 1 条件一句话记忆CFCarry Flag无符号加减越界无符号数装不下OFOverflow Flag有符号加减越界有符号数算歪了SFSign Flag结果的最高位为 1看结果符号位ZFZero Flag结果等于 0结果是零PFParity Flag低 8 位中 1 的个数为偶数数低 8 位的 13. CF和OF为什么总被搞混同一个二进制两套量程几乎所有学汇编的人都会在 CF 和 OF 上犯迷糊这太正常了。它俩都叫“进位/溢出”都跟“结果存不下了”有关经常在同一条指令里一个为 0 一个为 1。想彻底分清得先理解一个底层事实同一个二进制结果CPU 同时用两套解释在看待它。3.1 同一个加法器两个解释器二进制本身没有符号属性。0xFF是“无符号 255”还是“有符号 -1”取决于你怎么解释它。硬件里的加法器很单纯它只负责把两个 8 位、16 位或 64 位的位模式加在一起最终得到一组位模式。高位有没有丢、符号有没有反转都由 CPU 额外记录下来于是就有了两个独立的标志位CF 是无符号视角的量程报告。它问的是“如果这是一次 0 到 255或 0 到 65535范围内的算术结果还在不在范围内”OF 是有符号视角的量程报告。它问的是“如果这是一次 -128 到 127或 -32768 到 32767范围内的算术结果还在不在范围内”一个加法器同时给出两份报告这就是为什么两个标志可以互不影响。下面这张表我建议反复看它基本覆盖了最容易混淆的几组情况8 位运算二进制结果无符号视角有符号视角CFOF0x7F 0x010x80128未越界1271 越过上限010xFF 0x010x002551 越界-110未越界100x05 - 0x0A0xFB5 减 10 借位5-10-5未越界100x80 - 0x010x7F128-1未借位-128-1 越过下限010x7F 0x000x7F127未越界127未越界00看到没有CF 和 OF 完全可以是两条线一条亮的另一条可能就不亮。你关心无符号数就只看 CF关心有符号数就只看 OF。两个都亮的情况当然也可能出现比如0x80 - 0x01再加点别的组合但那都是同一套规则在各自量程下的结果各自独立判断就行。3.2 最容易看走眼的一组数0x80 - 0x010x80 - 0x01是典型的“看着简单结果反直觉”的题。8 位里0x80无符号是 128有符号是 -128。执行减法结果二进制是0x7F127 或 127无符号量程里 128 - 1 127没借位所以CF 0有符号量程里 -128 - 1 -129比下限 -128 还小跳出了量程所以OF 1。很多人会困惑明明减法结果是正数0x7F为什么 OF 反而为 1因为 OF 判断的是“数学结果是否超越了有符号表示范围”而不是“最终寄存器里那个数看起来像正数还是负数”。-129 在数学上是负数可 8 位二进制放不下 -129只能放低 8 位的0x7F视觉上就成了正数。符号反转、量程失真的那一刻OF 就得亮灯。这个例子最能说明 CF 和 OF 的独立性同样的借位考虑无符号视角没出事有符号视角出大事了。调试的时候遇到 OF 1、SF 0 这种组合别慌先看操作数在有符号视角下究竟是什么值一切就清楚了。3.3 一条可以手算的OF判定法则做练习和排错时手算 OF 没必要去背完整真值表掌握一条就够用加法的 OF两个操作数同号结果与它们异号OF 1否则 OF 0。减法的 OF先把减数取相反数再按加法规则判断。举个例子0x40 0x70两个都是正数0x40640x70112结果0xB0最高位是 1按有符号是负数正正负溢出。如果是0x40 0xC0正数加负数符号不同永不溢出。这条判断非常快做题和看反汇编时都比心算补码范围好用。4. 标志位怎么用条件跳转与比较指令的配合讲完标志位本身得说它最实际的应用条件跳转。CPU 提供了一大批Jcc指令名字里的cc就是 condition code本质是对某个或某几个标志位的判断组合。读懂跳转指令才算真正把五个标志位用起来。4.1 一键查询表哪些跳转指令在看哪些标志下面这份速查表覆盖了常见的单标志判断跳转标志条件助记符语义ZF 1JZ / JE结果为零 / 相等ZF 0JNZ / JNE结果非零 / 不相等CF 1JC / JB / JNAE有进位 / 无符号小于CF 0JNC / JNB / JAE无进位 / 无符号大于等于SF 1JS结果为负SF 0JNS结果非负OF 1JO有符号溢出OF 0JNO无有符号溢出PF 1JP / JPE低 8 位 1 的个数为偶PF 0JNP / JPO低 8 位 1 的个数为奇注意几个同义助记符JZ和JE是同一个机器码一个强调“结果为零”一个强调“比较结果相等”JB和JC也是同一个机器码分别从“无符号小于”和“有进位”两个角度去叫它。记忆时不用割裂理解成同一个条件在不同语境下的不同名字就行。4.2 无符号和有符号比较两套跳转指令的差异这是条件跳转里最需要小心的地方比较两个数的大小时必须告诉 CPU 你用的是无符号还是有符号视角。无符号比较用JA / JB / JAE / JBE有符号比较用JG / JL / JGE / JLE字母的差别就藏在助记符里。例如 C 语言代码if (a b)如果a、b是unsigned int编译器通常会生成cmp eax, ebx ja greater而如果是有符号int则会生成cmp eax, ebx jg greater为什么需要两套指令因为“大于”在不同视角下由不同标志组合决定无符号JA要求CF 0 且 ZF 0即没有借位且结果不为零无符号JB要求CF 1无符号JAE要求CF 0有符号JG要求ZF 0 且 SF OF有符号JL要求SF ≠ OF有符号JGE要求SF OF有符号JLE要求ZF 1 或 SF ≠ OF。有符号比较之所以要用SF和OF的组合是因为单独看 SF 会被溢出干扰。比如0x80 - 0x01结果0x7FSF 0、OF 1单看 SF 会觉得结果是正数、看起来“大于”被减数可实际上 -128 减 1 应该小于 -128是溢出把符号位搞反了。JG要求SF OF就是为了排除这种“溢出造成的假正数”。这就是第一节里说 SF 和 OF 必须搭配使用的原因。4.3 CMP之后别乱插话标志位是个短命信息CMP指令等价于做一次不保存结果的减法它的使命就是更新标志位供紧随其后的条件跳转消费。但标志位的最大特点是寿命极短下一条算术指令或逻辑指令随时可能覆盖它们。常见的翻车写法是这样cmp eax, ebx call some_func ; 如果 some_func 内部有任何算术/逻辑运算CF/SF/OF/ZF 可能全变了 je equal_branch ; 这里再判断可能判断的是 some_func 的结果而不是 cmp 的结果我见过不止一个初学者为这个问题调试到崩溃cmp和je之间插了一条mov侥幸过关插了一条函数调用立刻翻车。mov不影响标志位所以没事但函数调用内部几乎必然动算术指令等到返回时标志位早就不归你管了。建议的规矩是比较之后第一时间通常就是下一条指令消费标志位中间不插入任何可能覆盖标志的指令。如果实在要先干别的就用sete al、pushf这类指令先把比较结果转移到安全的地方。5. 相关练习四道手算题加一轮调试器验证光看不练等于没学。下面四道 8 位运算题每一道都先按住指令手动推演五个标志位再去调试器里验证。建议自己先做一遍再对照下面的过程。5.1 练习一0x7F 0x01指令add al, 1假定al 0x7F起始。结果0x7F 0x01 0x80。CF无符号 127 1 128没到 256CF 0OF有符号 127 1 128越过 127 上限OF 1SF结果最位效位为 1SF 1ZF结果非零ZF 0PF0x80低 8 位二进制1000 0000只有 1 个 1奇数PF 0。5.2 练习二0xFF 0x01指令add bl, 1假定bl 0xFF起始。结果0xFF 0x01 0x00进位被丢弃寄存器只留低 8 位。CF无符号 255 1 256越过 255CF 1OF有符号 -1 1 0没越界OF 0SF结果最高位为 0SF 0ZF结果等于 0ZF 1PF0x00低 8 位有 0 个 1视作偶数PF 1。这道题特别适合理解“CF 和 OF 分家”同一个加法结果 0CF 亮 OF 不亮。5.3 练习三0x05 - 0x0A指令sub cl, 0x0A假定cl 0x05起始。结果0x05 - 0x0A 0xFB。CF无符号 5 - 10 不够减发生借位CF 1OF有符号 5 - 10 -5在 -128 到 127 范围内OF 0SF0xFB最高位为 1SF 1ZF结果非零ZF 0PF0xFB二进制1111 1011数一下有 7 个 1奇数PF 0。CF 在这里就是“借位”语义5 元买 10 元的东西不够向高位借。5.4 练习四0x80 - 0x01指令sub dl, 1假定dl 0x80起始。结果0x80 - 0x01 0x7F。CF无符号 128 - 1 127没借位CF 0OF有符号 -128 - 1 -129越过下限 -128OF 1SF0x7F最高位为 0SF 0ZF结果非零ZF 0PF0x7F二进制0111 1111数一下有 7 个 1奇数PF 0。这道题是 C 和 OF 对比的关键样本无符号视角完全正常有符号视角却已经一塌糊涂。5.5 用调试器单步验证别再用“我觉得”判断手算完一定要上调试器因为人脑手算容易自我说服调试器才能让你直面真实的位。下面这段代码没有实际业务逻辑纯粹是为了让你在调试器里单步观看; 观察标志位用把它放进一个空函数里打断点即可 section .text global _start _start: mov al, 0x7F add al, 0x01 ; 预期CF0 OF1 SF1 ZF0 PF0 mov bl, 0xFF add bl, 0x01 ; 预期CF1 OF0 SF0 ZF1 PF1 mov cl, 0x05 sub cl, 0x0A ; 预期CF1 OF0 SF1 ZF0 PF0 mov dl, 0x80 sub dl, 0x01 ; 预期CF0 OF1 SF0 ZF0 PF0操作建议先在_start入口下断点然后用单步功能常见的 F10 或nexti一条一条走每执行一条算术指令停下来看一次标志寄存器。在类 Unix 环境的调试器里可以用info registers eflags或直接查看寄存器窗口在 Windows 内核调试器里寄存器窗口会列出CF、SF等标志位的当前值单步一次刷新一次。看的时候重点核对 CF 和 OF 的独立性尤其是第二题和第四题第二题 CF1 但 OF0第四题 CF0 但 OF1这正是手算过程中最容易看错的位置。验证过一次之后你对标志位的信任度会完全不一样。6. 实战中的标志位多字节运算、结果搬运与状态判断练习题做完再看几个真实代码里的应用场景。标志位不是只在教科书里出现的名词很多底层代码的高效写法都建立在它们之上。6.1 ADC/SBB多字节加法的进位接力棒在 16 位或 32 位环境里处理超过寄存器位宽的数据是最常见的 CF 使用场景。比如用两个 16 位寄存器拼一个 32 位整数相加时低位先加高位必须用adc而不是add; 计算 36 位扩展加法dx:ax dx:ax bx:cx示意 add ax, cx ; 低 16 位相加 adc dx, bx ; 高 16 位相加同时加上低 16 位产生的进位adc的全称是 Add with Carry它的行为是目标目标源 CF。如果低 16 位相加时产生了进位CF 会自动被带进来高位的结果自然就多 1。减法对应的指令是sbb处理借位同理。这种“把 CF 当接力棒”的思想还能推广到移位rcl/rcr可以把 CF 作为一位补进循环移位的结果里做多字节位移时特别方便。我第一次看懂adc时最大的触动是原来 CPU 设计标志位有一部分原因就是为了让人能拼出任意宽度的大数运算而不是把所有东西都限制在一条指令的位宽里。6.2 SETCC/PUSHF把标志位转成能存的数据标志位的短命属性很让人头疼所以 CPU 专门提供了一批把标志位“拍扁”成通用寄存器值的指令叫SETcc。它们的语义很简单条件成立目标字节置 1不成立置 0。cmp eax, ebx sete al ; 如果 eax ebx那么 al 1否则 al 0编译器特别喜欢用sete这种指令把比较结果变成布尔值再参与后续逻辑运算。同理pushf可以把整个标志寄存器压栈保存需要时再用popf恢复这在中断处理或上下文切换里很常见。理解这些指令后你会意识到标志位虽然短命但并不是没有“续命”手段。6.3 状态判断里的一条忠告用完就收别隔夜作为收尾分享一条我在实战中总结出来的经验用标志位做状态判断最好就地消费不要指望它能跨过较长代码路径存活。我在给某段协议解析代码加状态判断时曾经把cmp的结果放到好几个函数调用之后再去查结果自然是全部失效。后来读到编译器为if生成的条件跳转发现它们总是紧跟在cmp或test后面连一条多余的mov都不愿意插才明白这是所有人用血泪换来的经验。如果实在要把标志位状态保存下来优先选sete al、setg bl这类指令把结果转成一个普通的寄存器值再带回你需要的代码路径里。虽然多一条指令但换来的是一份稳定、可预测的信号比“祈祷中途没有人碰标志位”靠谱得多。我自己现在的习惯是写完一段带算术逻辑的代码一定会进调试器把 RFLAGS 从头到尾看一遍像开车时扫一眼仪表盘CF 亮没亮、OF 亮没亮各自在表达哪个量程的信号。每次这么做都能提前发现一些“数学上没错、位上错了”的隐患。尤其是 CF 和 OF记住那句话CF 是给无符号数准备的溢出报告OF 是给有符号数准备的溢出报告同一个加法它俩各报各的互不商量。理解到这一层标志寄存器就不再是背不下来的定义而是一组真正帮你定位问题的工具。

x86标志寄存器详解：CF、OF、SF、ZF、PF判定与实战用法

相关推荐

细胞因子套装：免疫状态评估与Th1/Th2平衡研究的核心工具

IL-13检测试剂盒：2型免疫应答定量分析与疾病机制研究的核心工具

一台 150 美元的家用雕刻机，在 TikTok 美区月销 41 万美元

更多资讯

基于SpringBoot的闲喵园智慧猫咖平台的设计与实现

基于Spring Boot的面向文旅治理的辽沈地区网约车管理系统：技术栈、背景意义与核心代码

foobox-cn 远程控制完全指南：三步把手机变成 foobar2000 遥控器

OSI七层模型排查

instagram-private-api 中 IgExactUserNotFoundError 错误类详解：精确用户名查找的触发链路与异常处理实践

Deep Agents 学习笔记（一）：从 Agent Harness 到第一个 Deep Agent

今日更新

防关联浏览器哪个好？三款产品实测差异解析

2026钢铁行业AI转型系统选型对比：多基地排产、大宗原燃料采购与质量追溯，六家厂商能力差异在哪里

影刀RPA深度实战：大模型Fine-tuning定制RPA专用Prompt与指令生成

本周精选

交通拥堵预测毕设：基于Python+LSTM的车辆流量预测系统全流程解析

MATLAB/Simulink搭建10机39节点电力系统暂态稳定仿真实战

无人机航拍三维重建全流程：从SfM到网格生成的避坑指南

本月热门

我发现了一个新思路：用 Remotion + Claude Code 像写代码一样自动化生成短视频

Windows下 Codex 中 Chrome 和 Computer Use 插件不可用问题排查及解决参考方式：TaoToken 统一 Key 配置与验证

2026 大模型集体涨价：用 Python 做企业 Token 成本测算与选型避坑（附配置）

读完文章，想聊聊您的网站？