我想，你只要看了C语言上关于传值函数调用的测试题，一切都会了然于胸：

考题一：程序代码如下： 

void Exchg1(int x, int y)  

{ 

int tmp; 

tmp=x; 

x=y; 

y=tmp; 

printf(“x=%d,y=%d/n”,x,y) 

} 

void main() 

{ 

int a=4,b=6; 

Exchg1 (a,b) ; 

printf(“a=%d,b=%d/n”,a,b) 

} 

输出的结果： 

x=_, y=_ 

a=_, b=_ 

问下划线的部分应是什么，请完成。
考题二：代码如下。 

Exchg2(int *px, int *py) 

{ 

int tmp=*px; 

*px=*py; 

*py=tmp; 

print(“*px=%d,*py=%d/n”,*px,*py); 

} 

main() 

{ 

int a=4; 

int b=6; 

  Exchg2(&a,&b); 

  Print(“a=%d,b=%d/n”, a, b); 

} 

输出的结果为： 

*px=_, *py=_ 

a=_, b=_ 

问下划线的部分应是什么，请完成。
考题三： 

Exchg2(int &x, int &y) 

{ 

int tmp=x; 

x=y; 

y=tmp; 

print(“x=%d,y=%d/n”,x,y); 

} 

main() 

{ 

int a=4; 

int b=6; 

  Exchg2(a,b); 

  Print(“a=%d,b=%d/n”, a, b); 

}
二． 函数参数传递方式之一：值传递

1． 值传递的一个错误认识 

    先看题一中Exchg1函数的定义： 

void Exchg1(int x, int y)   //定义中的x,y变量被称为Exchg1函数的形式参数 

{ 

int tmp; 

tmp=x; 

x=y; 

y=tmp; 

printf(“x=%d,y=%d/n”,x,y) 

} 

问：你认为这个函数是在做什么呀？ 

答：好像是对参数x,y的值对调吧？ 

    请往下看，我想利用这个函数来完成对a,b两个变量值的对调，程序如下： 

void main() 

{ 

int a=4,b=6; 

Exchg1 (a,b)     //a,b变量为Exchg1函数的实际参数。 

/ printf(“a=%d,b=%d/n”,a,b) 

} 

    我问：Exchg1 ()里头的 printf(“x=%d,y=%d/n”,x,y)语句会输出什么啊？ 

    我再问：Exchg1 ()后的 printf(“a=%d,b=%d/n”,a,b)语句输出的是什么？ 

    程序输出的结果是： 

x=6 , y=4  

a=4 , b=6 //为什么不是a=6,b=4呢？

奇怪，明明我把a,b分别代入了x,y中，并在函数里完成了两个变量值的交换，为什么a,b变量值还是没有交换（仍然是a==4,b==6，而不是a==6,b==4）？如果你也会有这个疑问，那是因为你跟本就不知实参a,b与形参x,y的关系了。


2． 一个预备的常识 

为了说明这个问题，我先给出一个代码： 

int a=4; 

int x; 

x=a; 

x=x+3; 

    看好了没，现在我问你：最终a值是多少，x值是多少? 

    （怎么搞的，给我这个小儿科的问题。还不简单，不就是a==4 x==7嘛！） 

    在这个代码中，你要明白一个东西：虽然a值赋给了x，但是a变量并不是x变量哦。我们对x任何的修改，都不会改变a变量。呵呵！虽然简单，并且一看就理所当然，不过可是一个很重要的认识喔。

3． 理解值传递的形式 

看调用Exch1函数的代码：

main() 

{ 

int a=4,b=6; 

Exchg1(a,b) //这里调用了Exchg1函数 

printf(“a=%d,b=%d”,a,b) 

}

Exchg1(a,b)时所完成的操作代码如下所示。 

int x=a;//← 

int y=b;//←注意这里，头两行是调用函数时的隐含操作 

int tmp; 

tmp=x; 

x=y; 

y=tmp; 

    请注意在调用执行Exchg1函数的操作中我人为地加上了头两句： 

int x=a; 

int y=b; 

    这是调用函数时的两个隐含动作。它确实存在，现在我只不过把它显式地写了出来而已。问题一下就清晰起来啦。（看到这里，现在你认为函数里面交换操作的是a,b变量或者只是x,y变量呢？） 

    原来 ，其实函数在调用时是隐含地把实参a,b 的值分别赋值给了x,y，之后在你写的Exchg1函数体内再也没有对a,b进行任何的操作了。交换的只是x,y变量。并不是a,b。当然a,b的值没有改变啦！函数只是把a,b的值通过赋值传递给了x,y，函数里头操作的只是x,y的值并不是a,b的值。这就是所谓的参数的值传递了。 

    哈哈，终于明白了，正是因为它隐含了那两个的赋值操作，才让我们产生了前述的迷惑（以为a,b已经代替了x,y，对x,y的操作就是对a,b的操作了，这是一个错误的观点啊！）。

