汇编平衡堆栈的问题，刚才帖子重复了

j1angtaojy

比如
push 参数1
push 参数2
call ***
ret 0x8
这里清理栈上的8字节

而上图没有 ret 参数数量*4
代码中的确push了参数，这里为什么不需要平栈

上一个帖子有大佬解答了：汇编堆栈平衡问题_精易论坛，就是这个帖子中1楼的问题，没有解决另一个问题




补充内容 (2024-11-8 10:16):
主要就是想知道在什么情况下需要平衡堆栈，什么情况不需要
如
push 参数1
call ***
pop 参数1
ret
这样可以吗

补充内容 (2024-11-8 10:28):
2楼有个补充图

风行无忌

说个具体的例子，常用的主要是stdcall和cdecl

stdcall函数：
(假设此时esp=0x4)
push 0x0
(上面push完此时esp=0x0)
call 函数地址
(上面call完此时esp=0x4，和调用前保持了一致)
调用完成

cdecl函数：
(假设此时esp=0x4)
push 0x0
(上面push完此时esp=0x0)
call 函数地址
(上面call完此时esp=0x0)
add esp, 0x4 （所以需要add esp, 0x4来还原esp）
调用完成

j1angtaojy

如这里没有push 为什么还要弹出4字节

风行无忌

刚看到，首先你要明白平栈的目的是什么，是为了call完后esp保持和call之前的值是一致的，这样才不会影响上层函数。
至于是否需要还原，要看函数的调用约定，有些约定是函数内部平栈了例如：stdcall、fastcall，而cdecl约定需要调用者自行平栈。
简单的说就是看目标函数内部是否处理了堆栈平衡，没处理就需要call完后 add esp, * 之类的操作来平衡esp。

j1angtaojy

风行无忌 发表于 2024-11-8 10:42
刚看到，首先你要明白平栈的目的是什么，是为了call完后esp保持和call之前的值是一致的，这样才不会影响上 ...

你看图中，这个图中也是调用一个子程序，直接是用ret返回而不是ret ***
这个是远程调用把机器码写入目标内存，比如我远程调用了他，这段代码本身不是不一个子程序，如果是，它为什么没有平栈，或着说他的写法是错误的，应该ret 0x* 而不是ret ，应为我是看源码学习的，在我的理解中，这段汇编代码就是一个子程序（可能我的理解有误），然后我调用了这段代码，stdcall是被调用者恢复堆栈，可是这段代码中却没有对堆栈进行平衡

补充内容 (2024-11-8 10:56):
这段代码本身是不是不一个子程序，上面打错了

dnxl

stdcall是被调用者清栈，也就是函数清理自身参数，push进去啊的函数参数不归你管，由你call的函数去清理

j1angtaojy

风行无忌 发表于 2024-11-8 10:58
说个具体的例子，常用的主要是stdcall和cdecl

stdcall函数：

结合你之前说的我好像有点明白了，你看是不是这样

如你点评所说：（因为易语言的子程序都是stdcall，所以子程序在返回时要根据参数来平衡堆栈，你子程序内call其它函数，是其它函数的事。你这里ret是只管自身函数的 ）

假设我现在正在编写易语言子程序，子程序中有2个整数型参数，我在这个子程序中使用内联汇编（目的是call或着jmp另一个子程序）
我的理解如下：
1.这个子程序是被调用者，它负责平衡堆栈，无论我在其中call或着jmp另一个子程序（被调用者），栈的平衡由被调用则负责，我不需要管，我负责我自己的子程序
2.如果我使用了 ret 指令返回，不管我有没有使用 push 指令，只要这个子程序有参数，我必须要对堆栈进行平衡
3.我使用了 push 指令压入参数，我没有使用 ret 指令返回，而使用易语言命令“返回()”，此时我不需要使用内联汇编对栈进行平衡，因为这个子程序自己处理了堆栈平衡
4.也就是说ret 代替了 “返回()”

你看看我1-4有没有理解错误的，如果有错误的帮我更正一下


补充内容 (2024-11-8 12:00):
补充：5.图中代码指只是生成一段汇编代码，返回一段字节集，没有通过易语言的子程序下运行，所以不需要平衡 堆栈