【C++】C++ 引用详解 ⑨ ( 常量引用初始化 | C / C++ 常量分配内存的四种情况 )

一、常量引用初始化

---

1、使用 " 普通变量 " 初始化 " 常量引用 "

使用 " 普通变量 " 初始化 " 常量引用 " , 就是将 普通变量 赋值给 常量应用 , 也可以理解为 将 变量转为常量 ;

下面的代码 , 就是上述 使用 普通变量 初始化 常量引用 :

	// 定义变量 a
	int a = 10;

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

2、使用 " 常量 / 字面量 " 初始化 " 常量引用 "

在 博客 【C++】C 语言 和 C++ 语言中 const 关键字分析 ( const 关键字左数右指原则 | C 语言中常量的原理和缺陷 | C++ 语言中常量原理 - 符号表存储常量 ) 中 , 详细的分析了常量的本质 , 如果 定义 " 普通常量 " , 那么该 常量 是 定义在了 符号表 中 ;

	// 定义普通常量 , 将 m 定义在了 符号表 中 
	const int m = 20;

如果定义一个 " 普通引用 " , 引用一个字面量 , 字面量 是 数值 , 在代码段中 , 没有放在内存中 , 没有内存地址 ,

" 引用 " 的 本质 是一个 已有 内存空间 的别名 ,

如果没有一个 已存在 的内存空间 , " 引用 " 就没有意义了 ;

" 引用 " 就是为一段 " 内存 " 起一个别名 , 如果没有 内存 , 也就不存在引用 ;

因此 , 下面的代码 , 会报错 , error C2440: “初始化”: 无法从“int”转换为“int &” ;

	// 普通引用 引用字面量 , 直接报错 
	// error C2440: “初始化”: 无法从“int”转换为“int &”
	int& n = 30;

如果定义一个 " 常量引用 " , 引用一个字面量 , 字面量 是 数值 , 这是合法的 ;

	// 常量引用 引用字面量 , 不会报错
	const int& n = 30;

上述用法 , C++ 编译器 会为 常量引用 n 分配一个内存空间 , 这是 const 常量分配内存空间的 三种情况之一 ;

3、C / C++ 常量分配内存的四种情况

C 语言中 const 常量 是 只读变量 , 有独立的存储空间 ;

C++ 语言中的 const 常量 存储在 符号表中 , 默认情况下 const 常量不会分配内存空间 , 但是在下面的三种情况下会分配内存空间 ;

• 如果 const 常量是 全局常量 , 在其它文件中调用 , 会分配内存空间 ;
• 如果对 const 常量 进行 取地址操作 & , 会分配内存空间 ;
• 如果使用 const 修饰引用 , 声明 一个 " 常量引用 " , 也会分配内存空间 ;

4、代码示例 - 常量引用初始化

代码示例 :

// 包含 C++ 头文件
#include "iostream"

// 使用 std 标准命名空间
//		该命名空间中 , 定义了很多标准定义
using namespace std;

// 导入 C 头文件
#include <stdio.h>

int main()
{
    
    
	// I . 使用 普通变量 初始化 常量引用
	// 定义变量 a
	int a = 10;

	// 定义变量 a 的 常量引用 b
	// 使用 普通变量 初始化 常量引用
	const int& b = a;

	// II . 使用 常量 / 字面量 初始化 常量引用
	// 定义普通常量 , 将 m 定义在了 符号表 中 
	const int m = 20;

	// 普通引用 引用字面量 , 直接报错 
	// 报错信息 : error C2440: “初始化”: 无法从“int”转换为“int &”
	// " 引用 " 就是为一段 " 内存 " 起一个别名 , 如果没有 内存 , 也就不存在引用 ;
	//int& n = 30;

	// 常量引用 引用字面量 , 不会报错
	const int& n = 30;

	// 控制台暂停 , 按任意键继续向后执行
	system("pause");
    return 0;
}

执行结果 :