三． 函数参数传递方式之二：地址传递 

继续——地址传递的问题！ 

看题二的代码： 

Exchg2(int *px, int *py) 

{ 

int tmp=*px; 

*px=*py; 

*py=tmp; 

print(“*px=%d,*py=%d/n”,*px,*py); 

} 

main() 

{ 

int a=4; 

int b=6; 

      Exchg2(&a,&b); 

      Print(“a=%d,b=%d/n”, a, b); 

} 

它的输出结果是： 

*px=6,*py=4 

a=6,b=4

看函数的接口部分：Exchg2(int *px,int *py)，请注意：参数px,py都是指针。
再看调用处：Exchg2(&a, &b);
它将a的地址（&a）代入到px，b的地址(&b)代入到py。同上面的值传递一样，函数调用时作了两个隐含的操作：将&a，&b的值赋值给了px,py。


px=&a; 

py=&b; 

    呵呵！我们发现，其实它与值传递并没有什么不同，只不过这里是将a,b的地址值传递给了px,py，而不是传递的a,b的内容，而（请好好地在比较比较啦） 

    整个Exchg2函数调用是如下执行的： 

px=&a;   // 

py=&b;   //请注意这两行，它是调用Exchg2的隐含动作。 

int tmp=*px; 

*px=*py; 

*py=tmp; 

print(“*px=%d,*py=%d/n”,*px,*py); 

    这样，有了头两行的隐含赋值操作。我们现在已经可以看出，指针px,py的值已经分别是a,b变量的地址值了。接下来，对*px，*py的操作当然也就是对a,b变量本身的操作了。所以函数里头的交换就是对a,b值的交换了，这就是所谓的地址传递（传递a,b的地址给了px,py），你现在明白了吗？

四． 函数参数传递方式之三：引用传递 

    看题三的代码： 

Exchg3(int &x, int &y) //注意定义处的形式参数的格式与值传递不同 

{ 

   int tmp=x; 

   x=y; 

   y=tmp; 

print(“x=%d,y=%d/n”,x,y); 

} 

main() 

{ 

int a=4; 

int b=6; 

      Exchg3(a,b); //注意：这里调用方式与值传递一样 

      Print(“a=%d,b=%d/n”, a, b); 

} 

输出结果： 

x=6, y=4 

a=6, b=4   //这个输出结果与值传递不同。 

    看到没有，与值传递相比，代码格式上只有一处是不同的，即在定义处： 

Exchg3(int &x, int &y)。 

    但是我们发现a与b的值发生了对调。这说明了Exchg3(a,b)里头修改的是a,b变量，而不只是修改x,y了。 

    我们先看Exchg3函数的定义处Exchg3(int &x,int &y)。参数x,y是int的变量，调用时我们可以像值传递(如： Exchg1(a,b); )一样调用函数(如： Exchg3(a,b); )。但是x,y前都有一个取地址符号&。有了这个，调用Exchg3时函数会将a,b 分别代替了x,y了，我们称x,y分别引用了a,b变量。这样函数里头操作的其实就是实参a,b本身了，也就是说函数里是可以直接修改到a,b的值了。

最后对值传递与引用传递作一个比较：

1． 在函数定义格式上有不同： 

值传递在定义处是：Exchg1(int x, int y); 

引用传递在这义处是：Exchg1(int &x, int &y);

2． 调用时有相同的格式： 

值传递：Exchg1(a,b); 

引用传递：Exchg3(a,b);

3． 功能上是不同的： 

值传递的函数里操作的不是a,b变量本身，只是将a,b值赋给了x,y函数里操作的只是x,y变量而不是a,b，显示a,b的值不会被Exchg1函数所修改。 

引用传递Exchg3(a,b)函数里是用a,b分别代替了x,y。函数里操作的是a,b。

转自：http://blog.csdn.net/xiaosong2008/article/details/25430261

