C++之引用

• 初识引用

引用是C++引入的新语言特性，是C++常用的一个重要内容之一。

所谓引用，不是定义一个新的变量，而是给一个已经定义的变量重新起一个别名。对引用的操作与对变量直接操作完全一样。

引用的格式为：类型  &引用变量名  =  已定义过的变量名;

举个例子：

​
#include <iostream>
using namespace std;

int main(){
    int a = 10;
    int &ra = a;
    cout<<"a = "<<a<<endl;
    cout<<"ra = "<<ra<<endl;
    return 0;
}

​

引用的特点：

（1）一个变量可以取多个别名；

（2）在声明引用时，必须同时对其进行初始化；

（3）引用只能在初始化时引用一次，不能改变为再引用其他的变量，不能再把该引用名作为其他变量的别名；

（4）声明一个引用，不是新定义了一个变量，它只表示该引用名是已定义过的变量名的一个别名，其本身不是一种数据类型，因此引用本身不占用存储单元，系统也不会给引用分配存储单元；

（4）对引用取地址，即是对目标变量取地址。在上面这个例子中，&ra 与 &a 相等；

（5）不能建立数组的引用，因为数组是一个由若干元素所组成的集合。

#include <iostream>
using namespace std;

int main(){
    int a = 1;
    int &ra = a;

    cout<<"a:address "<<&a<<endl;
    cout<<"ra:address "<<&ra<<endl;
    return 0;
}

 

• const引用

const修饰变量，变量具有常属性，其值不能改变。这是我们在学习C语言的时候就已经知道的。

#include <iostream>
using namespace std;

int main(){
    int a = 4;
    const int &ra = a;

    cout<<"a = "<<a<<endl;
    cout<<"ra = "<<ra<<endl;   

    a = 5;

    cout<<"a = "<<a<<endl;
    cout<<"ra = "<<ra<<endl;
    
    const int b = 1;
    const int &rb = b;

    cout<<"b = "<<b<<endl;
    cout<<"rb = "<<rb<<endl;
}

在上面这个例子中，我们需要特别注意以下几点：

（1）变量a的引用ra用const修饰，可读不可写，想要通过改ra的值从而改变a的值，是行不通的：

（2）变量b用const修饰，具有常属性，若声明引用时不用const修饰，则会出错：

 

下面我们再来看一段代码：

#include <iostream>
using namespace std;

int main(){
    double a = 1.1111;
    int &ra = a;

    cout<<"ra = "<<ra<<endl;

    return 0;
}

在学习C语言时，我们就知道，当变量赋值时，若等号两边的变量类型不匹配，则会发生隐式类型转换。C++亦是如此，上面这段代码的过程如下图所示：

也就是说，ra是临时变量的别名，修改ra并不会影响a。也就是说，ra引用的是这个带有常性的临时变量，所以不能直接赋值，要加const修饰。

我们将上面这段代码稍作修改，即可得到理想的效果：

运行结果：

由此我们可以总结出一个规律：权限只能缩小，不能放大：

 

• 引用作为参数

引用作为参数时，一共有三种传递形式：

（1）值传递

若形参为非引用的传值方式，则生成局部临时变量接收实参的值。对形参的改变不会影响实参的值。

我们就拿典型的交换两个值的swap函数来举例：

#include <iostream>
using namespace std;

void swap(int x,int y){
    int tmp = x;
    x = y;
    y = tmp;
}

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

    cout<<"a = "<<a<<endl;
    cout<<"b = "<<b<<endl;

    return 0;
}

（2）引用传递

若形参为引用类型，则形参是实参的别名。对形参的改变会影响实参的值。

#include <iostream>
using namespace std;

void swap(int &x,int &y){
    int tmp = x;
    x = y;
    y = tmp;
}

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

    cout<<"a = "<<a<<endl;
    cout<<"b = "<<b<<endl;

    return 0;
}

（3）指针传递

#include <iostream>
using namespace std;

void swap(int *x,int *y){
    int tmp = *x;
    *x = *y;
    *y = tmp;
}

int main(){
    int a = 1;
    int b = 2;
    swap(&a,&b);

    cout<<"a = "<<a<<endl;
    cout<<"b = "<<b<<endl;

    return 0;
}

 

• 引用做返回值

#include <iostream>
using namespace std;

int ret;

int& Add(int a,int b){
    ret = a+b;
    return ret;
}

int main(){
    int a = 1;
    int b = 2;
    int ret = Add(a,b);
    cout<<"ret = "<<ret<<endl;

    return 0;
}

#include <iostream>
using namespace std;

int ret;

int Add(int a,int b){
    ret = a+b;
    return ret;
}

int main(){
    int a = 1;
    int b = 2;
    int ret = Add(a,b);
    cout<<"ret = "<<ret<<endl;

    return 0;
}

 

• ​​​​​​​指针和引用的区别与联系

​​​​​​​（1）引用只能在定义时初始化一次，之后不能改变指向其他变量，指针变量的值可以改变；

（2）引用必须指向有效的变量，指针可以为空；

（3）sizeof指针对象和引用对象的意义不同。sizeof引用得到的是所指向的变量的大小，而sizeof指针是对象地址的大小；

（4）指针和引用自增（++）自减（--）的意义不同；

（5）相对而言，引用比指针更安全。

 

​​​​​​​