C++拾遗（二） 引用

引用的基本使用

作用： 为某个已存在的变量取别名，引用变量与被引用变量公用一块内存空间

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

int main()

{

    int a = 10;

    int &b = a; 将b作为a的别名

    std::cout << "a = " << a << std::endl; 打印a的值

    std::cout << "b = " << b << std::endl; 打印b的值

    b = 100; 令b等于100

    std::cout << "a = " << a << std::endl; 此时a的值为100

    std::cout << "b = " << b << std::endl; 此时b的值为100

    system("pause");

    return 0;

}

由上述可知，a b是同一个变量，指向同一个内存空间

引用注意事项

1. 引用在定义时必须初始化

2. 一个变量可以有多个引用

3. 引用一旦引用一个实体，再不能引用其他实体

以下由一个程序进行说明

int main()

{

    int a = 10;

    int b = 20;

    int &c; 此种方式创建一个引用是错误，引用必须初始化

    int &c = a; 一旦初始化后，就不可以更改。

    c = b; 该种方式修改是赋值操作，不是更改引用

    std::cout << "a = " << a << std::endl; 打印结果20

    std::cout << "b = " << b << std::endl; 打印结果20

    std::cout << "c = " << c << std::endl;  打印结果20

    system("pause");

    return 0;

}

由上述程序说明，c被b赋值后，c=20，但由于c和a是一样的，指向同一个内存空间，此时a也等于20

引用做函数参数

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

优点：

1.可以简化指针修改实参

2.引用传参后，函数内部进行修改变量时，可以直接对传入变量本身进行修改

3.返回时的引用直接指向原始数据，而不是一个中间变量，效率提高

如下程序进行说明：

当函数传参是值传递时：程序会为临时变量开辟一个新的空间，根据传入参数在该

空间中修改内存，效率低：

void mySwap01(int a, int b)

{

     int temp = a;

    a = b;

    b = temp;

}

当函数传参是地址传递时：

void mySwap02(int* a, int* b)

{

    int temp = *a;

    *a = *b;

    *b = temp;

}

当函数传参是引用传递时：

void mySwap03(int& a, int& b)

{

     int temp = a;

    a = b;

    b = temp;

}

int main()

{

    int a = 10;

    int b = 20;

    mySwap01(a, b);

    std::cout << "a:" << a << " b:" << b << std::endl; 打印结果a=10 b=20

    mySwap02(&a, &b);

    std::cout << "a:" << a << " b:" << b << std::endl; 打印结果a=20 b=10

    mySwap03(a, b); 因为该函数接受的是引用传递，所以参数不需要&获取实参地址

    std::cout << "a:" << a << " b:" << b << std::endl; 打印结果a=10 a=20

    system("pause");

    return 0;

}

如上程序可知：

第一个函数：函数创建了两个值与ab相同的两个变量，该变量在函数内部进行操作，函数结束后，

两变量并没有返回，程序中ab值不变

第二个函数：函数传入ab两变量地址，函数内部直接对ab俩个变量进行操作

第三个函数：函数传入了ab本身两个变量地址，函数内部直接对ab俩个变量进行操作

总结：通过引用参数产生的效果同按地址传递是一样的，但引用的语法更清楚简单

引用做函数返回值

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

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

用法：函数调用作为左值

以下一个程序进行进一步说明：

返回局部变量引用

int& test01()

{

    int a = 10; 设置一个局部变量

    return a;

}

该函数试图返回一个局部变量a的引用。但是，当函数test01执行完毕时，局部变量a会被销毁，因

此尝试访问该引用的行为是未定义的行为，可能会导致程序崩溃或其他不可预测的行为。

返回静态变量引用

int& test02()

{

    static int a = 20;

    return a;

}

该函数返回了一个静态局部变量a的引用。由于a是静态的，它在函数调用之间保持其值。因此，这

个函数可以安全地返回其引用。

int main()

{

    不能返回局部变量的引用

    int& ref = test01(); test01()是一个将亡值表达式

    std::cout << "ref = " << ref << std::endl; 打印10，即将亡值

    虽然a局部变量的内存随函数的结束而被摧毁，但该变量的值通过移动给了ref，这也叫做将亡

值，延长了局部变量的生存周期

    std::cout << "ref = " << ref << std::endl; 将亡值销毁，打印地址2058861536，

    int& ref2 = test02(); ref2作为test02()返回值的引用

    std::cout << "ref2 = " << ref2 << std::endl; 打印20

    test02() = 1000; 如果函数做左值，那么必须返回引用

    std::cout << "ref2 = " << ref2 << std::endl;  打印1000 ref2是test()的引用，test()被修改，ref2也被修改

    system("pause");

    return 0;

}

将亡值是由右值引用的产生而引起的，所谓的将亡值表达式，就是下列表达式：

1.返回右值引用的函数的调用表达式，如 std::move(t)，上程序test01()

2.转换为右值引用的转换函数的调用表达，如 static_cast<T&&>(t)

引用的本质

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

void func(int& ref) 

{

    ref = 100;   ref是引用，系统转换为*ref = 100

}

    int main()

{

    int a = 10;

    int& ref = a;

    自动转换为 int* const ref = &a; 指针常量是指针指向不可改，也说明为什么引用不可更改

    ref = 20;  内部发现ref是引用，自动帮我们转换为: *ref = 20;

    std::cout << "a:" << a << std::endl; 打印结果20

    std::cout << "ref:" << ref << std::endl; 打印结果20

    func(a);

    std::cout << "a:" << a << std::endl; 打印结果100

    return 0;

}

常量引用

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

引用使用的场景，通常用来修饰形参

void showValue(const int& v)

直接传入引用，函数对引用的修改会将实参也进行修改，此时加入const，传入的引用不会被修改

{

    v += 10; 报错，因为v是常量，不可以被改变

    std::cout << v << std::endl;

} 

int main()  

{

    int& ref = 10; 引用本身需要一个合法的内存空间，因此这行错误需要加入const

    const int& ref = 10;

    ref = 100;  报错，加入const后不可以修改变量

    std::cout << ref << std::endl; 打印10

    int a = 10;

    showValue(a); 打印10

    system("pause");

    return 0;

}