引用的概念
引用不是新定义一个变量,而是给已存在的变量取了个别名,编译器不会为引用变量开辟内存空间,它和它引用的变量共用一块内存空间。
引用的方法
类型& 引用变量名(对象名) = 引用实体;
int main()
{
int a = 10;
int b = a;
return 0;
}
在这串代码中,首先给a开辟了一块空间,但接着b=a,又给b开辟了一块空间,因此不是引用
int main()
{
int a = 10;
int &b = a;
return 0;
}
但是在这串代码中,相当于没有给b开空间,只是a的别名,是引用,代表b引用了a
此时修改a,b会被修改,修改b,a也会被修改,即共用一个空间
注意:
不能跨类型引用
同一个变量不能引用多个引用实体
常引用
void TestConstRef()
{
const int a = 10;
const int& b = a;
}
引用的用法
int main()
{
int a = 1;
int &b = a;
int *ptr = &a;
int *&q = ptr;
int ar[10] = {1, 2, 3, 4, 5, 6, 7, 8, 8, 10};
int (&br)[10] = ar;
}
在这个交换ab数值的代码中,由于xy是ab的别名,所以在Swap函数中便相当于直接在操作
ab两个变量
void Swap(int &x, int &y)
{
int tmp = x;
x = y;
u = tmp;
}
int main()
{
int a = 10;
int b = 20;
cout<<"a = "<<a<<"b = "<<b<<endl;
Swap(a, b);
cout<<"a = "<<a<<"b = "<<b<<endl;
return 0;
}
除此之外引用还可以用作返回值
int fun(int a, int b)
{
int value = a + b;
return value;
}
int main()
{
int result = fun(10, 20);
cout<<"result = "<<result<<endl;
return 0;
}
在这串代码中,看似是很正常的定义两个变量,随后让他们相加再返回
但是value真的能返回吗?
不能,他只是一个局部变量,在fun函数结束后value就被释放了
程序的本质是当我们返回value时,会建立一个无名的临时空间,其中用于存储value的值,随后value被释放
而fun函数中的返回其实是将这个临时空间中的数据返回,当临时空间中的值被传给result后,临时空间被释放
此时若是引用返回
int& fun(int a, int b)
{
int value = a + b;
return value;
}
int main()
{
int &result = fun(10, 20);
cout<<"result = "<<result<<endl;
return 0;
}
此时便发生了变化,即在返回时并不会建立临时空间,而是真实的把value空间进行返回
但此时value空间已经被释放了,所以result接收到的值其实是一个已经释放了的空间的值,存在风险
因此如果想要使用引用返回,则value变量一定不能受fun函数的限制,即
int& fun(int a, int b)
{
static int value = a + b;
return value;
}
int main()
{
int &result = fun(10, 20);
cout<<"result = "<<result<<endl;
return 0;
}
结论:如果函数返回时,出了函数作用域,如果返回对象还未返回给系统,则可以使用引用返回,若返回对象已经还给系统了,则必须使用传值返回
传值与传引用的效率比较
以值作为参数或者返回值类型,在传参和返回期间,函数不会直接传递实参或者将变量本身直接返回,而是传递实参或者返回变量的一份临时拷贝,
因此用值作为参数或者返回值类型,效率是非常低下的,特别是当参数或者返回值类型非常大时,效率就更低
引用与指针的区别
在语法概念上引用就是个别名,没有独立空间,和其引用实体共用一块空间
但在底层实现上实际是有空间的,因为引用是按照指针方式来实现的
引用和指针的区别:
1、引用在定义时必须初始化,指针没有要求,例如空指针,但没有空引用
2、引用在初始化时引用一个实体后,不能再引用其他实体,而指针可以在任何时候指向别的实体
3、在sizeof中含义不同:引用结果为引用类型的大小,但指针始终是地址空间所占字节的大小(32位平台下为4字节,64位平台下为8字节)
4、引用自加即引用的实体增加1,指针自加即指针向后偏移一个类型的大小
5、有多级指针,但没有多级引用
6、访问实体方式不同,指针需要显式解引用,引用编译器自己处理
7、引用比指针使用起来更加安全