C/C++函数的调用过程

#include <stdio.h>
#include <iostream>
using namespace std;

int func(int a, int b, int c)
{
    int m = a;
    int n = b;
    int d = c;
    cout << "a = " << m << " b = " << n << " c = " << d;
    cout << endl;
    return 0;
}

int main()
{
    func(1, 2, 3);
    system("pause");
    return 0;
}

堆栈中的变量分布是从高地址到低地址分布，EBP是指向栈底的指针，在过程调用中不变，又称为帧指针。ESP指向栈顶，程序执行时移动，ESP减小分配空间，ESP增大释放空间，ESP又称为栈指针。

下面逐步分解函数的调用过程：

1、函数main执行，main各个参数从右向左逐步压入栈中，最后返回地址。

2、执行func（...）函数，3个参数从右向左逐步压入堆栈中。

3、然后是返回地址入栈。

4、int func（...）函数调用时候，通过跳转指令进入函数后，函数地址入栈后，EBP入栈，然后把当前ESP的值给EBP，对应的汇编指令：

push ebp

mov ebp esp

此时栈顶和栈底指向同一位置。

5、int m= a;int n = b;int d = c;按照申明一次进行存储。

6、func(...)输出结果

7、调用函数完毕，局部变量一次出栈。

二、函数调用时三种参数传递方式详解。

C++中，参数传递的方式是：实虚结合。（pass by value,pass by pointer,pass by reference）

1、pass by value：首先计算出实参表达式的值，接着给对应的形参变量分配一个存储空间，该空间的大小等于该形参类型的，然后把以求出的实参表达式的值一一存入到形参变量分配的存储空间中，成为形参变量的初值，供被调用函数执行时使用。这种传递是把实参表达式的值传送给对应的形参变量，故称这种传递方式为“按值传递”。

使用这种方式，调用函数本身不对实参进行操作，也就是说，及时形参的值在函数中发生了变化，实参的值也完全不会受到影响，任为调用前的值。

2、pass by pointer:如果在函数定义时将形参说明成指针，对这样的函数进行调用时就需要指定地址值形式的实参。这时的参数传递方式就是地址传递方式。

3、pass by reference:如果以引用为参数，则既可以使得对形参的任何操作都能改变相应的数据，又使得函数调用显得方便、自然。引用传递方式是在函数定义时在形参前面加上引用运算符“&”。

函数参数传递机制的基本理论：

（1）值传递过程中，被调函数的形参作为被调函数的局部变量处理，（在堆栈中开辟内存空间以存放由主调函数放进来的实参的值，从而成为了一个实参的一个副本）。特点（被调函数对形参的任何操作都是作为局部变量进行，不会影响主调函数的实参变量的值）

（2）引用传递过程中，被调函数的形式参数虽然也作为局部变量在堆栈中开辟了内存空间，但是这时存放的是由主调函数放进来的实参变量的地址。被调函数对形参的任何操作都被处理成间接寻址，即通过堆栈中存放的地址访问主调函数中的实参变量。正因为如此，被调函数对形参做的任何操作都影响了主调函数中的实参变量。

这里我们知道了：1、晋城的堆栈存储区是主调函数和被调函数进行通信的主要区域。

2、C语言中参数是从右向左进栈的。

3、被调函数使用堆栈区域结构为：局部变量（temp）返回地址，函数参数，低地址，高地址

4、有主调函数在调用后清理堆栈。

5、函数的返回值一般是存放在寄存器中的。

优缺点：

1. 从功能上。按值传递在传递的时候，实参被复制了一份，然后在函数体内使用，函数体内修改参数变量时修改的是实参的一份拷贝，而实参本身是没有改变的，所以如果想在调用的函数中修改实参的值，使用值传递是不能达到目的的，这时只能使用引用或指针传递。例如，要实现两个数值交换。

void swap(int a int b)

void main(){

int a=1 b=2

swap(a b)

}

这样，在main()函数中的a b值实际上并没有交换，如果想要交换只能使用指针传递或引用传递，如：

void swap(int pa int pb)

或

void swap(int& ra int& rb)

2.从传递效率上。这里所说传递效率，是说调用被调函数的代码将实参传递到被调函数体内的过程，正如上面代码中，这个过程就是函数main()中的a b传递到函数swap()中的过程。这个效率不能一概而论。对于内建的int char short long float等4字节或以下的数据类型而言，实际上传递时也只需要传递1－4个字节，而使用指针传递时在32位cpu中传递的是32位的指针，4个字节，都是一条指令，这种情况下值传递和指针传递的效率是一样的，而传递double long long等8字节的数据时，在32位cpu中，其传值效率比传递指针要慢，因为8个字节需要2次取完。而在64位的cpu上，传值和传址的效率是一样的。再说引用传递，这个要看编译器具体实现，引用传递最显然的实现方式是使用指针，这种情况下与指针的效率是一样的，而有些情况下编译器是可以优化的，采用直接寻址的方式，这种情况下，效率比传值调用和传址调用都要快，与上面说的采用全局变量方式传递的效率相当。

再说自定义的数据类型，class struct定义的数据类型。这些数据类型在进行传值调用时生成临时对象会执行构造函数，而且当临时对象销毁时会执行析构函数，如果构造函数和析构函数执行的任务比较多，或者传递的对象尺寸比较大，那么传值调用的消耗就比较大。这种情况下，采用传址调用和采用传引用调用的效率大多数下相当，正如上面所说，某些情况下引用传递可能被优化，总体效率稍高于传址调用。

