深刻理解引用、const引用、右值引用的本质

引用的本质是什么？引用本质是变量的别名？其实这种说法有小问题

一，引用的本质

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;