C++中const_cast指针用法及const变量修改后值不一致问题

嘿，这个问题其实是C++里典型的编译器优化陷阱，而且你踩了一个非常危险的坑——修改原本声明为const的变量属于未定义行为！咱们一步步拆解：

核心原因：编译器的常量折叠优化 #

先看你第一段代码里的const int i {100};：
这里的i是一个顶层const变量，编译器会默认认为这个值从始至终都不会被修改，所以会触发「常量折叠」优化——简单说就是把所有直接用到i的地方，直接替换成字面量100，而不是每次都去内存地址里读取i的值。

当你用const_cast<int*>(&i)得到一个非const指针iq，然后修改*iq = 0时，你确实修改了内存中i对应地址的值，但std::cout << i里的i已经被编译器替换成100了，根本不会去读内存！这就导致了看起来同一块内存却输出两个不同值的“假象”。

为什么加volatile就正常了？ #

再看你补充的代码：const volatile int i {100};
volatile关键字的作用就是告诉编译器：「这个变量的值可能会被你意想不到的方式修改（比如硬件中断、其他线程，或者像你这种用const_cast的操作），绝对不能对它做常量折叠优化！」

所以编译器每次用到i的时候，都会老老实实去内存地址里读取最新的值，当你通过iq修改内存后，打印i自然就会读到更新后的0，和*iq保持一致了。

重要提醒：别这么干！ #

最后必须强调：永远不要用const_cast去修改原本声明为const的变量！这是C++标准明确规定的未定义行为——编译器可以随意处理这种情况，这次只是输出不一致，下次可能直接程序崩溃、数据错乱，甚至出现完全不可预测的结果，绝对不能依赖这种操作。

你提供的代码片段： #

第一段问题代码：

#include <iostream>
int main() {
 const int i { 100 };
 const int* ip = &i; // okay, because ip points to const value
 *ip = 0; // error, because i is const
 // error because ip1 and ip2 do not point to a const value
 int* const ip1 = &i;
 int* ip2 = &i;
 int* iq { const_cast<int*>(&i) }; // okay, because it removes the const from i
 *iq = 0; // now I can assign a new value to i, because it no longer has a const value
 std::cout << i << ", " << *iq; // 100, 0
}

补充的正常运行代码：

const volatile int i { 100 };
int* iq { const_cast<int*>(&i) };
*iq = 0;
std::cout << i << ", " << *iq; // 0, 0

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