C++语法——引用

引用的特性

1. 引用必须初始化（不同于指针）

2. 引用不可改变他的实体

ret2 = 10;//这里c++只发生了赋值运算，引用指向的对象不能变

3. 一个实体可以有多个引用

引用的场景及优点

*做参数

减少拷贝，提升效率

可以改变参数输出

*做返回值

减少拷贝，提升效率（大对象和深拷贝）

可以查找和改变返回值（c语言的数据结构改变变量和查找需要两个函数实现，C++只用一个查找）

int& GetData(SqList p,  int pos){}

int main()
{
    SqList b;
    int& a = GetData(b, 2);//查找
    a = 10;//修改顺序表里的值

    retutrn 0;
}

引用的越界访问

int& text1(int x)//如果返回值类型是int，则n先拷贝给临时变量，临时变量再拷贝给ret。原来的n会销毁掉，如果是int&则不会拷贝，指向原来n的地址。
{
	int n = x;
	n++;
	return n;
}

int main()
{
	int& ret = text1(10);//ret的结果侥幸是正确的，出了作用域，函数text1的战帧销毁，n也销毁了；
	//但vs在战帧销毁后没有清理，原来的战帧空间事实上还存在，但用户无使用权，这里的访问属于是越界访问了，一旦中间被别的程序使用了，就变掉了
	cout << ret << endl;
	int& ret2 = text1(20);

	cout << ret << endl;

    //printf("smdsnoos\n");

	cout << ret << endl;
	return 0;

}

*ret的结果侥幸是正确的，出了作用域，函数text1的战帧销毁，n也销毁了；
但vs在战帧销毁后没有清理，原来的战帧空间事实上还存在，但用户无使用权，这里的访问属于是越界访问了，一旦中间被别的程序使用了，就变掉了

引用的权限问题

引用的权限只能缩小或者平移

const int a = 0;
	int& b = a;//无法实现，权限不能放大

const int 变成 int 权限放大 无法实现

int c = a;//可以，应为c只是a拷贝，c改变不能改变a。

c只是拷贝a的值，c的改变不影响a

int d = 0;
	int& y = d;//可以，权限平移
	const int& x = d;//权限缩小
	++d;//x权限变小，d的权限没遍。

引用的底层实现逻辑（汇编）

int& b = a;对应的汇编代码

004D19A6  lea         eax,[a]  
004D19A9  mov         dword ptr [b],eax  

首先取a的地址，给eax寄存器，再把eax赋值给b的取地址，b就指向a了

（一般的运算都要通过eax等寄存器而不是在内存上进行，主要是出于效率的考虑）

ps：虽然底层的实现用到了指针，开辟了新空间，但是在语义上还是没开辟空间

通过临时变量完成的引用

发生截断和类型提升， 非引用返回值函数的返回，不同类型数据比较时会利用一个临时变量，将改变后的值赋给这个临时变量， 再拿这个临时变量去进行赋值或者比较,这个临时变量具有常属性，因此在引用的时候要注意权限

 

int text() {
	static int a = 0;
	return a;
}
int main(){
	int& a = text();//error
	return 0;
}

该代码错误的原因是a返回时，创建了一临时变量，a->临时->(main)a, 临时变量有常属性， int&无，属于权限放大，故error，这里int& a改成const int&就可以了

    int a = 0;
	double b = 2.2;
	if (a < b){}
		printf("right");
	}
	return 0;

这里的结果是right，不同类型比较也是把精度小的数据 在临时变量里 提升成大的，在把临时变量和double 型比较