关于volatile关键字作用的分析

volatile:保证内存的可见性

首先得引入一个概念：寄存器

【关于寄存器的一篇博客】

当一个变量在内存中创建后，我们可以通过对变量重新赋值的方式，对其值进行改变。

#include <stdio.h>
int main()
{
    int num = 0;
    num = 10;
    printf("num=%d\n",num);
    num = 20;
    printf("num=%d\n",num);
    return 0;
}

或者当变量被const修饰，其具有常属性无法被直接改变，我们可以通过指针，对其进行间接改变。

#include <stdio.h>

int main()
{
    const int num = 10;
    int *p = (int *)&num;//将存储于内存中十六进制的地址强制转换成"int *"类型
    *p = 20;
    printf("num = %d\n",num);
    return 0;
}

然而同样在VS编译环境下对相同的源码文件进行重命名产生了不同的运行结果：


这是因为在VS编译环境下，编译器对.cpp文件主动进行了优化，将const修饰的变量放到了寄存器中，当系统需要调用num时为了提高效率，它会直接选择从高效的寄存器中去优先选取，而不会从内存中取，但是内存中依然发生了变化。

当未赋值时，变量num是一个随机值。前面的0x0115F8F4便是num的十六进制存放的地址。

赋初值10时num的值发生了相应变化。

通过指针进行相应操作时，被const修饰的变量值也发生了变化，被改变成了20。

相应的，在Linux操作系统下编译时，可以选择性的对程序进行优化。

GCC -O选项
这个选项控制所有的优化等级。使用优化选项会使编译过程耗费更多的时间，并且占用更多的内存，尤其是在提高优化等级的时候。
-O设置一共有五种：-O0、-O1、-O2、-O3和-Os。你只能在/etc/make.conf里面设置其中的一种。
除了-O0以外，每一个-O设置都会多启用几个选项，请查阅gcc手册的优化选项章节，以便了解每个-O等级启用了哪些选项及它们有何作用。
让我们来逐一考察各个优化等级：
-O0：这个等级（字母“O”后面跟个零）关闭所有优化选项，也是CFLAGS或CXXFLAGS中没有设置-O等级时的默认等级。这样就不会优化代码，这通常不是我们想要的。
-O1：这是最基本的优化等级。编译器会在不花费太多编译时间的同时试图生成更快更小的代码。这些优化是非常基础的，但一般这些任务肯定能顺利完成。
-O2：-O1的进阶。这是推荐的优化等级，除非你有特殊的需求。-O2会比-O1启用多一些标记。设置了-O2后，编译器会试图提高代码性能而不会增大体积和大量占用的编译时间。
-O3：这是最高最危险的优化等级。用这个选项会延长编译代码的时间，并且在使用gcc4.x的系统里不应全局启用。自从3.x版本以来gcc的行为已经有了极大地改变。在3.x，-O3生成的代码也只是比-O2快一点点而已，而gcc4.x中还未必更快。用-O3来编译所有的软件包将产生更大体积更耗内存的二进制文件，大大增加编译失败的机会或不可预知的程序行为（包括错误）。这样做将得不偿失，记住过犹不及。在gcc 4.x.中使用-O3是不推荐的。
-Os：这个等级用来优化代码尺寸。其中启用了-O2中不会增加磁盘空间占用的代码生成选项。这对于磁盘空间极其紧张或者CPU缓存较小的机器非常有用。但也可能产生些许问题，因此软件树中的大部分ebuild都过滤掉这个等级的优化。使用-Os是不推荐的。

volatile关键字的作用便在这种情况下出现，并产生作用，虽然程序进行了优化，但是我们仍然想监视内存中变量值的变化情况。
Linux系统：


VS：

这样便可以对内存中的变量进行实时监控，而不会因为程序优化的原因导致内存不可见。