深入探索C++引用的实现原理

引用

---

• 1.引用的概念及用法
• 2.引用做参数
• 3.引用做返回值
• 4.汇编层看引用的特性
• 5.引用和指针的区别
  

  ---

1.引用的概念及用法
引用不是定义一个新的变量，而是给一个已经定义的变量重新起一个别名。
定义的格式为：

类型 &引用变量名 = 已定义过的变量名;
int a = 1;
int &b = a;

引用的特点：
1. 一个变量可取多个别名
2. 引用必须初始化
3. 引用只能在初始化的时候引用一次，不能改变为再引用其他的变量。

可见， a 和 b 的地址一样，即 b 只是 a 的一个别名，并且可以通过修改 c （b的一个引用）来修改 b 的值；

2.引用做参数

(1).【值传递】如果形参为非引用的传值方式，则生成局部临时变量接收实参的值

void Swap (int left, int right) // 这里能实现交换吗？
{
    int temp = left;
    left = right ;
    right = temp ;
}

(2).【引用传递】如果形参为引用类型，则形参是实参的别名。

void Swap (int& left, int& right)
{
    int temp = left;
    right = left ;
    left = temp ;
}
**//当不需要改变参数值时，尽量使用常引用传参**

(3).【指针传递】

void Swap (int* pLeft, int* pRight)
{
    int temp = *pLeft;
    *pLeft = *pRight;
    *pRight = temp;
}

- 3.引用做返回值
*传值做返回值&传引用作为返回值*

int& Add (int d1, int d2)
// int Add ( int d1 , int d2)
{
    int ret = d1 + d2;
    return ret ;
}
void test()
{
    int a = 3, b = 4;
    int c = Add( a, b );
    cout<<"c:" <<c<< endl;
}

两种方式都能返回正确结果，那有什么不同呢？
- 4.汇编层看引用的特性

- 5.引用和指针的区别

1. 引用只能在定义时初始化一次，之后不能改变指向其它变量（从一而终）；指针变量的值可变。
2. 引用必须指向有效的变量，指针可以为空。
3. sizeof指针对象和引用对象的意义不一样。sizeof引用得到的是所指向的变量的大小，而sizeof指针是对象地址的大小。
4. 指针和引用自增(++)自减(--)意义不一样。
5. 相对而言，引用比指针更安全。

总结一下：
指针比引用更灵活，但是也更危险。使用指针时一定要注意检查指针是否为空。指针所指的地址释放以后最好置nullptr，否则可能存在野指针
比如下面这段程序：

void Swap (int& l, int& r)
{
    int temp = l;
    l = r;
    r = temp;
}
void Test()
{
    int* p = 0;
    int& a = *p;
    int b = 2;
}