Windows x64 FASTCALL栈自动对齐恢复技术的优缺点探讨

优点 #

• 栈恢复绝对可靠：不管用AND SPL,0F0h做16字节对齐，还是用OR SPL,8h做偏移对齐，两次压入的原始RSP值能完整留存，恢复时连续弹两次就能精准还原栈指针，完全避免对齐操作带来的计算误差
• 实现逻辑简单：不需要额外计算栈偏移量，也不用占用额外通用寄存器保存临时值，代码写起来直接，调试时追踪栈变化也清晰
• 适配性强：完美贴合Windows x64 FASTCALL对栈对齐的要求，不管调用前栈处于什么对齐状态，都能快速完成对齐，后续恢复也不会出问题

缺点 #

• 额外栈内存开销：每次对齐操作会多占16字节栈空间（两次压入8字节的RSP），如果是高频调用的函数，累积下来会增加栈的内存消耗
• 存在微小性能损耗：相比计算偏移量再调整栈的方案，双压双弹多了两条指令，在极端追求性能的场景下，可能会有可忽略但存在的性能影响
• 可读性较差：对不熟悉这个技巧的开发者来说，连续两次压RSP的操作不符合常规栈操作逻辑，容易让人困惑，必须加注释说明，否则大概率会被误改

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