目录
1.引用
1.1引用概念
引用不是新定义一个变量,而是给已经存在的变量取了一个别名,编译器不会为引用变量开辟内存空间,它和它引用的变量共用同一块内存空间。
类型& 引用变量名(对象名)=引用实体;
int main()
{
int a = 10;
int& b = a;//定义引用类型
return 0;
}
注意:引用类型必须和引用实体是同种类型的
1.2引用特性
1.引用在定义时必须初始化
2.一个变量可以有多个引用
3.引用一旦引用一个实体,再不能引用其他实体
int main()
{
int a = 10;
int& b;
b = a;
return 0;
}
int main()
{
int a = 10;
int& b = a;
int& c = a;
return 0;
}
1.3常引用
int main()
{
const int a = 10;
//int& ra = a;//编译时会出错,a为常量
const int& ra = a;
//int& b = 10;//编译时会出错,b为常量
const int& b = 10;
double d = 12.34;
//int& rd=d; //编译时会出错。类型不同
const int& rd = d;
return 0;
}
1.4使用场景
1.做参数
void Swap(int& left, int& right)
{
int temp = left;
left = right;
right = temp;
}
2.做返回值
int& count()
{
static int n = 0;
n++;
return n;
}
看以下代码的输出结果,为什么会出现以下情况?
int& Add(int a, int b)
{
int c = a + b;
return c;
}
int main()
{
int& ret = Add(1, 2);
printf("%d\n", ret);
printf("%d\n", ret);
printf("%d\n", ret);
}
输出结果:
函数在运行时,系统负责给函数创建一个栈帧,Add函数运行结束后,该函数对应的栈空间就被回收了,即c变量就没有意义了,在main中,ret引用Add函数返回值,实际引用的是一块已经被释放的空间。第一次调用printf函数时,ret空间被回收了,不能再使用了,但是空间还在,ret的值没有发生改变,正常打印ret的值,函数执行结束之前,会将ret引用的空间进行回收修改,第二次调用printf函数时,访问ret时,ret的值已经发生改变,打印出来值是上次printf函数访问该空间时,函数结束前对其回收修改后的值,第二次printf函数结束之前也会将ret引用的空间回收,修改ret的值,第三次printf函数同理。因此会出现上面的情况
注意:函数以引用的方式返回,一定不能返回函数栈上的空间,返回的实体的生命周期不能随函数的结束而结束。
1.5传值,传引用效率比较
#include <time.h>
struct A
{
int a[10000];
};
void TestFunc1(A a)
{
}
void TestFunc2(A& a)
{
}
int main()
{
A a;
//以值作为函数参数
size_t begin1 = clock();
for (size_t i = 0; i < 10000; ++i)
{
TestFunc1(a);
}
size_t end1 = clock();
//以引用作为函数参数
size_t begin2 = clock();
for (size_t i = 0; i < 10000; ++i)
{
TestFunc2(a);
}
size_t end2 = clock();
//分别计算两个函数运行的时间
cout << "TestFunc1(A)-time:" << end1 - begin1 << endl;
cout << "TestFunc2(A&)-time:" << end2 - begin2 << endl;
}
可以看出,传引用的效率明显高于传值。
值和引用的作为返回值类型的性能比较
#include <time.h>
struct A
{
int a[10000];
};
A a;
A TestFunc1()
{
return a;
}
A& TestFunc2()
{
return a;
}
int main()
{
//以值作为函数参数
size_t begin1 = clock();
for (size_t i = 0; i < 10000; ++i)
{
TestFunc1();
}
size_t end1 = clock();
//以引用作为函数参数
size_t begin2 = clock();
for (size_t i = 0; i < 10000; ++i)
{
TestFunc2();
}
size_t end2 = clock();
//分别计算两个函数运行的时间
cout << "TestFunc1time:" << end1 - begin1 << endl;
cout << "TestFunc2time:" << end2 - begin2 << endl;
}
通过上述代码的比较,发现传值和传引用在作为传参以及返回值类型上效率相差很大。
1.6引用和指针的区别
在语法概念上引用就是一个别名,没有独立空间,和其引用实体共用同一块空间。
在底层实现上实际是有空间的,因为引用是按照指针方式来实现的。
int main()
{
int a = 10;
int& ra = a;
ra = 20;
int *pa = &a;
*pa = 20;
return 0;
}
我们来看引用和指针的汇编代码:
可以看出引用在底层实现上,和指针是相同的。
引用和指针的不同点:
1.引用概念上定义一个变量的别名,指针存储一个变量地址
2.引用在定义时必须初始化,指针没有要求
3.引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候指向任何一个同类型的实体
4.没有NULL引用,但有NULL指针
5.在sizeof中含义不同,引用结果为引用类型的大小,但指针始终是地址空间所占字节个数(32为平台下占4个字节)
6.引用自加即引用的实体增加1,指针自加即指针向后偏移一个类型的大小
7.有多级指针,但没有多级引用
8.访问实体方式不同,指针需要显示解引用,引用编译器自己处理
9.引用比指针使用起来相对更安全