C++17中修改const值的尝试及内存地址值不一致疑问

首先，你遇到的「同一内存地址对应两个不同值」的现象，本质是编译器的常量折叠（Constant Folding）优化在起作用，咱们一步步拆解：

为什么会出现“同一地址不同值”？ #

当你写const int a = 5;时，编译器会把a识别为编译期常量——在编译阶段就直接把代码中所有出现a的地方替换成字面量5，根本不会在运行时去读取a对应的内存地址。

而你用指针强制转换（无论是C风格的(int*)&a还是C++的const_cast）修改的，确实是a对应的内存中的值，但当你直接输出a时，编译器早就把这个表达式替换成了5，完全跳过了内存读取步骤。这就造成了“内存里的值改了，但直接访问a还是旧值”的错觉——你可以试试用指针再次读取这个地址的值，会发现它确实已经被修改了，比如：

const int a = 5;
int* ptr = const_cast<int*>(&a);
*ptr = 55;
cout << *ptr << " " << &a << endl; // 会输出55和对应地址
cout << a << " " << &a << endl;    // 编译器直接替换为5，输出5和同一个地址

为什么旧版C++里这些方法有效？ #

旧版编译器的优化策略没这么激进，不会对所有const常量做完全的常量折叠，很多时候还是会在运行时从内存读取a的值，所以修改指针指向的内存后，直接访问a就能看到变化。但现在像VS2017这类现代编译器，会尽可能做编译期优化，就出现了你看到的差异。

还有哪些方法能“看到”修改效果？ #

首先必须明确：标准C++中，修改一个const限定的对象属于未定义行为——编译器可以自由选择任何处理方式，包括让程序崩溃、输出奇怪的值，或者像你遇到的这种“看似不一致”的情况。所以以下方法只是绕过编译器优化的技巧，完全不推荐在实际代码中使用：

• 用volatile修饰const变量：
  volatile会告诉编译器“这个变量的值可能会被意外修改，不要做常量折叠，每次访问都必须读取内存”。比如：

  const volatile int a = 5;
  int* ptr = const_cast<int*>(&a);
  *ptr = 55;
  cout << a << " " << &a << endl; // 此时会输出55和对应地址
  

  但注意，这依然是未定义行为，只是编译器不会跳过内存读取了。

• 让const变量不是编译期常量：
  如果const变量的初始化值来自运行时计算（比如函数返回值），编译器无法做常量折叠，修改指针指向的内存后，直接访问变量就能看到变化：

  int get_value() { return 5; }
  const int a = get_value();
  int* ptr = const_cast<int*>(&a);
  *ptr = 55;
  cout << a << " " << &a << endl; // 输出55和对应地址
  

  同样，这依然违反了const的语义，属于未定义行为。

总结 #

const的设计初衷就是用来标记“不可修改的对象”，任何试图修改const对象的操作都是违背标准的未定义行为，不同环境下表现完全不可控。如果你确实需要一个可以修改的变量，一开始就不要声明为const——这才是符合C++规范的正确做法。

内容的提问来源于stack exchange，提问作者TheDoomDestroyer