g++识别const变量修改的底层机制及const信息存储问询

这个问题问到点子上了！很多人会误以为const是个运行时标记，其实g++对const变量的处理分为编译期和运行时两个层面，我给你拆解清楚：

1. const属性根本不会存在于运行时数据区 #

首先要明确：const是编译期的类型属性，g++不会把这个"只读"标记存在程序运行时的内存里。当你声明const int cv = 3;时：

• 如果是局部const变量（比如在函数内部定义），编译器通常会直接把数值3嵌入到所有使用cv的代码中（也就是所谓的"常量折叠"），连栈空间都不会分配——除非你主动用&cv取它的地址，这时候编译器才会为它分配栈空间，但这个空间在运行时没有任何特殊标记，只是编译期不让你修改它。
• 如果是全局const变量，g会默认把它放到只读数据段（.rodata），这时候操作系统会把这个内存区域设为只读权限，但这不是因为g存储了const属性，而是链接器根据变量的属性把它分配到了只读段而已。

2. g++拦截const变量修改的核心：编译期静态检查 #

g++判断修改const变量是否非法，完全是在编译阶段完成的，和运行时没有关系：

• 编译器在语法分析、语义分析阶段，会追踪每个变量的类型属性。当你写出cv = 5;这种代码时，编译器一眼就能看到cv的类型是const int，直接抛出编译错误，根本不会生成对应的机器码。
• 如果你试图用指针绕过这个检查（比如用const_cast），像这样：

  const int cv = 3;
  int* p = const_cast<int*>(&cv);
  *p = 5;
  

  编译器会允许你这么做（因为你显式用const_cast去除了const属性），但运行时的行为是未定义的：如果cv已经被常量折叠，你修改的内存可能根本不影响代码里使用cv的地方；如果cv在只读数据段，操作系统会直接触发段错误终止程序。

3. 额外补充：全局const的运行时只读保护 #

全局const变量默认会被g++标记为static（内部链接），链接器会把它们归类到.rodata段。程序加载时，操作系统会把这个段映射为只读内存，这是一种额外的运行时保护，但这只是const带来的附加效果，不是const属性本身的存储方式。

总结一下：const属性是编译器在编译阶段维护的类型元信息，不会进入程序的运行时；编译期直接拦截非法修改操作，全局const的运行时只读保护是靠操作系统的内存权限机制实现的。

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