c文件汇编后函数参数传递的不同之处
更新时间：2013年11月15日 15:15:02 作者：
在w7 32位系统下把c文件汇编后，确实与mac后的差异很大。可不仅仅是寄存器eax与rax的区别。我想说的是函数参数传递的不同
mac下clang编译后函数的参数先保存在寄存器中（以一定的规则保存），然后在函数中压入栈里，
以待后用。例如上篇例子，红色部分：
复制代码 代码如下:
.global _decToBin
_decToBin:
pushq %rbp
movq %rsp,%rbp
movq %rdi,-8(%rbp) #第一个参数，保存在rdi中
movq %rsi,-16(%rbp) #第二个参数，保存在rsi中
movq -8(%rbp),%rax
movq -16(%rbp),%rbx
movq $63,%rcx
......
popq %rbp
ret
而我在w7下使用cygwin安装的gcc编译test.c文件:
test.c:
复制代码 代码如下:
int hello(int a,int b,int c,int d)
{
return b;
}
test.c
复制代码 代码如下:
.file "test.c"
.text
.globl _hello
.def _hello; .scl 2; .type 32; .endef
_hello:
pushl %ebp
movl %esp, %ebp
movl 12(%ebp), %eax #说明参数是函数在使用其值之前就已经压入栈中
popl %ebp
ret
这说明clang与gcc使用了两种不同的规则（网上有很多介绍函数值传递的不同规则的，我就不介绍了）。
所以不同的平台不同的编译器要不同的对待。以上算是上次的不足补充吧。
下面来看看数组:
test.c例子：
复制代码 代码如下:
void hello1()
{
int a[3]={1,2,3};
int b=a[1];
}
void hello2()
{
int a[3]={1,2,3};
int b=*(a+1);
}
void hello3()
{
int a[3]={1,2,3};
int b=1[a]; //这也对？
}
如果看的够仔细的话，三个函数没什么不同就是对数组a[1]的不同（当然函数名除外).
gcc -S test.c 后：
复制代码 代码如下:
.file "test.c"
.data
.align 4
LC0:
.long 1
.long 2
.long 3
.text
.globl _hello1
.def _hello1; .scl 2; .type 32; .endef
_hello1:
pushl %ebp
movl %esp, %ebp
pushl %edi
pushl %esi
pushl %ebx
subl $16, %esp
leal -28(%ebp), %edx
movl $LC0, %ebx
movl $3, %eax
movl %edx, %edi
movl %ebx, %esi
movl %eax, %ecx
rep movsl
movl -24(%ebp), %eax
movl %eax, -16(%ebp)
addl $16, %esp
popl %ebx
popl %esi
popl %edi
popl %ebp
ret
.globl _hello2
.def _hello2; .scl 2; .type 32; .endef
_hello2:
pushl %ebp
movl %esp, %ebp
pushl %edi
pushl %esi
pushl %ebx
subl $16, %esp
leal -28(%ebp), %edx
movl $LC0, %ebx
movl $3, %eax
movl %edx, %edi
movl %ebx, %esi
movl %eax, %ecx
rep movsl
leal -28(%ebp), %eax
movl 4(%eax), %eax
movl %eax, -16(%ebp)
addl $16, %esp
popl %ebx
popl %esi
popl %edi
popl %ebp
ret
.globl _hello3
.def _hello3; .scl 2; .type 32; .endef
_hello3:
pushl %ebp
movl %esp, %ebp
pushl %edi
pushl %esi
pushl %ebx
subl $16, %esp
leal -28(%ebp), %edx
movl $LC0, %ebx
movl $3, %eax
movl %edx, %edi
movl %ebx, %esi
movl %eax, %ecx
rep movsl
movl -24(%ebp), %eax
movl %eax, -16(%ebp)
addl $16, %esp
popl %ebx
popl %esi
popl %edi
popl %ebp
ret
只要看红色的行，我们可以看到25-27行与74-76行一样，说明hello1与hello3没什么不同，
效率一样。而49-52行比他们多了一行，所以*(a+1)比a[1]和1[a]要低一点。
但是我们看下面的例子。
test1.c与test2.c:
复制代码 代码如下:
//1--------------
#include <stdlib.h>
void hello()
{
int *a=(int*)malloc(sizeof(int)*3);
int b=*(a+1);
free(a);
}
//2--------------
#include <stdlib.h>
void hello()
{
int *a=(int*)malloc(sizeof(int)*3);
int b=a[1];
free(a);
}
汇编后完全一样：
复制代码 代码如下:
.file "main.c"
.text
.globl _hello
.def _hello; .scl 2; .type 32; .endef
_hello:
pushl %ebp
movl %esp, %ebp
subl $40, %esp
movl $12, (%esp)
call _malloc
movl %eax, -12(%ebp)
movl -12(%ebp), %eax
movl 4(%eax), %eax
movl %eax, -16(%ebp)
leave
ret
.def _malloc; .scl 2; .type 32; .endef
所以在堆中使用*(a+n)与a[n]没什么不同，只用在栈中才会有所不同。
学习汇编不是必要，但是它可以让我们知道效率。
相关文章
这篇文章主要介绍了c++11可变参数使用示例,需要的朋友可以参考下2014-03-03
这篇文章主要介绍了C++实现inline hook的原理及应用,需要的朋友可以参考下2014-08-08
C语言中settimeofday函数和gettimeofday函数的使用
这篇文章主要介绍了C语言中的settimeofday函数和gettimeofday函数的使用,注意settimeofday()函数只返回0和-1,需要的朋友可以参考下2015-08-08
这篇文章主要介绍了C语言中i++和++i的区别，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧2022-05-05
这篇文章主要为大家介绍了C++的静态成员变量和静态成员函数，具有一定的参考价值，感兴趣的小伙伴们可以参考一下，希望能够给你带来帮助2021-12-12
下面小编就为大家带来一篇浅谈返回函数内部new分配的内存的引用。小编觉得挺不错的，现在就分享给大家，也给大家做个参考。一起跟随小编过来看看吧2016-12-12
这篇文章主要介绍了详解C++编程中C++编程中指针的声明与基本使用讲解,文中举了简单的例子来讲如何在基本的数据结构中使用指针,以及固定和可变指针的介绍,需要的朋友可以参考下2016-01-01
柔性数组是在C99中定义的，即结构体的最后一个元素允许是未知大小的数组，这就叫柔性数组。这篇文章将通过简单的示例为大家介绍一下柔性数组的使用，感兴趣的可以了解一下2023-02-02
这篇文章主要介绍了C++中继承(inheritance)详解及其作用介绍，本文给大家介绍的非常详细，对大家的学习或工作具有一定的参考借鉴价值，需要的朋友可以参考下2021-09-09
可变参数模板（variadic templates）是C++11新增的强大的特性之一，它对模板参数进行了高度泛化，能表示0到任意个数、任意类型的参数，这篇文章主要介绍了C++ this原理与可变参数及友元函数友元类2022-11-11
最新评论