目录
引用概念
引用不是定义一个新变量,而是给已存在的变量取了一个别名,编译器不会为引用的变量开辟内存空间,它和它引用的变量共用同一块内存空间。
小王因经常健身每天吃八个鸡蛋,被小伙伴们调侃的取了个外号叫“八蛋”,又刚好姓王,“王八蛋”,小伙伴们每天都会问“八蛋”你今天吃八个鸡蛋了没。我们想一下,“八蛋”是不是小王,小王是不是“八蛋”。没错,引用相当于是给变量取外号,不会为这个外号另开辟内存空间来存储,而是共用一块空间。要是因给小王取了个外号就多变出一个叫“八蛋”的人那岂不荒唐了!!
俗话说的好,口说无凭。我说共用一块内存空间就共用一块内存空间吗?让我们来看看是不是真的如我所说。定义了一个变量a,给这个变量取了个别名,分别打出其地址来看看是不是同一块空间。
#include<iostream>
using namespace std;
int main()
{
int a = 10;
int &b = a; //给a取了个别名叫b
//打出两个地址
cout << "a的地址:" << &a << endl;
cout << "b的地址:" << &b << endl;
return 0;
}
事实胜于雄辩,果然不是我在吹牛。他们确实是共用一块内存空间。
竟然是共用一块内存空间那不乏让我们联想到c语言中交换两个数的函数,需要进行传址,指针接收。如果用引用来取别名会不会更简单,更让人读懂。
//c语言的写法:指针
void swap(int*num1, int* num2)
{
int tmp = *num1;
*num1 = *num2;
*num2 = tmp;
}
//c++的写法:引用
void swap(int &num1, int &num2)
{
int tmp = num1;
num1 = num2;
num2 = tmp;
}
看到这里可能会惊叹到原来引用可以这么用的啊!但引用并不是可以肆意用的。
就比如下面这段代码加上const之后就出现报错了,这就需要了解一下引用原则了。
引用原则:对引用的变量不能权限放大,只能权限缩小。
#include<iostream>
using namespace std;
int main()
{
const int a = 10;
int &b = a; //错误
const int &b = a; // 不变
int i = 10;
const int &j = a; //权限缩小
return 0;
}
为什么去引用经过const修饰的变量就会报错呢?其实不难理解。试想一下经过const修饰之后的变量相当于是常量了,变成只读,不可改写了。那要是去引用该常量之后利用别名去更改不就很有问题了吗,这就是权限的放大了,因此会报错。如果在引用的时候也用const修饰则不报错,权限不变。
那权限缩小呢?i 原本是一个变量,可以更改其值的,在引用它的时候加上const修饰,就不能通过它的别名 j 去更改其值,这就是权限的缩小。经过const修饰之后的引用,不可改写,是只读的状态。
比如我平时有一个很珍贵的物品,不舍得去触摸它,就看看。哪天有人对你这个东西又摸又摔的,那还了得岂不得动起手来,这就是去引用经过const修饰的变量,不能权限放大也得用const修饰 ;如果有一个东西我平时都不在意,又扔又摔的,别人借去用,就算不好好保管,你也可能不会生气,就跟一个没有用const修饰的变量一样,你去引用它不管有没有用const修饰都可以。
使用场景
1.做参数(输出型参数、减少拷贝,提高效率)
void Swap(int& num1, int& num2)
{
int temp = num1;
num1= num2;
num2= temp;
}
2.做返回值
int& Count()
{
static int n = 0;
n++;
return n;
}
int main()
{
cout << Count() << endl; //1
cout << Count() << endl; //2
cout << Count() << endl; //3
return 0;
}
注意事项
如果函数返回时,出了函数作用域,返回对象还未还给系统,则可以使用引用返回,如果已经还给系统了,则必须使用传值返回。具体看下面这段代码。
#include<iostream>
using namespace std;
int & Add(int num1, int num2)
{
int sum = num1 + num2;
return sum;
}
int main()
{
int&ret = Add(1, 2);
Add(5, 5);
cout << ret << endl;
return 0;
}
本来应该打印的是3的啊,可为什么却打印出的是10呢。要知道函数调用是在栈帧里,执行完出了作用域就销毁。第一次执行Add函数返回sum的别名,但是出了作用域这块空间就归还给了系统,在第二次调用Add函数的时候覆盖了这块空间,sum是10。所以结果是10。
引用和指针的区别
在语法概念上,引用就是一个别名,没有独立空间,和引用的变脸共用一块空间。从底层看实际是有空间的,因为引用是按照指针方式来实现的。
#include<iostream>
using namespace std;
int main()
{
int a = 10;
//从语法角度看:ra是a的别名,没有额外开空间
//从底层角度看:引用跟指针是一样的方式实现
int& ra = a;
ra = 20;
//从语法角度看:p存储了a的地址,p开辟了4/8字节空间
//从底层角度看:引用跟指针是一样的方式实现
int *p = &a;
*p = 20;
return 0;
}
引用跟指针的汇编代码对比:是一样的
引用和指针的不同点:
1. 引用在定义时必须初始化,指针没有要求。
2. 引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候指向任何一个同类型实体。
3. 没有NULL引用,但有NULL指针。
4. 在sizeof中含义不同:引用结果为引用类型的大小,但指针始终是地址空间所占字节个数(32位平台下占4个字节,64则8个字节)。
5. 引用自加即引用的实体增加1,指针自加即指针向后偏移一个类型的大小。
6. 有多级指针,但是没有多级引用。
7. 访问实体方式不同,指针需要显式解引用,引用编译器自己处理。
8. 引用比指针使用起来相对更安全。