C++之引用

    我们知道变量实质上是一段连续存储空间的别名，通过变量名不仅可以申请并命名内存空间，还可以使用存储空间

    所以变量本身就是一段内存的引用（别名），而引用，就可看成一个已定义变量的别名

引用语法：

Type& name = var;
如：
int a = 10;
int &b = a;

规则：

（1）引用没有定义，是一种关系型声明，声明它和原有某一变量（实体）的关系。故而类型与原类型保持一致，且不分配内存，与被引用的变量有相同的地址。

（2）声明的时候必须初始化，一经声明便不可变更。

（3）可对引用再次引用，多次引用的结果，是某一变量具有多个别名。

（4）&符号前有数据类型是，是引用，其他皆为地址。

 

引用做函数参数：

普通引用在声明时必须用其他变量进行初始化，但做函数参数声明时不需要初始化。

void func(Type &e)
{
    ...
}

引用的意义：

1）引用作为其他变量的别名而存在，因此在一些场合可以替代指针。

2）引用相对于指针来说具有更好的可读性和实用性。（可以用引用解决的问题，避免使用指针）

 

引用在C++内部的实现机制：

1）引用在C++中的内部实现是一个常指针

Type& name <==> Type* const name

2）C++编译器在编译过程中使用常指针作为引用的内部实现，因此引用占用的空间大小与指针相同。

3）从使用的角度，引用会让人误以为其只是一个别名，没有自己的存储空间。（这是C++为了实用性而做出的细节隐藏）

void func(int &a)
{
    a = 5;
}
/*
以上函数实际C++变为了这样子
void func(int *const a)
{
    *a = 5;
}
*/
int main()
{
    int x = 10;
    func(x);
    return 0;
}

 

我们知道间接赋值的3个必要条件：

1、定义两个变量（一个实参一个形参）

2、建立关联，实参地址传给形参

3、*p形参去间接修改实参的值

 

结论：

1）引用在实现上，只不过是把：间接赋值成立的三个条件的后两部合二为一。

当实参传给形参引用的时候，只不过是c++编译器帮我们程序员手工取了一个实参地址，传给了形参引用（常量指针）

2）当我们使用宏引用语法时，我们不去关心编译器引用是怎么做的

当我们分析奇怪的语法现象时，我们才去考虑c++编译器是怎么做的

 

补充：

引用作为函数返回值

1）当函数返回值为引用时，若返回栈变量 ，则不能成为其他引用的初始值（不能作为左值）

int getA1()
{
    int a;
    a = 10;
    return a;
}
int& getA2()
{
    int a;
    a = 10;
    return a;
}
int main(void)
{
    int a1 = 0;
    int a2 = 0;
    //值拷⻉
    a1 = getA1();  //10
    //将⼀个引⽤赋给⼀个变量，会有拷⻉动作
    //理解： 编译器类似做了如下隐藏操作， a2 = *(getA2())
    a2 = getA2();  //10
    //将⼀个引⽤赋给另⼀个引⽤作为初始值， 由于是栈的引⽤，内存⾮法
    int &a3 = getA2();
    cout <<"a1 = " <<a1<<endl;
    cout <<"a2 = " <<a2<<endl;
    cout <<"a3 = " <<a3<<endl;
    return 0;
}

2）当函数返回值为引用时，若返回静态或全局变量，可以成为其他引用的初始值（可作为右值使用，也可作为左值使用）

int getA1()
{
    static int a;  
    a = 10;
    return a;
}
int& getA2()
{
    static int a;//静态变量
    a = 11;
    return a;
}
int main(void)
{
    int a1 = 0;
    int a2 = 0;
    //值拷⻉
    a1 = getA1();
    //将⼀个引⽤赋给⼀个变量，会有拷⻉动作
    //理解： 编译器类似做了如下隐藏操作， a2 = *(getA2())
    a2 = getA2();
    //将⼀个引⽤赋给另⼀个引⽤作为初始值， 由于是静态区域，内存合法
    int &a3 = getA2();
    cout <<"a1 = " <<a1<<endl;  //10
    cout <<"a2 = " <<a2<<endl;  //11
    cout <<"a3 = " <<a3<<endl;  //11
    return 0;
}

3）引用作为函数返回值 如果返回值为引用可以当左值，如果返回值为普通变量不可以当左值

//函数当左值
//返回变量的值
int func1()
{
    static int a1 = 10;
    return a1;
}
//返回变量本⾝ ,
int& func2()
{
    static int a2 = 10;
    return a2;
}
int main(void)
{
    //函数当右值
    int c1 = func1();
    cout << "c1 = " << c1 <<endl;
    int c2 = func2(); //函数返回值是⼀个引⽤,并且当右值
    cout << "c2 = " << c2 <<endl;
    //函数当左值
    //func1() = 100; //error
    func2() = 100; //函数返回值是⼀个引⽤,并且当左值
    c2 = func2();
    cout << "c2 = " << c2 <<endl;
    return 0;
}