引用的概念
在生活中我们经常会因为自身的一些特征,而别别人叫一个另外一个名字,比如和你比较熟悉的朋友一般叫你小陈。在C++中也存在着类似于绰号的概念——引用。
首先我们需要了解引用并不是定义了一个新的变量,就像别人给你取了一个外号,但是你还是你,没有变成另外一个人,引用也是这样,编译器不会为引用开辟内存空间,它和它引用的变量共同使用同一块内存空间。
使用方法:
#include <iostream>
using namespace std;
//类型& 引用变量名(对象名) = 引用实体
void TestReft()
{
int a = 10;
int & ra = a;//定义引用类型(注意:引用类型必须和引用实体是相同类型的)
printf("%p\n", &a);
printf("%p\n", &ra);
}
int main()
{
TestReft();
return 0;
}
运行上面的程序结果如下,我们看到,变量a的地址和a的引用ra的地址是一摸一样的。
引用的特性
1.引用在定义时必须被初始化
这一点和再生活中给人起别名是相通的,我们必须要认识那个人才能给他起别名
2.一个变量可以有多个引用
这一点就和一个人有很多个别名是一个道理
3.引用一旦引用一个实体,再不能引用其他实体
虽然在生活中有很多人的别名是一样的,但是加入在一个C++程序中出现两个一样的别名,编译器是识别不出来的,因此是不允许的。
使用场景
引用可以作为参数,也可以作为返回值。
1.做参数
void Swap(int& a, int& b)
{
int temp = a;
a = b;
b = temp;
}
2.做返回值
int& count()
{
static int n = 0;
n++;
return n;
}
需要注意的是:如果函数返回时,出了函数作用域,如果返回对象还未还给系统,则可以使用引用返回,如果已经还给系统了,则必须使用传值返回。
这句话是什么意思呢?
我们先来看看下面的这个例子:
#include <iostream>
using namespace std;
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;
system("pause");
return 0;
}
运行结果:
是不是很奇怪,我们并没有对ret的值进行修改,但是输出是ret的值改变了,接下来我们把上面的程序中的ret和c的地址打印出来
#include <iostream>
using namespace std;
int& Add(int a, int b)
{
int c = a + b;
printf("c的地址是:%p\n", &c);
return c;
}
int main()
{
int &ret = Add(1, 2);
printf("ret的地址是:%p\n", &ret);
Add(3, 4);
//cout << "Add(1,2) is :" << ret << endl;
system("pause");
return 0;
}
运行结果:
这里我们打印c和ret的地址后发现,他们的地址是一模一样的,因为ret就是函数返回值c的引用,当函数运行结束后,函数体中的局部变量c的空间就被系统收回了,此时的ret引用的其实是一块非法的空间,但是当Add函数运行结束后,并没有清理栈帧中的垃圾数据,所以ret还可以看到空间中的垃圾数据,当我们第二次调用这个函数的的时候,函数改变了该空间中的值,ret的值也就跟着改变了。
传值,传引用效率的比较
1.作为参数时
代码:
#include <iostream>
using namespace std;
#include <time.h>
struct A{ int a[100000]; };
void TestFunc1(A a){}
void TestFunc2(A &a){}
void TestRefAndValue()
{
A a;
//以值作为参数
size_t begin1 = clock();
for (int i = 0; i < 100000; i++)
{
TestFunc1(a);
}
size_t end1 = clock();
//以引用作为参数
size_t begin2 = clock();
for (size_t i = 0; i < 100000; i++)
{
TestFunc2(a);
}
size_t end2 = clock();
//分别计算两个函数运算完成的时间
cout << "TestFunc1(A)-time:" << end1 - begin1 << endl;
cout << "TestFunc2(A&)-time:" << end2 - begin2 << endl;
}
int main()
{
TestRefAndValue();
system("pause");
return 0;
}
运行结果:
2.作为返回值时
代码:
#include <iostream>
using namespace std;
#include <time.h>
struct A{ int a[100000]; };
A a;//值返回
A TestFunc1(){ return a; }
A& TestFunc2(){ return a; }
void TestReturnByReValue()
{
//以值作为返回类型
size_t begin1 = clock();
for (size_t i = 0; i < 100000; i++)
{
TestFunc1();
}
size_t end1 = clock();
//以引用作为返回类型
size_t begin2 = clock();
for (size_t i = 0; i < 100000; i++)
{
TestFunc2();
}
size_t end2 = clock();
//计算两个函数运算完成之后的时间
cout << "TestFunc1(A)-time:" << end1 - begin1 << endl;
cout << "TestFunc2(A&)-time:" << end2 - begin2 << endl;
}
int main()
{
TestReturnByReValue();
system("pause");
return 0;
}
运行结果:
引用和指针的区别
1.在语法概念上,引用就是一个别名,没有独立空间,和其引用实体用一块空间。
2.在底层实现上实际是有空间的,因为引用是按照指针方式实现的。
代码:
#include <iostream>
using namespace std;
int main()
{
int a = 10;
int& ra = a;
ra = 20;
int * pa = &a;
*pa = 20;
return 0;
}
引用和指针的反汇编对比:
引用:
指针:
引用和指针的不同点:
1.引用在定义时必须初始化
2.引用在初始化时引用一个实体后,就不能在引用其他实体,而指针可以在任何时候指向任何一个实体
3.没有NULL引用,但有NULL指针
4.在sizeof中含义不同,引用结果为引用类型的大小,但是指针始终可以是地址空间所占字节个数(32位平台下占4个字节)
5.引用自加及引用的实体增加1,指针自加是指向后偏移一个类型的大小
6.引用比指针使用起来相对更安全。