- 引用的概念
引用不是新定义的一个变量,而是给已存在变量取了一个别名,编译器不会因为引用变量开辟内存空间,它和引用变量共用同一块内存空间。
例如:在家里家人对你的称呼,在发小面前的外号,在同学面前的外号,当然这些称呼都是指的是你。
引用的方式:
类型&引用变量名(对象名) = 引用实体 ;
注: 引用类型必须和引用实体是同种类型的
- 引用特性
- 引用在定义时必须初始化
- 一个变量可以有多个引用
- 一个引用一旦引用一个实体,再不能引用其他实体
void Test()
{
int a = 10;
// int &ra ; // 必须定义时初始化,编译时会出错
int &ra = a;
int &rra = a; // 变量a可以有两个引用
}
**解释:**一个变量可以有多个引用,所以ra、raa都是a的别名,都是a那块空间
- 常引用
void Test()
{
const int a = 10;
// int &ra = a; // 编译时会出错,a为常量
const int&ra = a;
// int &b = 10; // 编译时会出错,10为常量
const int&b = 10;
double d = 3.14;
// int& rd = d //编译时会出错,类型不同
const int& rd = d;
}
解释:
- const int a = 10; const 变量说明a的值不能改变,而必须得使用const引用,使得a的别名ra的值也不能修改,
如果引用实体(本身的值不能修改,同样引用传给的对象(引用变量名)也不能修改变引用实体值 - 如果引用实体是常量时,必须用常引用,加const的引用
再讲引用的作用之前,我们先来看一下传值和传引用的区别:
传值:
int a = 10;
int b = a;
b = 20;
cout << a << endl;
cout << b << endl;
解释:一开始给a开辟了一块地址空间,并赋值10,然后在给b开辟和a一样一块同样大(都是int型)的空间,再将
a的值拷贝给b, b值的改变不会影响a值的改变,因为都不是同一块空间
区别:传值是变量a和变量b是不同的空间,一个值的变换不会影响另一个值得改变;
而引用是引用变量名和引用实体都是同一块空间,一个发生了变化会影响另一个发生了变化
- 引用的作用:
- 做参数
void Swap(int&x1 , int &x2) // 声明 还没有开空间 在这个地方作为实参的别名
{
int x = x1;
x1 = x2;
x2 = x;
}
注: 在函数里面做改变(交换x1和x2的值),外面可以看见里面的变化(实参的值发生变化)
因为形参x1,x2是实参的别名,形参的变化会引起实参的变化
- 做返回值
代码一:
int ArrayAt()
{
static int a[10] = {0,1,2,3,4,5};
return a[3];
}
int main()
{
cout << ArrayAt() << endl; //输出3 没问题
ArrayAt() = 5; //编译错误 不是可修改的左值
cout << ArrayAt() << endl;
}
结果: 返回值是int型,本来要返回a[3]的值,又开辟了一块与a[3]相同的空间(中间变量),将a[3]的值拷贝给这块空间,返回的值是a[3]的值,但是这块空间不是a[3]的空间,不能进行修改。所以发生了编译错误
简单的来说:实际上没有赋值给[3],是[3]的中间变量,中间变量具有常性,不能赋值
代码二(返回值的地方加引用):
int &ArrayAt()
{
static int a[10] = {0,1,2,3,4,5};
return a[3];
}
int main()
{
cout << ArrayAt() << endl; //输出3 没问题
ArrayAt() = 5; //编译错误 不是可修改的左值
cout << ArrayAt() << endl;
}
结果:此时 ArrayAt[3]就可以了,中间变量是它的别名,所以就可以修改了。
对比代码一和代码二可知:
也就是说 引用返回可以把它作为一个可读可写的接口,可以读到,也可以修改这个值
下面有个特殊的例子,值得注意!!!
int &ArrayAt() // 此时就不能用引用传递了
{
int a[10] = {0,1,2,3,4,5};
return a[i];
}
原因是:尽管返回的是a[3]的别名 但此时栈帧已经销毁,栈上的空间已经归还给系统,已经找不到a[3]。
所以,在这里返回值不能加引用。
引用做返回值的时候要注意 !
如果函数返回时,离开作用域后,其栈上空间已经归还给系统,因此不能用栈上的空间作为引用类型返回。如果以引用类型返回,返回值的生命周期必须不受函数的限制,比函数的生命周期长。
总结为两句也就是说:
出了作用域变量还在,能用引用做返回值
出了作用域变量不在, 不能用引用做返回值
- 传值、传引用效率比较:
以传值作为参数或者返回值类型,在传参和返回值期间,函数不会直接传递实参或者返回变量的一份临时拷贝,因此用值作为参数或者返回类型,效率是非常低的。尤其是当参数或者返回值类型非常大时,效率会更低。
面试题:
引用与指针有什么区别?
- 引用在定义时必须初始化,指针没有要求
- 引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候指向任何一个同类型实体
- 没有NULL引用,但是有NULL指针
- 在sizeof中含义不同: 引用结果为引用类型的大小,但指针始终是地址空间所占字节个数
- 引用自加即引用的实体增加1,指针自加即指针向后偏移一个类型的大小
- 有多级指针,但是没有多级引用
- 访问实体方式不同,指针需要显式解引用,引用编译器自己处理
- 引用比指针使用起来相对更安全