C++的引用类型

C语言中函数参数传递

在C语言中，函数参数传递的两种情况。

传递变量的值

这时传给形参的是变量的值，传递是单向的。如果在执行函数期间形参的值发生变化，并不传回给实参。因为在调用函数时，形参和实参不是同一个存储单元。
要求将变量i和j的值互换，下面的程序无法实现此要求：

#include <iostream>
using namespace std;
int main( )
{
  void swap(int,int); //函数声明
  int i=3,j=5;
  swap(i,j); //调用函数swap
  cout<<i<<" "<<j<<endl; //i和j的值未互换
  return 0;
}
void swap(int a,int b) //企图通过形参a和b的值互换,实现实参i和j的值互换
{
  int temp;
  temp=a; //以下3行用来实现a和b的值互换
  a=b;
  b=temp;
}

传递变量的地址

为了解决这个问题，采用传递变量地址的方法。
形参是指针变量，实参是一个变量的地址，调用函数时，形参（指针变量）指向实参变量单元。使用指针变量作形参，实现两个变量的值互换：

#include <iostream>
using namespace std;
int main( )
{
  void swap(int *,int *);
  int i=3,j=5;
  swap(&i,&j); //实参是变量的地址
  cout<<i<<" "<<j<<endl; //i和j的值已互换
  return 0;
}
void swap(int *p1,int *p2) //形参是指针变量
{
  int temp;
  temp=*p1; //以下3行用来实现i和j的值互换
  *p1=*p2;
  *p2=temp;
}

这种虚实结合的方法仍然是“值传递”方式，只是实参的值是变量的地址而已。通过形参指针变量访问主函数中的变量（i和j），并改变它们的值。这样就能得到正确结果，但是在概念上却是兜了一个圈子，不那么直截了当。

C++中函数参数传递

C++提供了向函数传递数据的第3种方法，即传送变量的别名。利用“引用形参”实现两个变量的值互换，

#include <iostream>
using namespace std;
int main( )
{
  void swap(int &,int &);
  int i=3,j=5;
  swap(i,j);
  cout<<"i="<<i<<" "<<"j="<<j<<endl;
  return 0;
}
void swap(int &a,int &b) //形参是引用类型
{
  int temp;
  temp=a;
  a=b;
  b=temp;
}

在swap函数的形参表列中声明a和b 是整型变量的引用。
实际上，在虚实结合时是把实参i的地址传到形参a，使形参a的地址取实参i的地址，从而使a和i共享同一单元。同样，将实参j的地址传到形参b，使形参b的地址取实参j的地址，从而使b和j共享同一单元。这就是地址传递方式。
为便于理解，可以通俗地说：把变量i的名字传给引用变量a，使a成为i的别名。

思考

这种传递方式和使用指针变量作形参时有何不同？
使用引用类型就不必在swap函数中声明形参是指针变量。指针变量要另外开辟内存单元，其内容是地址。而引用变量不是一个独立的变量，不单独占内存单元。
在main函数中调用swap函数时，实参不必用变量的地址(在变量名的前面加&)，而直接用变量名。系统向形参传送的是实参的地址而不是实参的值。