-
初识引用
引用是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)相对而言,引用比指针更安全。