《C++深度剖析》学习日志九——深入探究const和引用

 这篇日志是重头戏，const可以算是一般重要，但是引用关系到指针，就是非常重要了，大家都知道，C++最赖以生存的就是指针，好，接下来我们来一起探讨const和引用。

const

 首先，我们都知道在C语言中，const修饰的是只读变量，而在C++中，const修饰的是常量，并且直接把常量放入符号表中待用，但事实真的是这样吗？究竟const什么时候为只读变量，什么时候为常量呢？让我们来分析下面代码。
#include <stdio.h>

int main()
{
const int x = 1;//进入符号表
const int& rx = x;//取x 的地址给rx

int& nrx = const_cast<int&>(rx);去掉rx的只读属性，并且使rx和nrx同地址

nrx = 5;//那么，x为1，rx为5，nrx为5，地址都一样

printf("x = %d\n",x);
printf("rx = %d\n",rx);
printf("nrx = %d\n",nrx);
printf("&x = %p\n",&x);
printf("&rx = %p\n",&rx);
printf("&nrx = %p\n",&nrx);

return 0;
}


看来我们的分析是正确的，那么他的评判标准是什么呢？

 *const常量的判别标准
 ——只有用字面量（数字，字符等）初始化的const常量才会进入符号表
 ——使用其他变量初始化的const常量仍然是只读变量
 ——被volatile修饰的const常量不会进入符号表
    在编译期间不能直接确定初始值的const标识符，都被作为只读变量处理
说完前两条，那么现在该验证第三条。
#include <stdio.h>

int main()
{
volatile const int y = 2;//不会进入符号表，只读变量
int* p = const_cast<int*>(&y);//取y的地址给p

*p = 6;//内存地址里的值改变，y即改变

printf("y = %d\n",y);
printf("p = %p\n",p);
return 0;
}


 *const引用的类型与初始化变量类型
 ——相同：初始化变量成为只读变量
 ——不同：生成一个新的只读变量
#include <stdio.h>

int main()
{
volatile const int y = 2;
int* p = const_cast<int*>(&y);

*p = 6;

printf("y = %d\n",y);
printf("p = %p\n",p);

const int z = y;//是否为常量的标准是在编译期间，能否确定变量的值，y是变量，不是定值常量，所以生成只读变量

p = const_cast<int*>(&z);//去掉z的只读属性，并且z的地址给p

*p = 7;//z=7

printf("z = %d\n",z);//
printf("p = %p\n",p);

char c = 'c';
char& rc = c;
const int& nrc = c;//const的初始化变量类型不同，生成一个新的只读变量nrc

rc = 'a';

printf("c = %c\n",c);
printf("rc = %c\n",rc);
printf("nrc = %c\n",nrc);

return 0;
}

引用

 引用和指针有什么关系呢，如何理解“引用的本质就是指针常量”？



 引用和指针本身没有关系，引用是变量的名字，而指针是变量，指向地址。但是在C++编译器的内部，是使用指针常量来实现引用，所以引用在定义时必须初始化。
 在编程时，可以站在使用角度上看待引用，但在调试时，必须站在编译器的角度上，看待引用。
问：下面代码会报错吗？int a = 1;
int b = 2;
int* pc = new int(3);
int& array[]={a,b,*pc}; 站在使用者的角度看，没有问题，但是编译器所默认的数组元素的内存地址必须相邻，很显然，pc和b不一定相邻。所以在C++里不支持引用数组。

小结

 指针是变量，引用是变量别名，const引用能生成新的只读变量，在C++内部，指针常量实现“引用”，便宜是不能确定初
始值的const都是只读变量。
以上资料均来自狄泰，群号：199546072，志同道合的朋友可以加我：
 qq：335366243
 微信：zhong_335366243