x86汇编中sub eax,eax的作用、报错原因及替代方案

.386
.MODEL FLAT, stdcall
.STACK 4096

ExitProcess PROTO, dwExitCode:DWORD

.data
arr1 DWORD 25, 89, 49, 80 
arr2 DWORD 30, 100, 50, 150 

.code
_main PROC
    sub eax, eax
    add eax, [arr1 + 0]
    add eax, [arr1 + 4]
    add eax, [arr1 + 8]
    add eax, [arr1 + 12]

    INVOKE ExitProcess, 0
_main ENDP

END

1. sub eax, eax的作用与移除后求和错误的原因 #

你的判断完全正确，这条指令的作用就是将eax寄存器清零。
x86平台下，程序进入_main入口时，通用寄存器的值不会被自动初始化为0，eax中存储的是系统加载器留下的不确定残留值。后续的累加逻辑是直接把arr1的4个元素依次加到eax的现有值上，如果不提前把eax清零，第一次加法就会把数组首元素和eax里的未知值相加，最终得到的和自然是错误的。
补充说明：sub eax, eax是x86体系下非常经典的高效清零写法，机器码长度比直白的mov eax, 0更短，现代CPU还会对这类指令做特殊优化，不需要执行实际的减法运算，直接将寄存器标记为零状态，执行效率很高。
另外你对movsx的认知是对的：movsx是带符号扩展的传送指令，仅用于将窄位宽的有符号数扩展为宽位宽数据后传送到目标寄存器，根本无法实现同宽度寄存器的清零功能，提出这个建议的人混淆了指令功能。

2. 可实现同等清零效果的替代方案 #

所有能将eax值设置为0、且不依赖前置状态的指令都可以实现同等效果，常用方案包括：

• xor eax, eax：实际开发中最常用的寄存器清零写法，通过寄存器自身异或得到0值，机器码短、执行效率和sub eax, eax一致，CPU同样会做特殊优化
• mov eax, 0：语义最直白的清零写法，可读性最高，缺点是生成的机器码更长，执行效率略低于xor/sub的优化清零写法
• lea eax, [0]：通过地址传送指令直接加载立即数0到eax，也能完成清零，但代码密度和执行效率都不如前两种方案，实际很少用于清零场景
• 注意：and eax, 0虽然逻辑上也能得到0值，但机器码长度更长，没有实用价值；movsx完全不适合该场景，不要使用。

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