一、引用和指针
指针:指针是一个特殊的变量,它里面存储的的数值为内存里的一个地址,通过*访问内存地址所指向的值
引用:引用不是新定义一个变量,而是给已存在变量取了一个别名,编译器不会为引用变量开辟内存空间,它和它引用的变量共用同一块内存空间。
举一个简单的例子:
int main()
{
int a = 10;
int& ra = a; //定义引用类型,可以理解为ra就是a的一个别名
//打印a和ra的值,都是10
printf("%d\n", a);
printf("%d\n", ra);
return 0;
}
引用特性:
1.引用在定义时必须初始化
2.一个变量可以有多个引用
3.引用一旦引用一个实体,就不能再引用另一个实体
4.常引用
普通引用:int a=10;
int& ra=a;
普通引用可以通过引用来修改变量的值,相当于int* const a
常引用:const int a=10;
const int& ra=a;
常引用不能通过引用来改变变量的值,相当于const int* const a
同类型的常引用:
int main()
{
const int a = 10;
//int& ra = a; //此时编译报错,因为a是常量,不能通过普通引用来引用a
const int& ra = a;
//int& ra=10; //编译也会报错,因为10为常量
const int& b = 10;
}
不同类型的常引用:
但是当我们用const int& rd=d;来进行引用时,编译会通过,而且当我们修改d的值之后,按照引用的规则,rd和d的值都应该修改,但是实际上打印出来的结果,只有d被修改,而rd并没有被修改,这是为什么呢?
上述问题,我们可以通过调试来看出问题所在,d和rd并非是同一块内存空间,修改d的值并不影响rd,为什么会这样呢?因为const int& rd=d;执行时候,编译器发现double和int之间可以发生隐式转换,于是重新创建了一块整形的空间,将d变量中整形部分放入到临时空间中,而临时空间又是编译器在栈上开辟的,用户并不知道这块空间的名字和地址,自然空间中的值就修改不了了,即临时空间具有常性。
二、指针和引用的区别
在语法概念上,引用就是一个别名,没有独立空间,和其引用实体共同使用同一块内存空间
但是对于底层实现来说,实际上是有空间的,我们可以发现底层实现引用和指针的方式一模一样,这就说明引用时按照指针的方式实现的。
#include<iostream>
using namespace std;
int main()
{
int a = 10;
int* pa = &a;
*pa = 100;
int& ra = a;
ra = 100;
return 0;
}
不同点:
1. 引用概念上定义一个变量的别名,指针存储一个变量地址
2. 引用在定义时必须初始化,指针没有要求
3. 引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候指向任何一个同类型 实体
4. 没有NULL引用,但有NULL指针
5. 在sizeof中含义不同:引用结果为引用类型的大小,但指针始终是地址空间所占字节个数(32位平台下占 4个字节)
6. 引用自加即引用的实体增加1,指针自加即指针向后偏移一个类型的大小
7. 指针有多级指针,但是引用没有多级引用
8. 访问实体方式不同,指针需要显式解引用,引用编译器自己处理
9. 引用比指针使用起来相对更安全