C++中的引用

1.引用的基本语法

引用：就是给变量起“外号”（别名），原变量和“外号”变量指向同一个内存空间

引用的语法：数据类型 &别名 = 原名

例子：

#include <iostream>
using namespace std;

int main()
{
    //引用的基本语法
    //数据类型 &别名 = 原名
    int a = 10;

    //创建引用
    int &b = a;

    cout << "a = " << a << endl;
    cout << "b = " << b << endl;

    b = 100;

    cout << "a = " << a << endl;
    cout << "b = " << b << endl;

    return 0;
}


输出：
----------------------------------------------------------------------------------
a = 10
b = 10
a = 100
b = 100

2.引用的注意事项

• 引用必须初始化

int &b; //错误，不能不给原变量，直接定义“外号”变量

• 引用在初始化后，就不能改变
• 引用的“外号”可以与原变量相同

int &a = a; //正确

例子：

#include <iostream>
using namespace std;

int main()
{
    int a = 10;

    //1.引用必须初始化
    int &b = a;

    //2.引用在初始化后，就不能改变
    int c = 20;

    b = c;  //赋值操作，而不是更改引用

    cout << "a = " << a << endl;
    cout << "b = " << b << endl;
    cout << "c = " << c << endl;

    return 0;
}

输出：
----------------------------------------------------------------------------------
a = 20
b = 20
c = 20

3.引用做函数参数

作用：函数传参时，可以利用引用的技术让形参修饰实参

优点：可以简化指针修改实参

例子：

#include <iostream>
using namespace std;

//交换函数

//1.值传递
void mySwap01(int a, int b)
{
    int temp = a;
    a = b;
    b = temp;
}

//2.地址传递
void mySwap02(int *a, int *b)
{
    int temp = *a;
    *a = *b;
    *b = temp;
}

//3.引用作为函数参数
void mySwap03(int &a, int &b)
{
    int temp = a;
    a = b;
    b = temp;
}

int main()
{
    int a = 10;
    int b = 20;

    // mySwap01(a,b);  //值传递，形参不会修饰实参
    // mySwap02(&a,&b);  //地址传递，形参会修饰实参
    mySwap03(a,b);  //引用传递，形参会修饰实参

    cout << "a = " << a << endl;
    cout << "b = " << b << endl;

    return 0;
}

输出：
----------------------------------------------------------------------------------
a = 20
b = 10

4.引用作函数的返回值

作用：引用是可以作为函数的返回值存在的

注意：不要返回局部变量的引用

用法：函数的调用作为左值

例子：

#include <iostream>
using namespace std;

//引用作函数的返回值

//1.不要返回局部变量的引用
// int& test01()
// {
//     int a = 10;  //局部变量,存放在内存四区中的栈区
//     return a;
// }

//2.函数的调用可以作为左值
int& test02()
{
    static int a = 10;  //静态变量,存放在内存四区中的全局区，在程序结束后由系统释放
    return a;
}

int main()
{
    // int &ref1 = test01();
    int &ref2 = test02();

    // cout << "ref1 = " << ref1 << endl;
    cout << "ref2 = " << ref2 << endl;

    test02() = 1000;  //如果函数的返回值是引用，那么函数的调用可以作为左值
    cout << "ref2 = " << ref2 << endl;

    return 0;
}

ref1报错：
----------------------------------------------------------------------------------
引用作函数的返回值.cpp: In function ‘int& test01()’:
引用作函数的返回值.cpp:10:12: warning: reference to local variable ‘a’ returned [-Wreturn-local-addr]
   10 |     return a;
      |            ^
引用作函数的返回值.cpp:9:9: note: declared here
    9 |     int a = 10;  //局部变量,存放在内存四区中的栈区
      |         ^


ref2输出：
----------------------------------------------------------------------------------
ref2 = 10
ref2 = 1000

5.引用的本质

本质：引用的本质是在C++内部实现一个指针常量

例子：

#include <iostream>
using namespace std;

//发现是引用，转换为 int* const ref = &a;
void func(int& ref)
{
    ref = 100;  //ref是引用，转换为*ref = 100
}

int main()
{
    int a = 10;

    //编译器自动将这行代码转换为 int* const ref = &a；指针常量的指针指向的地址是固定的，不可改，也说明了为什么引用不能更改
    int& ref = a;  

    ref = 20;  //编译器内部发现ref是引用，自动帮我们转换为：*ref = 20;

    cout << "a = " << a << endl;
    cout << "ref = " << ref << endl;

    func(a);
    cout << "a = " << a << endl;
    cout << "ref = " << ref << endl;

    return 0;
}

输出：
----------------------------------------------------------------------------------
a = 20
ref = 20
a = 100
ref = 100

结论：C++推荐使用引用技术，因为语法方便，引用的本质是指针常量，但是所有的指针操作编译器都帮我们做了

6.常量引用

作用：用来修饰形参，防止误操作

在函数形参列表中，可以加const修饰形参，防止形参改变实参

#include <iostream>
using namespace std;

//打印数据
void showValue_False(int& val)
{
    val = 1000;  //这时形参val可以修改函数外部实参a
    cout << "val = " << val << endl;
}

void showValue_True(const int& val)
{
    // val = 1000;  //这时形参val不能修改函数外部实参a，程序报错
    cout << "val = " << val << endl;
}

int main()
{
    //常量引用
    // int a = 10;
    // int& ref = 10;  //错误使用，引用必须引一块合法的内存空间，不能直接赋值
    
    //加上const之后，编译器将修改代码为：int temp = 10; const int &ref = temp;
    const int& ref = 10;
    cout << "ref = " << ref << endl;
    // ref = 20;  //错误使用，加入const后引用变为只读，不可修改

    //使用场景：用来修饰形参，防止误操作，导致函数内的形参修改了实参
    int a = 100;

    showValue_True(a);
    cout << "a_True = " << a << endl;

    showValue_False(a);
    cout << "a_False = " << a << endl;

    return 0;
}     

输出：
----------------------------------------------------------------------------------
ref = 10
val = 100
a_True = 100
val = 1000
a_False = 1000