C++ Primer学习笔记（6）—— 巧用引用形参

你是否遇到过这样的问题？写一个函数，实现两个数的交换。想当然的会写下面这样的函数：

void swap(int a,int b){    int temp;    temp = a;    a = b;    b = temp;}int main(){    int s1 = 10;    int s2 = 20;    cout << "交换前：s1 = "<<s1<<" , s2 = "<<s2<<endl;    swap(s1,s2);    cout << "交换后：s1 = "<<s1<<" , s2 = "<<s2<<endl;    return 0;}

结果是这样的：

交换前：s1 = 10 , s2 = 20交换后：s1 = 10 , s2 = 20

并没有改变？！为什么呢？

其实，这里要区分函数的形参和实参。形参是在函数定义过程中定义的，在函数的形参列表中，必须标明参数的类型，是一个变量；实参是在函数调用过程中的，是一个表达式，用来给形参初始化的。

但是，要注意的是，传递的实参并不是对象本身，而是对象的副本，相当于是复制过来的。

所以问题的关键就在这里，上面传递s1, s2实参只是个副本，所以函数改变的只是副本，并没有改变s1,s2本身。
那么，怎么解决这个问题呢？

引用形参！！
把形参改成这样就可以了：

void swap(int &a,int &b)

这次的运行结果为：

交换前：s1 = 10 , s2 = 20交换后：s1 = 20 , s2 = 10

原因是：引用实际是对象的别名，就像我们的小名儿，代表的是我们本身，而不是我们的克隆（副本）。所以，用引用作为形参，就直接代表对象本身，不是复制来的。函数改变的就是对象本身了。

总结一下：什么情况下使用引用形参呢？

牢记以下四种情况：

• 需要通过函数调用改变参数对象的时候，如上面的例子；
• 需要通过一次函数调用获得多个结果值；
• 在想函数传递大型对象时，复制实参会降低效率，这时可以用引用形参；
• 如果实参是类类型，且其构造函数为private类型，无法复制，这时只能使用引用形参了。

关于第二点有点难以理解，举例说明一下：

例如，定义一个fing_val函数，在一个整型vector对象的元素中搜索某个特定值，该值可能出现多次。请返回一个迭代器指向该值第一次出现的位置（1），以及出现的次数（2）。

所以需要返回两个值。而一般的函数只能通过return返回一个值。

这时可以巧用引用形参了：在函数形参中定义一个计数的引用形参 int &count ,函数搜索过程中计数，并改变count的值，那么函数执行完之后，count的值就代表了出现次数。而return的还是指向第一次出现位置的迭代器。

这样就满足了题目要求。

代码如下：

vector<int>::iterator find_val(vector<int>::iterator begin,         vector<int>::iterator end,         int value,         vector<int>::size_type &count){    vector<int>::iterator first = end;    count = 0;    for( ; begin != end ; ++begin)    {        if(*begin == value)// 以下：如果first还是指向end说明是第一次value出现了，赶紧将first指向该位置。此后，first就不指向end了            if(first == end)                first = begin;            ++count;    }    return first; //返回迭代器first，指向value第一次出现的位置}