C++ Primer 读书笔记（7）

函数的定义和调用

我们将函数与操作符对应，操作符有操作数和操作结果，函数的定义由其函数名和其操作数即参数（parameter）组成，而其操作结果即返回值，由return语句进行返回。调用函数需要调用操作符（），调用操作符的操作数就是函数名和传入参数（argument）。

虽然都翻译成参数，但是parameter是函数定义时的参数，由参数类型和参数名（可省略）组成，用逗号隔开，而argument是调用函数时传给函数的参数，可以是变量、常量或表达式，对于同一个参数，parameter和argument的数量必须相同、类型必须是相同的或可以相互转换的。如果parameter的类型不是引用类型，那么在函数中改变parameter是不会改变相应的argument的。parameter是形参，argument是实参。

引用型参数

非引用型的参数（argument）不会被函数改变，函数改变的只是它自己定义的参数（parameter），在调用函数时，传入的argument是用来初始化函数的parameter，而我们知道变量的初始化如 int v=n （n为int类型的变量），只是将变量n的值复制（copy）到变量v的空间，此后对于v的任何修改都不会影响到n，同理，我们在调用的函数里修改parameter是不会影响到argument的。举个例子，比如我们想调用一个函数swap来交换i和j的值，代码如下：

void swap(int a, int b)
{
    int temp=a;
    a=b;
    b=temp;
}

int main()
{
    int i=1, j=10;
    swap(i,j);
}

事实上，只是将i和j的值分别赋值给a和b，然后交换a和b的值，此后a=10, b=1, 但是i=1, j=10还是没有变。因此我们在定义swap时，应该将参数（parameter）设为引用型：

void swap(int &a, int &b)
{
    int temp=a;
    a=b;
    b=temp;
}

这样在传入参数是，实际上进行的是如下操作， int &a=i, int &b=j，我们知道，引用型变量只是现有变量的另一个名字，即a是i的另一个名字，都是同一个变量，因此对a的修改就是对i的修改，这样就可以真正修改argument的值了。

另外，因为函数的return只能返回一个值，而我们有时候希望一个函数返回我们多个结果，这个时候也要用到引用类型的参数。例如，我们要用函数find_val在一个int型的vector中找到某个值，返回它第一次出现的迭代器，同时还需要返回这个vector中有该值出现了多少次，我们可以这样做：

vector<int>:: iterator find_val(vector<int>:: iterator beg, vector<int> :: iterator end, int val, int &cnt)
{
    vector<int>:: iterator it=beg;
    vector<int>:: iterator ret=end;
    cnt=0;
    for (; it!=end; ++it)
    {
         if (*it==val)
         {
               ++cnt;    //目标值出现次数增加
               if (ret==end)
                   ret=it;
         }
    }
    return ret;
}

在这里，我们用函数的返回值返回查找目标第一出现的迭代器，同时设置一个引用型参数cnt来记录查找目标的出现次数，这样在find_val函数外cnt所指的变量还是可见的，相当于函数返回了出现次数。另外值得注意的是，该函数遍历vector仅仅需要两个迭代器beg和end，分别记录vector的第一个元素位置和最后一个元素的下一个位置，突显了迭代器与指针作用的类似，事实上，在C语言中就是用指针实现对传入的argument值的改变的。

在使用引用型参数时，要主要一点：如果函数不会改变该参数的值，即对于该参数是只读的，那么最好使用const引用类型，因为非const引用类型会有限制，例如string &a定义的参数a，只能用字符串变量进行对其进行赋值，而字符串常量“hello world”是不能赋值给a的，而const string &a则可用字符串变量、常量、结果为rvalue的表达式等赋值，大大增加了a的赋值范围，减少出错的可能。

指针的引用型是这么定义的，int *&ptr，我们可以从右往左理解这个定义，ptr是一个引用型的指向int型的指针变量，所以一个交换两个指针值的函数应该这么写：

void swap(int *&ptr1, int *&ptr2)
{
    int *temp=ptr1;
    ptr1=ptr2;
    ptr2=temp;
}