前提知识
c0s调用main函数的地址: 11ah
main函数的连接地址: 01fah
一、全局变量与局部变量
测试程序
int a1,a2,a3; void f(void); void g(void); void h(void); main() { int b1,b2,b3; a1 = 0xa1;a2 = 0xa2;a3 = 0xa3; b1 = 0xb1;b2 = 0xb2;b3 = 0xb3; } void f(void) { int c1,c2,c3; a1 = 0x0fa1;a2 = 0x0fa2; a3 = 0x0fa3; c1 = 0xc1; c2 = 0xc2; c3 = 0xc3; c1 = c2 + c3; } void g(void) { int i = 100; while(i--); } void h(void) { int h1,h2,h3,h4,h5,h6,h7; h1 = 0xc1; h2 = 0xc2; h3 = 0xc3;h4 = 0xc4; h5 = 0xc5; h6 = 0xc6; h7 = 0xc7; h1 = h2 + h3; h2 = h3 + h4; }
编译、连接后，用debug调试这段代码，根据函数分别贴出对应的反汇编代码
1、main函数
（1）全局变量
main() { int b1,b2,b3; a1 = 0xa1;a2 = 0xa2;a3 = 0xa3; b1 = 0xb1;b2 = 0xb2;b3 = 0xb3; }
对应的反汇编代码
可以看到全局变量，a1、a2、a3的地址分别是ds:[01a6]、ds:[01a8]、ds:[01aa]。
可以看到，ds:[01a6]的物理地址是16266h，而程序的结束位置是CS:[2a0]的物理地址是15d60。可见，全局变量位于代码段外。ds=ss，而sp=ffe6，ss:sp的物理位置为260a6h，即栈顶位于260a6h，栈应高于栈顶。所以全局变量不可能位于栈区。
综上所述，我认为全局变量位于非代码段，非栈段，而位于data段（初始化）或者bss段（未初始化）。
（2）局部变量
开辟在栈中的局部变量
a) 编译器先将BP压入栈
b）用BP保存栈指针，然后SP-6，为局部变量开辟空间。
push bp
mov bp,sp
sub sp,+6
c) 函数返回前恢复栈，释放局部变量空间
mov sp,bp
d) 恢复BP
2、f函数
void f(void) { int c1,c2,c3; a1 = 0x0fa1;a2 = 0x0fa2; a3 = 0x0fa3; c1 = 0xc1; c2 = 0xc2; c3 = 0xc3; c1 = c2 + c3; }
对应的反汇编代码
局部变量c1、c2被开辟在寄存器SI、DI中，而c3则开辟在栈中。
开辟在寄存器中的局部变量
a) 编译器先将BP压入栈
b）用BP保存栈指针，将SI、DI压入栈，从而为局部变量开辟空间
push bp
mov bp,sp
push si
push di
c) 函数返回前恢复寄存器（释放局部变量），然后恢复栈
pop di
pop si
mov sp,bp
d) 恢复BP
无论开辟到栈中，还是开辟在寄存器中，栈指针的移动都是相同的。
3、g函数
void g(void) { int i = 100; while(i--); }
对应的反汇编代码
通过这个函数的反汇编可以重复验证“开辟在寄存器中的局部变量”的结论。
4、h函数
还会开辟到其他地方吗？
void h(void) { int h1,h2,h3,h4,h5,h6,h7; h1 = 0xc1; h2 = 0xc2; h3 = 0xc3;h4 = 0xc4; h5 = 0xc5; h6 = 0xc6; h7 = 0xc7; h1 = h2 + h3; h2 = h3 + h4; }
对应的反汇编代码
可以看到，当有7个局部变量的情况下，局部变量除了开辟在栈中，就是寄存器中，没别的地方了。
什么时候开辟在栈中，什么时候开辟在寄存器中？这个问题还搞不懂，不过感觉没多大意义。
二、函数如何传递参数，又是如何接受的呢
测试程序
void showchar(char a,char b); main() { showchar('a',2); } void showchar(char a,char b) { char r; r = a; r = b; }
1、main函数
main() { showchar('a',2); }
对应的反汇编代码
a) 函数的参数是通过栈传递，而且是从右到左依次入栈
b) 即使是char型变量，在传递参数时，也是占用两个字节，因为push操作是两个字节为单位的。取的时候，是按照它的类型来的
c) 释放参数可以通过多次pop来实现。事实上，有时是通过“add sp,+数值”来实现的。显然，后者释放空间来的更快。
2、showchar函数
void showchar(char a,char b) { char r; r = a; r = b; }
对应的反汇编代码
d) 调用函数前后堆栈保持一致，也就是函数返回时要让堆栈指针恢复到和进入函数时一样的状态
e) 函数接受形参是通过从栈中取的
f) 对于为初始化的局部变量，编译器是不会给它赋初值的，而是拿来就用
g) main函数的局部变量的寿命要比调用函数showchar的形参寿命长
h) BP不仅保存了堆栈的值，而且通过它可以找到传入参数的值，BP+4是第一个参数，BP+6是第二个参数......取参数是从左到右取的（这就是堆栈的妙处）
三、函数返回值
测试程序
char f(void); main() { char c; c = f(); } char f(void) { return 'a'; }
1、main函数
char f(void); main() { char c; c = f(); }
对应的反汇编代码
2、f函数
char f(void) { return 'a'; }
对应的反汇编代码
函数返回值：
char型 AL
int型 AX
四、总结
1、全局变量
全局变量位于非代码段，非栈段，而位于data段（初始化）或者bss段（未初始化）。
2、局部变量
a、开辟在堆栈中的局部变量，通过“mov sp,bp”来释放空间
b、开辟在寄存器中的局部变量（push si/di），通过"pop si/di”来实现
c、未初始化的局部变量，编译器并不会给它赋初值，而是拿来就用
3、如何传递参数（主函数）
a、函数的参数是通过栈传递，而且是从右到左依次入栈
b、即使是char型变量，在传递参数时，也是占用两个字节，因为push操作是两个字节为单位的。
c、showchar('a',2)这样的传入两个常数，也会在堆栈中开辟两个空间，也即对应两个实参变量。
4、函数如何接收参数（子函数）
a、 函数接受形参是通过从栈中取的
b、通过BP可以找到传入参数的值，BP+4是第一个参数，BP+6是第二个参数......取参数是从左到右取的
5、如何释放参数（主函数）
释放参数可以通过多次pop来实现。事实上，有时是通过“add sp,+数值”来实现的。
6、函数返回值
char型 AL
int型 AX
五、其他结论
1、局部变量、传递参数和接收参数都与堆栈脱不了干系
一个结论：局部变量、传递参数和接收参数都伴随着入栈、出栈、读堆栈中的内容等操作。对堆栈的这些操作，完成了变量和参数的创建、使用和释放。
开辟在堆栈中的变量和参数都是在堆栈中开辟空间的，释放的时候也就通过移动sp或者pop指令来完成。
开辟在寄存器中的变量，是通过“push si/di”来获取空间的，释放的时候是通过“pop si/di”来完成的。
2、C语言函数汇编后的代码
push bp mov bp,sp ... ... mov sp,bp pop bp ret
这些代码是每个函数反汇编都会出现的，怎样理解呢？
a、BP保存了堆栈的值，所以可以利用堆栈来开辟局部变量的空间。（倘若不保存堆栈的值，将来怎样回收这些空间呢？可能会比较麻烦）
b、通过BP可以找到传入参数的值，BP+4是第一个参数，BP+6是第二个参数......取参数是从左到右取的（这就是堆栈的妙处）
《汇编语言》319页研究实验3 “使用内存空间”
