什么是引用
引用是 C++ 对C语言的一个重要的扩充,引用就是给一个变量起一个别名,它并没有定义新的变量,对引用的操作与对变量直接操作完全一样,一个对象可以取多个别名,但一个引用只能作为一个对象的别名,即 一对多的关系(一个对象——多个别名)。
引用的声明方法如下:
int i = 10;
int &ri = i;
如上代码第一行定义了一个整形变量,而第二则定义了一个整形变量 i
的引用,在使用时,两者完全一样。
#include <iostream>
using namespace std;
int main()
{
int i = 10;
int &ri = i;
cout << "i = " << i << endl;
cout << "ri = " << ri << endl;
ri = 20;
cout << "i = " << i << endl;
cout << "ri = " << ri << endl;
return 0;
}
引用与指针对比
- 引用只能在定义时初始化,之后就不能再使其指向其它内容(从一而终),而指针变量(除const指针之外)则随时可以改变;
- 引用必须指向有效的数据,而指针则可以哪也不指(空指针);
- 对于指针,
sizeof
的结果在 32 位平台下是 4, 而对于引用,sizeof
的结果是其引用变量数据类型的大小(如对 char 对象的引用求 sizeof 的结果是1); - 两者自增(++)和自减(–)的含义不同,给指针
++
结果是:指针偏移其所指类型大小的字节,而对引用++
,结果是引用的数据的值 +1; - 作为参数时,引用比指正更高效,因为指针作为实参时,会将指针的一份拷贝传给函数,而引用不会;
由于引用从一而终的特性,如果将它转换为指针表述,则像下面这样:
int i = 10;
int& ri = i;
int j = 20;
int * const pj = &j
const
修饰的是指针变量,故该指针指向 j
会后就不能再指向其它变量了,这一点,有点类似引用。
引用的使用场景
- 引用作为函数参数
void Swap(int &a, int &b)
{
int tmp = a;
a = b;
b = tmp;
}
C语言中有两种传参方式:传值和传址,而我们要交换两个值得内容,必须通过传址的方式来实现,因为如果以值传递的方式,交换的只是实参的一份拷贝。而C++中增加了一种传参方式——传引用,通过传引用也可以实现交换两个值得内容,因为对引用的操作与对变量直接操作完全一样。
#include <iostream>
using namespace std;
//...
int main()
{
int a = 10;
int b = 20;
Swap(a, b);
cout << "a = " << a << endl;
cout << "b = " << b << endl;
return 0;
}
传引用的方式,不会发生参数的拷贝过程,所以这种方式也是一种很高效的传参方式。
我们有时候不希望改变参数的内容,此时可以使用常引用传参:const int &a
。
- 引用作为返回值
#include <iostream>
using namespace std;
int g_val = 10;
int& Func(int a)
{
g_val += a;
return ret;
}
int main()
{
int i = Func(10);
cout << i << endl;
return 0;
}
注意下面这个陷阱:
int& Add(int a, int b)
{
int ret = a + b;
return ret;
}
我们给它传两个参数: 10 和 20,运行结果是:
意不意外?我在 g++ 下编译,编译器给了一个警告,告诉引用了一个局部变量作为返回值,而在执行时,直接出现了段错误。原因在于,Add
函数的局部变量 ret
在出了函数作用域之后被释放,而你将它作为返回值,返回给调用者,调用者在使用这个返回值时,访问到的将是一块已经被释放了的内存。我在 linux 下运行,直接段错误,而在 VS 下运行,则顺利通过。对于语法检查严格的平台来说,这个错误可能很早就暴露出来,若是在某些平台下,这个错误若一直隐藏下去,可能会造成灾难性的后果。
通过反汇编看看传值返回和传引用返回的区别。
- 传值返回,是将值的内容放到
eax
寄存器中; - 传引用返回,是将值的地址放到
eax
寄存器中。
——完!
【作者: 果冻 http://blog.csdn.net/jelly_9】