Linux下c函数参数的入栈顺序？

zhaohongjian000

zylthinking 发表于 2013-01-29 10:53
就算是忽略， 也可以认为编译器作者将 cdecl 实现为和 eabi 相同的语意， 你少废话， 要么拿出证据说明 ...

哈哈，这下我真没话可说了，原来忽略就可以认为实现为和eabi相同的语义。我不说废话了，我闭嘴，你继续。

liuiang

回复 59# superwujc


    首先，我没有说你弱智，我是说将这个问题说成是内存对齐问题弱智
    其次，我说的是内存对齐问题弱智，并没有攻击说将这个问题归结为内存对齐的人弱智
    最后，我说这个问题本身是一个复杂的问题，我还专门写程序验证了的，事实上我的验证结果是----
            对于寄存器传参，编译器似乎可以任意优化，当然这个验证结果也让我大惊失色，不过我不打算穷追这个问题了。
            这个问题本身就很复杂，与他相比，内存对齐问题是小儿科。

zylthinking

zhaohongjian000 发表于 2013-01-29 10:55
哈哈，这下我真没话可说了，原来忽略就可以认为实现为和eabi相同的语义。我不说废话了，我闭嘴，你继续 ...

怎么了， 有意见？ 你闭嘴吧， 要么就我的证明错误； 而不是要么笑而不语， 要么 “原来忽略就可以认为实现为和eabi相同的语义”， 你倒是证明它不能这样实现啊？
linux shmattach 和 mmap 共用相同逻辑，也可以认为在共用逻辑的开始点， linux 忽略了其中一个； 你倒是对他们 笑而不语 啊

superwujc

回复 62# liuiang
弱智什么的都不要紧，无所谓，但既然我在这发帖子提问题了，总应该有个结果吧，传参入栈的顺序这个既然有那么多不确定因素，到现在还争执不下

那对于简单的问题，各位高人给小弟一个明确的指点好吗，这个应该不会太浪费时间吧

现在的情况是，我提出了一个自己不能解决的问题，上来请教各位，但是最后却发现我从一个参与者变成了一个旁观者，并没有得到我想要的答案

各位大牛引申出的各种理论规范ABI编译器寄存器什么的，已经远远超出小弟力所能及，只能在一旁干看着。。。



   

zylthinking

superwujc 发表于 2013-01-29 11:08
回复 62# liuiang
弱智什么的都不要紧，无所谓，但既然我在这发帖子提问题了，总应该有个结果吧，传参入栈 ...

你的问题早解决了， 还有什么问题

superwujc

回复 65# zylthinking

还没有。。。
我只是发帖问过，还没得到各位的明确指教

c为char*，b为long，a为int，从c到a地址递增
c的地址到b的地址之间是8byte，这里没问题，b的地址到a的地址之间是12byte，这里有疑问，只想知道出现这种结果的原因

2楼的回复是“he 3rd argument is a pointer, not a pointer points to a pointer.”

44楼用例子做了回复，我没看懂，接着问

我尽全力在2楼和44楼的答复和我的疑问之间寻找关联，换言之，一直在猜，没有得到确定的回答

不是弱智什么的，我只是想知道用什么道理可以解释出现这种结果的原因，也就是针对这个问题应该从哪方面去考虑

总不能像刘谦一样，变了半天魔术，只把想象的空间留给观众吧？何况我是发问的~~
   

zylthinking

superwujc 发表于 2013-01-29 11:29
回复 65# zylthinking

还没有。。。

编译器不保证所有参数互相挨着， 所以这根本不是问题， 至于原因， 很可能是对齐之类的东西， 但未必一定就是这个原因； 但本身参数互相挨着这个假设就是不靠谱的， 所以其实你找答案本身就没什么意义； 与其这样， 不如去搜索一下对齐相关的内容

liuiang

回复 64# superwujc


    不好意思，之前的关于字节对齐问题的表态是不对的，刚才一直以为楼主只问了入栈顺序，重新看了1楼，发现确实存在字节对齐的问题，这里收回关于字节对齐问题的表态，对应楼层已经编辑。抱歉。

一介村夫

superwujc 发表于 2013-01-29 10:41
回复 49# 一介村夫
抱歉，可能是我思维中有盲点，或者岔路

我写的还不够清楚？
E508~E50F这8个字节是a，但是因为a是int，只占4字节，所以E508~E50B这4个字节空着，a实际存放在E50C~E50F中，首地址是E50C。
OK？

superwujc

回复 69# 一介村夫

终于理解了楼上的意思
为什么E508~E50B=无用，E50C~E50F=a而不是E508~E50B=a，E50C~E50F=无用？

“64位机，字长64”和“简单类型的变量在栈中的长度都是8字节”两者之间是因果关系吗？