从C语言过渡到C++之引用（别名）

时间：2021-05-24 08:47:40|栏目：C代码|点击：次

今天要讲的是C++中我最喜欢的一个用法――引用，也叫别名。

引用就是给一个变量领取一个变量名，方便我们间接地使用这个变量。我们可以给一个变量创建N个引用，这N + 1个变量共享了同一块内存区域。

1. 声明引用

创建引用的格式如下：

数据类型 引用名 = 原变量

比如：

int a = 1;
int& b = a;

在这段代码中，我们给变量a创建了一个别名b。它们公用同一块内存区域，就是创建变量a时申请的区域。

注意：由于引用并不需要申请一块新的内存空间，因此在建立引用时只能声明，不能定义。

面试题中常考这个知识点，请问下面的代码是否正确：

int a = 1;
int& b;
b = a;

当然，它是错的。第二行错误，引用在声明的时候必须指定一个已有的变量，否则编译器不知道给它分配哪一块内存空间。

2. 引用的特性

前面已经提到了，引用唯一的特性就是使用已有的内存空间。我们用一段小程序来验证这个特性。

#include <iostream>

using namespace std;

int main()
{
  int a = 100;
  int &b = a;

  a += 50；
  cout << a << b << endl;

  b += 50;
  cout << a << b << endl;

  return 0;
}

大家可以自己运行一下这段代码，整个过程中，无论a放生变化还是b发生变化，a和b的值始终保持一致。

在使用引用时，我们需要注意下面的问题：

引用必须与已有的变量相联系引用并不独立分配内存空间 &前有数据类型，是引用符号；&前没有数据类型，是取地址符号

比如：int& b = a;和int* p = &a;，前者是引用符号，后者是取地址符号。

可以用引用给另一个引用初始化

复制代码代码如下:

int a = 100; int& b = a; int& c = b;

这段代码中，b和c都是a的引用。

引用声明后不能改变引用关系

int a = 100;
int& b = a;
int& c = b;

这段代码中，第三行想让c成为b的引用是办不到的。它实际实现的功能是把b的值传递给了a，c依然是a的引用。因为c一旦声明为变量a的引用，就不能再修改成变量b的引用了。

ps：这部分之前表述的有问题，感谢大家帮我指出。

3. 引用作为函数参数

这是引用最方便的地方。在学习C语言时，我们知道如果要写一个变量值交换的函数需要使用指针，代码如下：

void swap(int* p1, int* p2)
{
  int temp = *p1;
  *p1 = *p2;
  *p2 = temp;
}

int main()
{
  int a = 1;
  int b = 2;

  printf("a = %d, b = %d\n", a, b);

  swap(&a, &b);

  printf("a = %d, b = %d\n", a, b);
}

这段代码的执行结果如下：

我们通过swap函数成功交换了变量a和变量b的值。注意swap(&a, &b);这句话中的&符号是取地址符号。

很多同学不喜欢指针，见到*就恐惧。从今天起，我们可以用引用替代指针的使用。代码如下：

#include <iostream>

using namespace std;

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

int main()
{
  int a = 1;
  int b = 2;

  printf("a = %d, b = %d\n", a, b);

  swap(a, b);

  printf("a = %d, b = %d\n", a, b);
}

运行一下这段代码，看看结果：