【C++】C++ 引用详解 ② ( 引用的意义 | 引用本质分析 | 引用的常量特征 | 引用所占内存空间与指针相同 | 引用在 C++ 编译器实现 | 引用编译时会自动翻译为常量指针 )

深藏阁楼爱情的钟 2023-10-15 08:36 108阅读 0赞

#### 文章目录 ####

*  一、引用的意义
 *   *  1、意义说明
     *  2、引用与指针对比
 *  二、引用本质分析
 *   *  1、引用的常量特征
     *  2、引用和变量都是相同的内存空间的别名
     *  3、引用所占内存空间与指针相同
 *  三、引用在 C++ 编译器实现
 *   *  1、C++ 引用是常量指针
     *  2、引用编译时会自动翻译为常量指针
     *  3、引用与指针做形参分析
     *  4、函数间接赋值 与 引用本质分析

## 一、引用的意义 ##

--------------------

### 1、意义说明 ###

**" 引用 " 的 意义 :**

*  引用 作为 已存在 变量 的 别名 , 其 效果 等同于 一级指针 ;
 *  引用 使用 简单 , 不需要像指针一样 , 使用取地址符 获取地址 , 使用 指针符号 \* 访问数据 ;

### 2、引用与指针对比 ###

**引用 与 指针示例 :** 下面的两个函数 , 分别使用 指针 和 引用 作为参数 ,

*  二者实现了相同的功能 , 性能也相同 ;
 *  但是使用引用 , 可以像操作变量一样操作外部元素 , 不需要使用指针和取地址符 , 其 可读性 , 可维护性 大大提升 ;

指针示例 :

// 交换 a 和 b 的值
    // C 语言中可以使用该方法
    void swap2(int* a, int* b)
    {
        
    	int c = 0;
    	c = *a;
    	*a = *b;
    	*b = c;
    }

引用示例 :

// 交换 a 和 b 的值
    // C++ 中推荐的方法
    void swap3(int& a, int& b)
    {
        
    	int c = 0;
    	c = a;
    	a = b;
    	b = c;
    }

在 C++ 语言中 , 用好引用 , 可以写出 高质量 , 高性能 , 高可读行 , 高可维护性 的代码 ;

## 二、引用本质分析 ##

--------------------

### 1、引用的常量特征 ###

在下面的代码中 , 先定义变量 a , 然后定义 已存在变量 a 的引用 b ;

// 定义变量 a
    int a = 10;
    
    // 定义变量 a 的引用 b
    int& b = a;

定义 引用 时 ,

*  如果 单独 定义引用 , 必须进行初始化操作 ;
 *  如果 在函数参数 中使用引用 , 可以不进行初始化 ;

上述性质 , 类似于 " 常量 " , 说明 引用 具有 " 常量 " 的特征 ;

上述 `int& b = a;` 代码 , 如果使用 C 语言表达 , 就是

int* const b = &a;

定义的是一个指针常量 , 该指针是常量 , 指针本身 也就是 指针指向的地址 不可更改 ;

### 2、引用和变量都是相同的内存空间的别名 ###

将上述 变量 a 和 引用 b 的地址 , 打印出来 ,

打印出的 变量 a 和 引用 b 的地址是相同的 , 说明这两个都是内存空间的别名 ;

**代码如下 :**

// 包含 C++ 头文件
    #include "iostream"
    
    // 使用 std 标准命名空间
    //		该命名空间中 , 定义了很多标准定义
    using namespace std;
    
    // 导入 C 头文件
    #include <stdio.h>
    
    int main()
    {
        
    	// 定义变量 a
    	int a = 10;
    
    	// 定义变量 a 的引用 b
    	int& b = a;
    
    	// 打印变量 a 和 引用 b 的地址
    	printf("&a = %d, &b = %d\n", &a, &b);
    
    
    	// 控制台暂停 , 按任意键继续向后执行
    	system("pause");
        return 0;
    }

**执行结果为 :**

&a = 12516116, &b = 12516116
    Press any key to continue . . .

![在这里插入图片描述][4bb22c55709547198f6ad82ceb46f583.png]

### 3、引用所占内存空间与指针相同 ###

引用 和 变量 都是相同的内存空间的别名 , 引用 本身 也占用内存空间 ,

引用 所占 的 内存空间 , 与 指针 所占的内存空间 是相同的 ;

验证 引用 所占的内存空间很简单 , 只需要在 结构体 中定义引用 , 然后获取该结构体的大小即可 ;

**定义如下结构体 :**