3. 从执行效率上讲。这里所说的执行效率，是指在被调用的函数体内执行时的效率。因为传值调用时，当值被传到函数体内，临时对象生成以后，所有的执行任务都是通过直接寻址的方式执行的，而指针和大多数情况下的引用则是以间接寻址的方式执行的，所以实际的执行效率会比传值调用要低。如果函数体内对参数传过来的变量进行操作比较频繁，执行总次数又多的情况下，传址调用和大多数情况下的引用参数传递会造成比较明显的执行效率损失。

综合2、3两种情况，具体的执行效率要结合实际情况，通过比较传递过程的资源消耗和执行函数体消耗之和来选择哪种情况比较合适。而就引用传递和指针传递的效率上比，引用传递的效率始终不低于指针传递，所以从这种意义上讲，在c＋＋中进行参数传递时优先使用引用传递而不是指针。

4. 从类型安全上讲。值传递与引用传递在参数传递过程中都执行强类型检查，而指针传递的类型检查较弱，特别地，如果参数被声明为 void ，那么它基本上没有类型检查，只要是指针，编译器就认为是合法的，所以这给bug的产生制造了机会，使程序的健壮性稍差，如果没有必要，就使用值传递和引用传递，最好不用指针传递，更好地利用编译器的类型检查，使得我们有更少的出错机会，以增加代码的健壮性。

这里有个特殊情况，就是对于多态的情况，如果形参是父类，而实参是子类，在进行值传递的时候，临时对象构造时只会构造父类的部分，是一个纯粹的父类对象，而不会构造子类的任何特有的部分，因为办有虚的析构函数，而没有虚的构造函数，这一点是要注意的。如果想在被调函数中通过调用虚函数获得一些子类特有的行为，这是不能实现的。

5. 从参数检查上讲。一个健壮的函数，总会对传递来的参数进行参数检查，保证输入数据的合法性，以防止对数据的破坏并且更好地控制程序按期望的方向运行，在这种情况下使用值传递比使用指针传递要安全得多，因为你不可能传一个不存在的值给值参数或引用参数，而使用指针就可能，很可能传来的是一个非法的地址（没有初始化，指向已经delete掉的对象的指针等）。所以使用值传递和引用传递会使你的代码更健壮，具体是使用引用还是使用，最简单的一个原则就是看传递的是不是内建的数据类型，对内建的数据类型优先使用值传递，而对于自定义的数据类型，特别是传递较大的对象，那么请使用引用传递。

6. 从灵活性上。无疑，指针是最灵活的，因为指针除了可以像值传递和引用传递那样传递一个特定类型的对象外，还可以传递空指针，不传递任何对象。指针的这种优点使它大有用武之地，比如标准库里的time( )函数，你可以传递一个指针给它，把时间值填到指定的地址，你也可以传递一个空指针而只要返回值。

三、参数传递中的一些技术：

1、const关键字：

1. const关键字。当你的参数是作为输入参数时，你总不希望你的输入参数被修改，否则有可能产生逻辑错误，这时可以在声明函数时在参数前加上const关键字，防止在实现时意外修改函数输入，对于使用你的代码的程序员也可以告诉他们这个参数是输入，而不加const关键字的参数也可能是输出。例如strlen，你可以这样声明

int strlen(char str)

功能上肯定没有什么问题，但是你想告诉使用该函数的人，参数str是一个输入参数，它指向的数据是不能被修改的，这也是他们期望的，总不会有人希望在请人给他数钱的时候，里面有张100的变成10块的了，或者真钞变成假钞了，他们希望有一个保证，说该函数不会破坏你的任何数据，声明按如下方式便可让他们放心：

int strlen(const char str)

可不可以给str本身也加一个限制呢，如果把地址改了数得的结果不就错了吗？总得给人点儿自由吧，只要它帮你数钱就行了，何必介意他怎么数呢？只要不破坏你的钱就ok了，如果给str一个限制，就会出现问题了，按照上面的声明，可以这样实现：

int strlen(const char str)

{ int cnt

if( !str) return 0

cnt = 0

while( (str++) ){

++cnt

}

return cnt

}

可是，如果你硬要把声明改成

int strlen(const char const str)

上面的函数肯定就运行不了了，只能改用其它的实现方式，但这个不是太有必要。只要我们保护好我们的钱就行了，如果它数不对，下次我次不让它数，再换个人就是了。

2、成员函数：

对于成员函数，如果我们要显示给客户代码说某个成员函数不会修改该对象的值，只会读取某些内容，也可以在该函数声明中加一个const.

class person

{......

public:

unsigned char age( void ) const // 看到const就放心了，这个函数肯定不会修改m_age

private:

unsigned char m_age // 我认为这个类型已经足够长了，如果觉得不改可以改为unsigned long

}

3、默认值：

个人认为给参数添加一个默认值是一个很方便的特性，非常好用，这样你就可以定义一个具有好几个参数的函数，然后给那些不常用的参数一些默认值，客户代码如果认为那些默认值正是他们想要的，调用函数时只需要填一些必要的实参就行了，非常方便，这样就省去了重载好几个函数的麻烦。可是我不明白c#为什么把这个特性给去掉了，可能是为了安全，这样就要求每次调用函数时都要显示地给函数赋实参。所以要注意，这可是个双刃剑，如果想用使刀的招跟对手武斗，很可能伤到自己。

4、参数顺序：

当同个函数名有不同参数时，如果有相同的参数尽量要把参数放在同一位置上，以方便客户端代码。

c++ 中经常使用的是常量引用，如将swap改为：

　　　　Swap(const int& x; const int& y)

　　这时将不能在函数中修改引用地址所指向的内容，具体来说，x和y将不能出现在"＝"的左边。