首先要注意的是，即使在代码中声明为内联函数，编译器也不一定接受，实现的时候不一定为内联函数。
普通函数调用：执行到调用语句时，跳到函数代码存储区，然后执行局部参数压栈存、保护现场、变量压栈、（存储函数调用后继续执行的地址）等操作。执行完后，跳回调用语句处。
如：FUN_A调用FUN_B
FUN_A ebp(栈堆基址指针)入栈，esp(堆栈栈顶指针)赋值给ebp作为FUN_B基址，申请内存，压栈，FUN)B结束后，返回当前ebp恢复为FUN_A的栈顶指针esp,然后调用者A再根据ESP弹出之前的ebp，这样就恢复了调用FUN_B之前的场景。
此处参考：http://blog.csdn.net/zsy2020314/article/details/9429707
内联函数：直接把函数装入内存，在调用处直接执行函数代码。
如图所示：





补充普通函数调用过程：这个感觉比较靠谱
一直对寄存器ESP和EBP的概念总是有些混淆，查看定义ESP是栈顶指针，EBP是存取堆栈指针。还是不能很透彻理解。之后借于一段汇编代码，总算是对两者有个比较清晰的理解。
下面是按调用约定__stdcall 调用函数test(int p1,int p2)的汇编代码
;假设执行函数前堆栈指针ESP为NN
push   p2    ;参数2入栈, ESP -= 4h , ESP = NN - 4h
push   p1    ;参数1入栈, ESP -= 4h , ESP = NN - 8h
call test    ;压入返回地址 ESP -= 4h, ESP = NN - 0Ch     （EIP?）
;//进入函数内
{
push   ebp                        ;保护先前EBP指针， EBP入栈， ESP-=4h, ESP = NN - 10h
mov    ebp, esp                   ;设置EBP指针指向栈顶 NN-10h
mov    eax, dword ptr  [ebp+0ch]  ;ebp+0ch为NN-4h,即参数2的位置
mov    ebx, dword ptr  [ebp+08h]  ;ebp+08h为NN-8h,即参数1的位置
sub    esp, 8                     ;局部变量所占空间ESP-=8, ESP = NN-18h
...
add    esp, 8                     ;释放局部变量, ESP+=8, ESP = NN-10h
pop    ebp                        ;出栈,恢复EBP, ESP+=4, ESP = NN-0Ch
ret    8                          ;ret返回,弹出返回地址,ESP+=4, ESP=NN-08h, 后面加操作数8为平衡堆栈,ESP+=8,ESP=NN, 恢复进入函数前的堆栈.
}
看完汇编后,再看EBP和ESP的定义,哦,豁然开朗,
原来ESP就是一直指向栈顶的指针,而EBP只是存取某时刻的栈顶指针,以方便对栈的操作,如获取函数参数、局部变量等。

在函数调用过程中，需要切换堆栈， 

先介绍几个常用的寄存器 

ESP  堆栈指针寄存器，这个寄存器指向当前堆栈的栈顶 

EBP  堆栈基地址寄存器，这个寄存器指向堆栈的栈底 

EIP  指令寄存器，保存了下一条指令的地址

有了上面的铺垫，开始接受当函数调用时候指向CALL以及返回RET时候堆栈的状态， 

当执行CALL的时候cs:eip以及指向了函数调用后的下一条指令，此时需要将cs:eip压入堆栈，以便调用完继续执行。 

 

接下来，就是需要保存当前的堆栈，所以把当前的EBP也压入堆栈 

 

这样原理的堆栈基地址就保存了，此时把ESP 赋值给EBP，此时 

 

这样新的函数栈就建立了，此时的esp和ebp相等，等于说是一个空栈 

那么接下来函数内部变量就可以使用这个栈了， 

 

这样堆栈就实现了函数的调用的切换 

那如果函数调用结束后呢，此时就需要还原， 

退出逻辑正好相反，此时需要把EBP的内容再复制给ESP，然后再弹出（pop）EBP，这样堆栈机恢复了，然后就可以RET了，下面接直接弹出cs:eip继续执行。

函数调用的底层实现
  通常,当在一个函数的运行期间调用另一个函数时，在运行被调用函数之前，系统需要先完成3件事：
  （1）将所有的实在参数，返回地址等信息传递给被调用函数保存
  （2）为被调用函数的局部变量分配存储区
  （3）将控制转移到被调用函数的入口
  被调用函数返回调用函数之前，系统也应该完成3件工作
  （1）保存被调用函数的计算结果
  （2）释放被调函数的数据区
  （3）依照被调函数保存的返回地址将控制权转移到调用函数
   
   








  补充:Hanoi问题描述如下:
   
   


  转载自：数据结构（C语言版） （55-58页） 感觉写的较详细所以就粘贴过来