1.引用的概念
引用可以理解为给已经存在的变量取了一个别名,编译器不会给引用变量开辟新的空间,因为变量和引用变量公用一块内存空间。
(所以删除引用就是删除变量本体)
注:引用类型和引用实体必须是同种类型。
2.引用的使用方法
2.1.引用的特性
- 引用在定义时必须初始化
- 一个变量可以有多个初始化
- 引用只能引用一个实体
int i = 0;
int& k = i;//引用操作符,给i取别名为k
int& x = i;//可以给一个变量取多个别名
int& g = k;//可以给别名取别名
2.2.常引用
1.常引用可以对常量取别名
const int& a = 10; //编译成功
int& a = 10; //编译报错,权限放大
常量具有常性,应该有const修饰。
2.隐式类型转换
double d = 12.34;
int& rd = d; // 编译失败,类型不同,权限放大
const int& rd = d;
不同类型的变量赋值时,会发生隐式类型转换,此处编译器会构造一个int型的临时变量const int _d(因为临时变量具有常性,所以用const修饰),然后再将这个临时变量赋给rd,此时rd也应该用const修饰,否则就发生了权限的放大。
总结:使用引用时要注意权限只能缩小,不能放大。
2.3.引用的使用场景
1.做参数
void Swap(int& left, int& right)
{
int temp = left;
left = right;
right = temp;
}
2.做返回值
int& Add(int a, int b)
{
int c = a + b;
return c;
}
注:
当用作引用返回,离开函数作用域时:
若返回对象还存在,则可以使用引用返回。
若返还对象不存在,则不能使用引用返回,要使用传值返回。
例:当返回对象不存在,使用引用返回
int& Add(int a, int b)
{
int c = a + b;
return c;
}
int main()
{
int& ret = Add(1, 2);
Add(3, 4);
cout << "Add(1, 2) is :" << ret << endl;
return 0;
}
运行结果:
解析:Add是引用返回,返回值为c这块空间的别名,ret又是c的别名的别名。
因为在出函数Add的作用域时其所对应的函数栈帧销毁,若在销毁时c所处的空间被清理则其中的内容变为随机值,若销毁时c所处的空间没有被清理则其中的内容不变,至于是否被清理,不同的编译器、不同的平台结果不同,但是不管是哪种情况,这种使用方法都是错误的。
第一次调用Add函数时,ret = 3,在出函数栈帧销毁后变为随机值,又因为ret是c所在空间的别名,所以第二次调用Add函数虽然没有给ret赋值,但是ret依旧会变为ret = 7,但是在出函数时栈帧销毁,所处的空间被清理,ret又变为随机值,所以最后的结果是随机值。
2.4.传值、传引用的效率对比
以值作为函数的参数或者返回值,在传参或者返回的时候,函数不会直接传递实参或者直接返回变量,而是传递实参、返回值的一份临时拷贝,所以用值作为函数的参数或者返回值类型的效率很低。
以引用作为函数的参数或者返回值时,因为引用其实就是变量的别名,所以不存在对参数或返回值的临时拷贝,其底层通过指针实现,效率较高。
总结:传引用传参的效率比传值传参高。
2.5.指针和引用的区别
引用可以看作是变量的别名,看似没有开辟空间,但是其实在底层实现上实际是有开辟空间的,引用是通过指针的方式实现的。
引用和指针的不同点:
- 引用概念上定义一个变量的别名,指针存储一个变量地址。
- 引用在定义时必须初始化,指针没有要求
- 引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候指向任何一个同类型实体
- 没有NULL引用,但有NULL指针
- 在sizeof中含义不同:引用结果为引用类型的大小,但指针始终是地址空间所占字节个数
- 引用自加即引用的实体增加1,指针自加即指针向后偏移一个类型的大小
- 有多级指针,但是没有多级引用
- 访问实体方式不同,指针需要显式解引用,而引用则是编译器自己处理
- 引用比指针使用起来相对更安全
2.6.C语言中传址传参与C++中传引用传参的比较
//C语言传参
void Swap(int* x, int* y)
{
int* tmp = x;
x = y;
y = tmp;
}
int main()
{
int i =0, j = 1;
Swap(&i, &j);
printf("%d\n", i);
printf("%d\n", j);
return 0;
}
//C++传参
void Swap(int& x, int& y)
{
int tmp = x;
x = y;
y = tmp;
}
int main()
{
int i =0, j = 1;
Swap(i, j);
cout << i << endl;
cout << j << endl;
return 0;
}