C++常量折叠

    关于const的问题，一直以来都是一个比较令人迷惑的问题。最近经常看到有人提问关于通过地址修改const变量的问题，今天我们就来说道说道这个问题。下面我们先看一段代码：

#include <iostream>

int main()
{
    const int kVal = 10;
    int *p_kVal = (int *)&kVal;          //取kVal的地址，并强转int*
    *p_kVal = 100;                       //通过p_kVal修改kVal
    std::cout << &kVal << std::endl;     //输出kVal的地址
    std::cout << p_kVal << std::endl;    //输出p_kVal的值
    std::cout << kVal << std::endl;      //输出kVal的值
    std::cout << *p_kVal << std::endl;   //输出解引用后的p_kVal的值
    return 0;
}

    一系列操作都一目了然，编译一下，我们就可以发现一个奇怪的问题了！&kVal的值与p_kVal的值完全一致，但是为何kVal与*p_kVal的值却不一样呢？明明通过指针修改了啊。这也就是我们今天要说道的问题了！很多人都说这叫常量折叠(const folding)，这是一种编译器优化技术。其实这其中包含了两种过程：1.const folding; 2.copy propagation(有些东西翻译了可能就变味了，就这样吧)。

    首先，我们先来说说const folding。举个例子，const int kVal = 2 * 5; 计算表达式的值时，编译器将2 * 5算成10，这个过程被称为const folding;而至于copy propagation，编译器在遇到kVal这个标识符时，自动将kVal替换成10，而不是去相应地址中取值，这个过程就是copy propagation.上面那个奇怪的问题就是这两个过程的结果，以后代码中遇到kVal的地方，编译器就自动将kVal替换成10(两个过程).

    那么对于这种情况，是否kVal就无法让它不被编译器优化了呢(让它如我们心中所想的被修改)？当然不是！我们可以通过将kVal声明为volatile，volatile的作用：当变量可能发生程序控制或检查之外的修改时，就将它声明为volatile。想想上面的代码，kVal是const变量，理应不被修改，但我们通过强转，再通过地址去修改它，这样是不会被检查出错误的，这样就算程序检查之外的修改了，所以我们就可以声明volatile来应对这种情况了！