struct Student
    {
        
    	int age;
    	int& a;
    	int& b;
    };

使用 sizeof 函数 , 获取上述结构体的大小 ;

**使用下面的代码验证 :**

// 包含 C++ 头文件
    #include "iostream"
    
    // 使用 std 标准命名空间
    //		该命名空间中 , 定义了很多标准定义
    using namespace std;
    
    // 导入 C 头文件
    #include <stdio.h>
    
    struct Student
    {
        
    	int age;
    	int& a;
    	int& b;
    };
    
    int main()
    {
        
    	printf("sizeof(Student) = %d\n", sizeof(Student));
    
    
    	// 控制台暂停 , 按任意键继续向后执行
    	system("pause");
        return 0;
    }

**执行结果 :**

sizeof(Student) = 12
    Press any key to continue . . .

![在这里插入图片描述][e587ad73c06240a1bfd11f6d486dc9d4.png]

上述 Student 结构体 , 占  12 12 12 字节的 内存空间 , int 类型已知占 4 字节 , 剩余的 引用 a 和 b 各占 4 字节 , 与指针所占的内存空间相同 ;

## 三、引用在 C++ 编译器实现 ##

--------------------

### 1、C++ 引用是常量指针 ###

**综合上述引用的特征 :**

*  引用具有常量的特征 , 是一个常量 ;
 *  引用和变量都是相同的内存空间的别名 , 其地址都指向内存空间 ;
 *  引用本身也占用内存空间 , 占用大小与指针相同 ;

综合上面的三种特点 , C++ 语言编译器 中 , 引用的本质是 :

类型* const 指针名称;

指针 ;

引用在 C++ 语言内部是 常量指针 , 下面 C++ 语言的 " 引用 "

引用类型& 引用名称

等同于 下面的 C 语言的 " 常量指针 "

指针类型* const 指针名称

C++ 语言中的 引用 , 其在 编译器中的实现 就是 " 常量指针 " , 因此 引用 占用的内存空间与 指针 占用的内存空间 相同 ;

### 2、引用编译时会自动翻译为常量指针 ###

C++ 语言 为了提高 引用 的实用性 , 代码的可读性 , 隐藏了 引用 也会占用存储空间的 事实 , 该事实不会影响 开发者进行编程 , 只是对理解引用本质造成了困难 ;

C++ 语言中 的 函数中 , 使用 引用 作为函数参数 , 如下代码 :

void swap(int& a, int& b)
    {
        
    	int c = 0;
    	c = a;
    	a = b;
    	b = c;
    }

C++ 编译器编译上述代码时 , 会自动将上述代码翻译为 :

void swap(int* a, int* b)
    {
        
    	int c = 0;
    	c = *a;
    	*a = *b;
    	*b = c;
    }

### 3、引用与指针做形参分析 ###

在向 `void swap(int* a, int* b)` 函数 , 传入参数时 , 如果是 指针做参数 , 传入的参数必须是地址 , 需要开发者手动使用 取地址符 & 获取变量地址 , 传递给 函数 做实参 ;

在向 `void swap(int& a, int& b)` 函数 , 传入参数时 , 如果是 引用做参数 , 开发者 编写代码时 , 传入的是 int 类型变量的值 , C++ 编译器编译时 , 会自动在 int 类型变量前 添加 取地址符 , 不需要开发者 手动 使用 取地址符 & 获取变量地址 ;

显然 , 后者 开发难度 要小于 前者 ;

### 4、函数间接赋值 与 引用本质分析 ###

使用函数进行间接赋值 , 需要满足如下三个条件 :

*  函数中定义 指针类型 的 形参 , 调用函数时 修改函数外的 实参 ;
 *  将 实参 取地址 , 传递给 函数 ;
 *  在函数中 , 通过指针修改 实参的值 , 以达到修改外部变量的效果 ;

如果将 函数 的形参类型 设置为 引用 类型 , 也能达到 间接赋值 的效果 ;

引用 实际上是 把 间接赋值 的三个条件的后两个条件进行了合并 ,  C++ 编译器遇到引用 , 还是需要将 引用 还原为 C 语言中的 取地址 传入函数 , 在函数内部使用指针访问实参 ;

[4bb22c55709547198f6ad82ceb46f583.png]: https://img-blog.csdnimg.cn/4bb22c55709547198f6ad82ceb46f583.png
[e587ad73c06240a1bfd11f6d486dc9d4.png]: https://img-blog.csdnimg.cn/e587ad73c06240a1bfd11f6d486dc9d4.png