引用的概念
引用不是新定义一个变量,而是给已存在变量取了一个别名,编译器不会为引用变量开辟内存空 间,它和它引用的变量共用同一块内存空间。
比如:李逵,在家称为"铁牛",江湖上人称"黑旋风"。
引用使用的基本结构:类型&对象名=引用实体
void test()
{
int a = 0;
int& b = a;
//打印a和b的地址,结果相同,共用同一块空间
printf("%p\n",&a);
printf("%p\n",&b);
}
注意:引用类型必须和引用实体的类型相同。
引用特性
1. 引用在定义时必须初始化
2. 一个变量可以有多个引用
3. 引用一旦引用一个实体,再不能引用其他实体
以上三条是引用的特性,在使用引用时要将其与指针区分开。
void test()
{
//int& c;未初始化编译不通过,语法错误
int a = 0;
int& b = a;
int& c = a;
int& d = a;
int e = 0;
//int&b=e;引用只能引用一个实体,不能再引用其他实体
}
常引用
常引用涉及到权限的放大、缩小还有平移,常引用无法方法权限,可以缩小以及平移权限。
void test()
{
const int a = 0;
//int& b = 0;权限的放大,从const修饰到无const修饰,语法错误。
const int& b = a;//权限的平移,权限没有改变,语法正确。
//
int c = 0;
const int& d = c;//权限的缩小,语法正确
//double& e = c;引用类型与实体类型不匹配,语法错误
}
void test()
{
int a = 0;
//double&c=a; 语法错误,类型转换会生成临时变量,临时变量具有常性,给给c以后相当于权限的放大。
const double& b = a;//语法正确,类型转换会生成临时变量,临时变量的类型为double。
}
注意:类型转换和逻辑运算都需要开辟临时空间存储临时变量,临时变量具有常性(const)。
传值、传引用效率比较
以值作为参数或者返回值类型,在传参和返回期间,函数不会直接传递实参或者将变量本身直 接返回,而是传递实参或者返回变量的一份临时的拷贝,因此用值作为参数或者返回值类型,效 率是非常低下的,尤其是当参数或者返回值类型非常大时,效率就更低。
#include <time.h>
struct A{ int a[10000]; };
void TestFunc1(A a){}
void TestFunc2(A& a){}
void TestRefAndValue()
{
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;
c
引用与指针的区别
在语法概念上引用就是一个别名,没有独立空间,和其引用实体共用同一块空间。
在底层其实引用与指针没有区别,都是开辟空间存放地址。
void test()
{
int a = 0;
int& b = a;
int* c = &a;
}
如上图反汇编所示,引用和指针都lea(取地址)了a的地址存入rax,rax再分别mov[b]和[c]中。
引用和指针的不同点:
1. 引用概念上定义一个变量的别名,指针存储一个变量地址。
2. 引用在定义时必须初始化,指针没有要求
3. 引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候指向任何 一个同类型实体
4. 没有NULL引用,但有NULL指针
5. 在sizeof中含义不同:引用结果为引用类型的大小,但指针始终是地址空间所占字节个数(32 位平台下占4个字节)
6. 引用自加即引用的实体增加1,指针自加即指针向后偏移一个类型的大小
7. 有多级指针,但是没有多级引用
8. 访问实体方式不同,指针需要显式解引用,引用编译器自己处理
9. 引用比指针使用起来相对更安全