引用的本质是什么?引用本质是变量的别名?其实这种说法有小问题
一,引用的本质
class A
{
int &a;
};
class B
{
};
int main()
{
using std::cout;
using std::endl;
cout << sizeof(A)<<sizeof(B);
}
你会发现A的大小等于一个指针大小。
没错,引用底层是用const指针实现的,分配额外的内存空间。
准确地说
int b=0;
int &a=b;
这种情况等同于
int b=0;
int *const lambda=&b;
//此后 *lambda就完全等价于上面的a
引用的特殊rebind
正常情况下,一般引用一旦绑定就不能rebind。
但是既然是指针那就有修改的方法
#include <iostream>
using namespace std;
int main()
{
int i=5;
int j=6;
int &r=i;
void *pi,*pj;
int *addr;
int dis;
pi=&i;
cout<<pi<<endl;//i的地址
pj=&j;
cout<<pj<<endl;//j的地址
dis=(int)pj-(int)pi;//地址差
cout<<dis<<endl;
addr=(int *)((int)pj+dis);//获得引用底层const指针,即lambda的地址
(*addr)+=dis;//将r由指向i转向指向j
r=10;
cout<<i<<" "<<j<<endl;
}
输出结果5 10
没错,r之前是绑定在i上,我们强行rebind到j上了
const引用
除了const本身带来的区别外,const引用与普通引用稍有不同,体现在
const int &a = 1;//通过
//int &a = 1;//非法
先在数据区开辟一个值为1的无名整型量,再将引用a与这个整型量进行绑定。
右值引用
下面内容部分摘录自 http://www.cnblogs.com/cposture/p/4927712.html,有修改
&& 和左值引用的区别
1. 绑定的对象(引用的对象)不同,左值引用绑定的是返回左值引用的函数、赋值、下标、解引用、前置递增递减
2. 左值持久,右值短暂,右值只能绑定到临时对象,所引用的对象将要销毁或该对象没有其他用户
3. 使用右值引用的代码可以自由的接管所引用对象的内容
清单1
int &&i = 1;
int b = 2;
cout << i << endl;
i = b;
cout << i << endl;
//输出1 2
清单1中i绑定到了右值1,说明:初始化时,右值引用一定要用一个右值表达式绑定;初始化之后,可以用左值表达式修改右值引用的所引用临时对象的值.
int &&a=1;和const int &a=1;是完全一样的操作,先在数据区开辟一个值为1的无名整型量,再将引用a与这个整型量进行绑定。但是右值引用直接支持rebind.
清单2
int&&temp =0;
int&&i = temp;//error!
清单2中temp是一个右值引用变量,变量是左值,因此i引用temp左值是非法的!
int a1 = 0, a2 = 1;
int(&&c)[2] = { a1,a2 };
c[0]++;
std::cout << a1<<c[0];
在这里{a1,a2}是传值,因此a1仍等于0.
即使rebind到左值,也不会传引用而仅仅是传值
int &&bb = 1;
int cc = 0;
bb = cc;
bb++;
cout << cc << bb<<endl;