为何Windows API WriteFile要求将rbx寄存器设为[rsp]？

本质原因：Windows x64调用约定的硬性规则 #

• 非易失性寄存器必须保留原值：Windows x64的调用约定里，rbx是非易失性寄存器——也就是说，你的print子函数被main调用后，返回时必须保证rbx的值和进入函数时完全一致。如果你的print函数里不小心修改了rbx却没恢复，就会破坏调用者（main）的寄存器状态，进而导致后续堆栈操作混乱，触发0xC0000005访问违例。你设置rbx = [rsp]其实是意外把rbx恢复到了接近初始值的状态，刚好规避了这个问题。
• 堆栈16字节对齐要求：Windows x64要求调用任何API（包括WriteFile）时，堆栈必须是16字节对齐的。main作为程序入口，CRT已经帮你做好了堆栈初始化和对齐；但自定义的print函数如果没处理堆栈对齐，调用WriteFile时就会触发错误。设置rbx = [rsp]可能间接修正了堆栈的对齐偏移，让调用满足要求。
• 函数栈帧的隐式依赖：如果你的print函数没建立标准栈帧（比如没执行push rbp; mov rbp, rsp），直接操作rsp可能导致返回地址的偏移计算错误。把rbx设为[rsp]相当于临时锁定了栈顶位置，避免返回时rsp指向错误区域。

正确的修正方式 #

• 保存/恢复非易失性寄存器：在print函数开头执行push rbx，结尾执行pop rbx，确保rbx原值不被破坏，这比直接赋值rbx = [rsp]更规范。
• 手动保证堆栈对齐：调用WriteFile前，检查rsp是否为16的倍数，若不是则用sub rsp, 8或sub rsp, 16等指令调整（具体值根据参数数量计算）。
• 建立标准栈帧：在函数开头添加push rbp; mov rbp, rsp，结尾用pop rbp恢复，让堆栈操作更清晰，减少偏移计算错误。

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