printf参数入栈顺序和编译器相关，还是都是从右至左？

思一克

这个问题应该是这样的:

在有些机器上,STACK是从低地址向高地址生长的, 为了保证ARG1到ARGN符合低-高的次序(变参,和一些库程序依赖该次序), 就要先入栈ARG1.

原来有一个贴, 争论这个问题,我一直以为永远是ARGN先, 后来WIN_HATE, 等指出我的认为是错的. 还给出了例子. 事实上我的认为不对.

可以找到那个贴.

思一克

看这个贴. 我找到的. 注意,我的结论是错的,win-hate等的是对的.
也就是说,次序是变化的.

http://bbs.chinaunix.net/viewthr ... ;extra=&page=12

思一克

错误.

从左到右, printf也不变.

原帖由 zx_wing 于 2007-11-1 12:35 发表

哈哈，这个确实是个问题。但你这样想是因为你把思维局限在了printf现在的原型上。
是因为有了从右向左的入栈顺序，才有printf现在的原型。
如果c语言的入栈顺序是从左向右，printf就会变成：

printf(arg ...

思一克

前面已经说了.

正方向STACK, ARG1先入. ARGN后入. 库FUCN不变. 这个有事实的. 在有些机器上检验过了.

原帖由 zx_wing 于 2007-11-1 16:56 发表

那就是bluesky_jxc 那个问题，如果取参方式不变，你如何确定第一参数在哪儿？

思一克

你找我给出的原来04年的贴, 那上面有朋友实验过的. 没有疑问.

思一克

函数声明方式不变是标准规定的。

参数传递次序不是标准规定的。根据具体系统而变。

原帖由 zx_wing 于 2007-11-1 21:13 发表

嗯，这个就是我前面关心的第二个问题了“2. 不是x86平台的话，传参方式变了，上面的讨论就没有意义了。因为上面的帖子都是基于x86的传参、取参方式讨论的。”
传参数方式变了，上面讨论的那些入栈顺序和函数 ...

思一克

第一个参数问题，编译随便做点暗处的小动作就可以了。

要保证后面参数ARGN的地址比ARG1高，目的是使LIB库什么也不用改动就可以直接使用（STDARG。H等）。

思一克

一个方法（真实的不一定如此）。
CALLER:
push arg1, 2, ...argN, push &arg1.
CALLEE:
pop(get) address arg1.

这种trick在X86的GCC中也有。比如函数返回了一个结构。

具体是怎么搞的，你找一个正方向STACK机器看一下就知道了。