一直很疑惑为什么printf可以用%f输出double和float类型,因为一个是8字节一个是4字节,如何正确弹出堆栈呢?
在阅读arm汇编码后发现:
1.可变长度参数列表前必须有1个参数,从该参数就开始压栈了,并且压栈从右向左进行也是与该机制对应;(最后压左边,这样对于满递减堆栈,sp地址上就是可变参数之前的先行参数,在vprintf前不需知道传了几个)
2.对于float,也会压8个字节,double压的8个字节全部有意义,float会压4个无意义字节后才压4个有意义字节,这个无意义字节经测试不是随便生成的,与有意义字节的编码有关,出现过0xc0000000,0x40000000,0x0,我推测有可能在float作为可变参数传递时,会进行默认参数提升,float被提升为double;(一般情况下传参不会进行默认提升,只有隐含参数列表才会)
C语言在底层如何对double和float压栈
最新推荐文章于 2024-04-23 04:33:05 发布