深入研究C语言第二篇(续)

1. 关于如下的程序，关于结构体的拷贝，拷贝是拷贝到内存中的什么地方?

我们进入debug进行反汇编，单步等操作跟踪查看。发现：

在main中，我们看到call 0266应该对应的是转跳到func处执行。

在这里，func赋值完成后，又call到了0B3D：13EA处，这里应该是其向内存中复制的函数。我们查看。

首先我们看LDS：从存储器取出32位地址的指令.和LES：LES( load ES)指令的功能是：把内存中指定位置的双字操作数的低位字装入指令中指定的寄存器、高位字装入ES寄存器。

我们执行中查看：

我们看到，这里DI和SI被放入两个数，大概是要将两边的数进行复制。而通过上下文的程序我们可以猜想是将DI处也就是FFD0处的数据复制到0428处。我们先看FFD0处的数据：

在看执行完后的数据:

我们看到数据确实被放到了0428处，并且，后续的程序中还有从0428处向栈中赋值的程序。所以我们确定，结构体就是被拷贝到了0428处。

那么，程序这样做的原因是什么呢？我们知道，在普通变量返回的时候，程序是用将变量值放在ax中进行返回的（long型等四字节变量是用dx，ax返回，这里不再贴图）。但是结构体变量，他的长度是不确定的，程序并不知道其长度到底有多长，并且，在大多数情况下，结构体的长度要大于四字节，普通的返回不能满足这种要求。所以程序就选择了ax返回的结构体变量首地址。那么，为什么要有复制的过程呢？我们知道，在函数内的变量是局部变量，是在栈中的。在函数调用完成后就被释放了，如果我们传出的是栈中的地址，那么这个数据就消失了。所以，才有了从栈中复制到数据段中，在将数据段中的地址传出到上一层函数这样的机制。

2. 关于汇编程序中的跳转语句，为什么要使用跳转，关于返回值的研究（1），返回值一个，直接跳转到下一条指令？（2），返回值多个时是如何处理的？

我们编写程序如下：

我们看到其在debug中实现的方式如下：

我们看到，在f函数返回的时候，在函数return后（将返回值放入AX中后），下一句是jmp 020f。而020f处是ret语句，这是什么意思呢？我们很容易想到，在函数中，执行过return语句后，函数就结束返回了。我们编写下面这个函数：

然后我们debug进入查看：

我们看到，在两个return后都有jmp语句，且都是jmp到ret这条语句。也就是说，无论什么情况下，只要是执行了return语句，函数都会退出。而退出是用ret语句退出的。我感觉，这样的好处是，首先，函数有一个单一的开始地址，而且有一个单一的结束地址，其次，这样能减少一部分语句的量，避免函数中有多个ret语句。

那么，如果返回的是多个值呢？我们编辑查看。

我们看到，这里返回的时候依然是使用的jmp语句。

由此我们可以得出结论，jmp语句在执行后函数就返回了，靠的是jmp到ret指令。

3. 分别对全局变量、局部变量、参数在何时申请内存、在何时释放内存这两点进行对比性的总结。

	全局变量	局部变量	参数
申请内存	在主函数调用之前程序的语句中被分配	在函数调用的时候在栈中被分配	在主函数调用带有参数的函数前的准备语句中被创建
释放内存	在主函数调用完成后，程序在释放资源的过程中被释放。	当函数结束调用的时候，局部变量在栈中的空间被释放。	当函数调用结束后，参数的空间被释放。