C++ 引用详解

目录

一、基本概念

二、引用的特点

三、引用的用法

3.1 const与引用

3.2 参数与引用

3.3 返回值与引用

四、引用和指针的区别

五、引用优势

---

一、基本概念

引用（reference）：是C++对C语言的一个重要扩充。引用是一个别名，它允许程序员使用一个变量的别名来操作它。引用通常用于函数参数和返回值，以及在类的成员函数中。引用的语法使用&符号来标识，例如：

用法：类型 &引用名 = 引用实体(已定义的变量名)

int b=1;
int &a=b;

引用的底层逻辑是指针：实际上，引用是一个指针常量，它在被声明时被初始化为指向某个变量的内存地址，且在其生命周期中不能再指向其他变量。因此，引用可以看作是一个指针的别名。

引用与其所代表的变量共享同一内存单元：系统并不为引用另外分配存储空间。实际上，编译系统使引用和其代表的变量具有相同的地址。（引用相比指针少了的寻址过程）

#include<iostream>
using namespace std;

int main(){
    int i=1;
    int &j=i;
    cout<<"i="<<i<<" j="<<j<<endl;
    cout<<"i的地址："<<&i<<endl;
    cout<<"j的地址："<<&j<<endl;
    return 0;
}
输出：
i和j的值相同
i和j的地址也相同

二、引用的特点

• 引用实体与引用必须是同种类型：
  因为引用的底层是用指针实现的，它指向了一个变量的地址。如果引用的类型与实体的类型不同，那么编译器将无法正确地解释这个地址，因为不同类型的变量在内存中的存储方式和大小可能是不同的。
• 引用定义时必须初始化，且不能初始化为NULL：
  因为引用本质上是一个别名，它必须引用一个已经存在的对象。如果引用未被初始化，那么它将指向一个未知的内存地址，这将导致不可预测的行为和错误。引用也不能初始化为NULL，因为NULL本质上是一个空指针常量，它表示指针不指向任何对象，而引用必须始终指向一个已经存在的对象。
• 不可改变引用关系：
  如果我们试图改变引用的引用关系，例如将一个引用指向另一个对象，那么编译器将会报错。这是因为引用的值是一个内存地址，它在被初始化时被指定，一旦被指定就无法更改。如果我们试图更改引用的值，实际上是试图更改指向的对象，这是不允许的。
• 引用不占内存：
  因为引用本质上是一个别名或者说是一个指针。当我们定义一个引用时，实际上是在给一个已经存在的变量取一个别名，这个别名在内存中不需要额外的空间来存储，因为它只是一个指向已有变量的内存地址。
• 不能有多级引用，不能建立指向引用的指针：
  因为引用本身就是一个别名，引用必须指向某个对象，而指针和引用的本质是不同的。指针是一个变量，它存储了某个对象的地址，而引用则是对象的别名，引用本身并没有存储对象的地址，因此不能取它的地址得到一个指针。而多级引用则会使得引用的本质变得模糊，无法确定引用所指向的对象.
• 不允许简历 word 类型的引用
• 不能建立引用数组
• 可以将引用的地址赋值给一个指针，此时指针指向的是原来的变量
• 可以用 const 对引用加以限定，不允许改变引用的值，但是它不阻止引用代表的变量的值

三、引用的用法

3.1 const与引用

• 被const修饰的变量，其引用也要被const修饰
• const引用（const reference）可以接受左值（lvalue）和右值（rvalue）作为参数，而非const引用（non-const reference）只能接受左值作为参数。
• 左值（lvalue）是指可以取地址的表达式，例如变量或函数返回值。右值（rvalue）是指不能取地址的表达式，例如字面量或临时对象。
• const引用可以延长右值的生命周期，使其与const引用一样长。
• const引用可以实现函数重载，根据参数类型选择不同的函数实现。

#include<iostream>
using namespace std;
int main(){
    const int a=1;
    int &b=a;        //报错
    const int &c=a;  //表示可以通过c修改a
    return 0;
}

3.2 参数与引用

引用作为函数参数时的原因：

• 避免复制参数值，节省内存和时间。
• 能够修改实参的值，实现双向通信。
• 保持参数类型的一致性，避免类型转换。

• 支持多态，使得函数可以根据不同类型的对象执行不同的操作。

函数调用时，值的传递机制是通过形参＝实参"来对形参赋值达到传值目的，产生了一个实参的副本。而引用不用经过值的传递机制，已经有了实参值的信息。所以没有了传值和生成副本的时间和空间消耗。当程序对效率要求比较高时，这是非常必要的。

#include<iostream>
using namespace std;
void swap(int &a,int &b){
    int c=a;
    a=b;
    b=c;
}
int main(){
    int a=1,b=2;
    swap(a,b);  //在函数中可以修改上行a,b
    cout<<a<<" "<<b<<endl;
    return 0;
}
输出：2 1

3.3 返回值与引用

• 返回值为引用的好处：在内存中不产生被返回值的副本，减少内存开销。
• 返回值与引用的区别：
  • 返回值是函数执行后返回的一个新的变量，而引用是函数返回的一个已存在变量的别名。
  • 返回值需要复制变量的值，而引用不需要复制，只需要传递指针。
  • 返回值不能修改原始变量的值，而引用可以修改原始变量的值。
  • 返回值可以是任何类型，而引用必须和原始变量类型一致。

#include<iostream>
using namespace std;
int fun(int &a){
    a += 2;
    return a;
}
int main(){
    int a = 2;
    fun(a);
    cout << a << endl;
    return 0;
}
输出：4

四、引用和指针的区别

• 指针：指针是一个实体，存储的内容是一个地址；引用：给已经存在的对象起的别名，不需要分配内存空间，也就是两个变量共用一个地址。
• 可以有多级指针，不能有多级引用。
• 引用不可改变引用关系，指针随意。

int a = 5, b = 10;
int* p = &a;  // 指向 a
*p = 15;      // 修改 a 的值
p = &b;       // 指向 b
int& r = a;   // 引用 a
r = 20;       // 修改 a 的值
// r = &b;    // 编译错误，引用只能指向一个对象

• 指针是间接访问，引用是直接访问。
• 自增运算含义不同，指针自增是指针上的计算，引用自增时单纯的加1。
• 指针可以不初始化，引用必须初始化，且不能初始化为NULL。
• 对指针sizeof是根据不同编译环境不同的，对引用sizeof则是表示原始变量的类型大小。
• 对于函数参数传递，指针需要手动解引用和取地址，而引用不需要，使得代码更加简洁。

void func(int* p) {  // 指针参数需要手动解引用
    *p = 10;
}
 
void func(int& r) {  // 引用参数不需要手动解引用
    r = 10;
}

五、引用优势

• 传递参数时可以避免拷贝：
  传递对象时，如果使用传值方式，需要将整个对象拷贝一份，效率较低。而使用引用作为函数参数，可以避免对象的拷贝，提高程序的效率，并节省内存开销。
• 函数返回值可以直接使用：
  使用引用作为函数返回值时，返回的是已经存在的对象的别名，可以直接对其进行修改或者使用，而不需要再进行一次拷贝。
• 可以实现移动语义和完美转发：
  使用右值引用可以实现移动语义和完美转发，可以避免对象的拷贝和内存分配，提高程序的效率。
• 可以避免指针的复杂性：
  使用引用可以避免指针的复杂性，避免了指针的空值和解引用问题，同时也避免了指针的内存泄漏和悬挂指针等问题。