文章也同时在简书更新

概览

本文内容是关于C语言参数传值，以及x86底层实现的计算机科学。

包含了原理速览以及代码示例。

引言

如果你学习过C，可能会对经典的swap函数问题记忆深刻。简单的参数传值并不能在函数外部完成两个数的交换，而要用指针传地址。

对此的解释一般为：C语言是以传值的方式将参数传递给函数。因此传递进去的是参数的副本，纵使万千改动也无法触及本源丝毫。故有使用指针一说，以切实地修改两个参数地址处的值。

但对于单纯的传值与传指针(亦地址，引用)的区别是什么，能够道出原委的人可能并不多。因此笔者想通过本文进入更底层的汇编领域，向大家更加清晰地阐述在底层究竟发生了什么。

原料

基本必需配置

任意文本编辑器(可以用来copy文中出现的代码)
GCC(我们需要用GCC来编译C源代码，并以GCC的规则来讲解，其它编译器产生的结果可能会不同)

额外建议配置

类UNIX的环境(Linux与Mac等皆可，笔者是Mac)

实验

源代码

我们拥有swapValue.c与swapAddr.c两份源代码，作为研究swap原理的基础，内容分别如下：

// swapValue.c
void swapValue(int a, int b)
{
    int tmp = a;
    a = b;
    b = tmp;
}
void fun()
{
    int a = 2;
    int b = 3;
    
    swapValue(a, b);
}

// swapAddr.c
void swapAddr(int *a, int *b)
{
    int tmp = *a;
    *a = *b;
    *b = tmp;
}
void fun()
{
    int a = 2;
    int b = 3;
    
    swapAddr(&a, &b);
}

代码内容很简单，分别是用传值和传地址两种方式实现swap，并都在fun函数中调用swap。

使用汇编器

启动命令行窗口，针对上述两份源代码进行汇编，输入如下命令：

1 2	gcc -S swapValue.c gcc -S -O1 swapAddr.c

第二行多了一个-O1参数是为了让汇编代码更加便于阅读。之后得到swapValue.s与swapAddr.s两份汇编代码。

分析汇编代码

swapValue.s

我们首先分析swapValue.s，撇去次要部分后，我们关注如下内容：

_swapValue:                             ## @swapValue
	...
	...
	movl	%edi, -4(%rbp)
	movl	%esi, -8(%rbp)
	movl	-4(%rbp), %esi
	movl	%esi, -12(%rbp)
	movl	-8(%rbp), %esi
	movl	%esi, -4(%rbp)
	movl	-12(%rbp), %esi
	movl	%esi, -8(%rbp)
	...
	...
	
_fun:                                   ## @fun
	...
	...
	movl	$2, -4(%rbp)
	movl	$3, -8(%rbp)
	movl	-4(%rbp), %edi
	movl	-8(%rbp), %esi
	callq	_swapValue
	...
	...

大家不必去理解汇编代码的含义，只需要理解笔者的讲解即可。可以看到汇编代码分为_fun和_swapValue两个部分，与C源码中两个函数是对应的。

注意：在汇编中我们把函数改用过程来称呼。

_fun过程

对于_fun过程，我们可以看到参数2和参数3被最终分别传递到了寄存器%edi和%esi中。随后调用了_swapValue子过程。

简而言之就是_fun过程将两个实参存放在两个寄存器中，然后调用_swapValue子过程。

在x86架构中，上述两个寄存器是专门用来向函数传递参数的，%edi负责传递第一个参数，%esi负责传递第二个参数。

_swapValue过程

可能是GCC优化问题，汇编代码拐弯抹角地实现了一个实际上很简单的操作。

上文有提到：两个参数存放在寄存器%edi和%esi中。这段代码首先把两个参数分别复制到函数的栈内存中，即把%edi复制到-4(%rbp)中，把%esi复制到-8(%rbp)中，通过栈内存来存放局部变量。

随后拐弯抹角地交换了-4(%rbp)与-8(%rbp)内部的值。可以看到：由于两个参数一开始就被复制，函数操作的一直都是这份副本。于是，这就是传值操作无法切实修改参数值的原因。

swapAddr.s

再来看看swapAddr.s，其中_fun过程没有特别的变化，区别集中在_swapAddr过程。

_swapAddr:                              ## @swapAddr
	...
	movl	(%rdi), %eax
	movl	(%rsi), %ecx
	movl	%ecx, (%rdi)
	movl	%eax, (%rsi)
	...
	...
	
_fun:                                   ## @fun
	...
	...
	movl	$2, -4(%rbp)
	movl	$3, -8(%rbp)
	leaq	-4(%rbp), %rdi
	leaq	-8(%rbp), %rsi
	callq	_swapAddr
	...
	...

从外观上，可以看到_swapAddr中寄存器的操作，相比之前多了一对圆括号。(%rdi）与(%rsi)互相交换内容。

这对圆括号就是传地址的奥秘所在，该操作统称为间接寻址。

之前寄存器中存放的就是真实的数据，操作时直接取出寄存器中的内容即可。而这里，寄存器中存放的数据不能直接使用，它是一个索引(地址)，先取出这个索引，然后去内存中与该索引相对应的位置处取出数据。有点像图书馆中根据书籍的编号去找书。

再仔细想想，这个理念与C语言中的指针是不是很像？没错，指针的底层实现就是它！

因此，由于内存中的地址是唯一对应的，因此在_swapAddr中我们就直接修改了两个参数地址处的值，于是两个参数也就完成了数据交换。

总结

以上就是对于传值与传地址的讲解。普通的变量就是保存一个数值而已，而指针是一种保存变量地址的变量，它的第一层含义是地址，第二层含义是根据该地址去取值。

指针常常是表达某个计算的唯一途径，而且可以生成更加高效紧凑的代码。例如字符串复制函数，关键代码若用指针只需如下：

char * strcpy(char *dest, char *src)
{
    char *ret = dest;
    while ((*dest++ = *src++))
        ;
    
    return ret;
}

正是有了指针，很多高级的操作才成为了可能，宏伟的程序才得以构建。

希望本文对大家有所帮助，感谢阅读，欢迎分享~

微信公众号

第一时间获取最新内容，欢迎关注微信公众号：「洛斯里克的大书库」。