引用概念
引用不是新定义一个变量,而是给已存在得到变量创建一个别名,编译器不会为引用变量开辟新的内存空间,它与引用的变量共用一块内存空间。
引用格式
int main()
{
int a = 10;
int& b = a;
cout << a << endl;
cout << b << endl;
return 0;
}
引用类型必须和引用实体类型相同。
这里先定义整形变量a,再定义了一个引用变量b引用a;
可以看到打印结果完全一样。我们还可以通过变量地址来验证。
int main()
{
int a = 10;
int& b = a;
cout << &a << endl;
cout << &b << endl;
return 0;
}
可以看到地址完全一样。
引用特性
1.引用在定义时必须初始化
int main()
{
int a = 10;
int& b; //语句会报错
return 0;
}
2.一个变量可以有多个引用
int main()
{
int a = 10;
int& b = a;
int& c = a;
int& d = a;
cout << a << " " << b << " " << c << " " << d << " " << endl;
b++;
cout << a << " " << b << " " << c << " " << d << " " << endl;
return 0;
}
引用变量b、c、d都是变量a的引用。改变其中一个剩下的变量都会随之改变。
3.一旦引用一个实体,再不能引用其他实体
常引用
int main()
{
//1.
const int a = 10;
//int& b = a; 语句会报错,const修饰的变量不允许修改
const int& b = a; //符合规范
//2.
//int& c = 10; 语句会报错,同理 10 为不可改变的常量
return 0;
}
就是不能扩大权限,原本不能修改的值还是不能修改,不能利用引用变量修改。
使用场景
做参数
传址交换
我们常用的Swap交换函数,如果是交换两个数,在之前我们传参数是传这两个变量的指针,用两个指针变量来接收地址:
因为只改变形参是不会影响实参的。
void Swap(int* x, int* y)
{
int tmp = *x;
*x = *y;
*y = tmp;
}
int main()
{
int a = 10;
int b = 20;
cout << a << " " << b << endl;
Swap(&a, &b);
cout << a << " " << b << endl;
return 0;
}
引用交换
我们现在可以用引用来实现Swap函数:
void Swap(int& x, int& y)
{
int tmp = x;
x = y;
y = tmp;
}
int main()
{
int a = 10;
int b = 20;
cout << a << " " << b << endl;
Swap(a, b);
cout << a << " " << b << endl;
return 0;
}
可以看作引用变量x和y分别是变量a,b的别名,改变了x、y相当于改变了引用的变量。
做返回值(函数)
int& Count()
{
int n = 1;
return n;
}
int main()
{
int& ret = Count();
cout << ret << endl;
cout << ret << endl;
return 0;
}
引用类型做返回值,在函数调用结束之后函数栈帧会销毁,对应的返回值的内存空间也会被释放,上述代码中两次打印的结果不一样
若函数调用结束返回值的内存空间被释放了,第一次打印的结果应该也是错误的,但是这里打印结果正确。是因为函数的调用时先传值再调用,所以第一次的值是正确的。
思考:下面程序打印结果是什么?
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函数后,这一块内存被释放,但是ret还指向该内存内的地址,在第二次调用Add时,在上一次调用的内存空间开辟内存空间,ret的值被改成Add(3,4)。
如果选择传值返回/传引用返回
引用与指针
我们可以感受到引用与指针有很多相似的地方,用法也差不多,那么引用与指针的异同都有哪些?
共同点:指针与引用在底层的实现都是一样的