6. const与volatile的陷阱：修改const变量、忽略volatile的优化问题、const指针的转换
大家好，我是你们的老朋友。今天咱们来聊聊C语言里两个看似简单、实则暗藏杀机的关键字——const和volatile。
说实话，我见过太多工程师在这两个关键字上栽跟头了。我自己刚入行那会儿，也犯过低级错误。你想想看，一个const变量，你告诉编译器“这玩意儿不会变”，结果你偷偷改了它——嗯，后果很严重。
咱们先看一张图，把今天要讲的知识体系理清楚。
6.1 const变量：你真的不能改它
const的意思是“常量”，或者说“只读”。你声明了一个const int a = 10;，那就别想着后面再改它。但总有人想走捷径——用指针强制转换掉const属性，然后写进去。
// 错误示例：修改const变量
const int a = 10;
int *p = (int *)&a; // 强制去掉const
*p = 20; // UB！未定义行为
printf("%d\n", a); // 可能输出10，也可能输出20，取决于编译器为什么会这样？因为编译器看到const，就认为a永远不会变。它可能把a优化成编译期常量，所有用到a的地方直接替换成10。你虽然通过指针改了内存里的值，但编译器根本不认账。
6.2 const指针的转换：规则要记牢
指针的const有两种：指向的内容是const，还是指针本身是const。很多人搞混。
| 声明 | 含义 | 能否修改指向内容 | 能否修改指针本身 |
|---|---|---|---|
const int *p |
指向const int的指针 | 否 | 能 |
int * const p |
指向int的const指针 | 能 | 否 |
const int * const p |
指向const int的const指针 | 否 | 否 |
这里有个常见的陷阱：把const int **赋值给int **。你可能会觉得“多加一层指针而已，没事吧？”——有事，而且是大问题。
const int a = 10;
const int *cp = &a;
int *p = cp; // 编译警告：丢弃const限定符
// 如果强行通过p修改a，就是UB我个人习惯是：只要涉及指针转换，const只能加不能减。也就是说，你可以把int *赋给const int *，但反过来不行。这是C语言类型系统的安全底线。
6.3 volatile：别让编译器“自作聪明”
volatile告诉编译器：“这个变量可能会被意想不到的方式改变，你别优化它。” 典型场景：硬件寄存器、中断服务程序里修改的变量、多线程共享变量。
没有volatile时，编译器会做很多优化。比如你连续读一个变量两次，编译器可能只读一次，第二次直接用缓存的值。这在普通变量上没问题，但如果是硬件状态寄存器，那就完蛋了——你读到的永远是旧值。
// 错误示例：没有volatile
int status_register; // 假设映射到硬件地址0x4000
void wait_for_flag() {
while (!(status_register & 0x01)) {
// 编译器可能优化成：只读一次status_register
// 然后永远用那个值判断，陷入死循环
}
}
// 正确做法
volatile int status_register;
void wait_for_flag() {
while (!(status_register & 0x01)) {
// 每次循环都重新读取status_register
}
}6.4 中断服务程序中的volatile
嵌入式开发中，这是重灾区。我在一个电机控制项目里就踩过这个坑。主循环里等待一个中断标志位，结果因为没加volatile，编译器把标志位优化成了寄存器变量，中断改了内存但寄存器里的值没变，程序一直卡在循环里。
// 中断中修改的变量必须加volatile
volatile int g_flag = 0;
void interrupt_handler() {
g_flag = 1; // 中断中修改
}
void main_loop() {
while (!g_flag) {
// 等待中断
}
// 处理事件
}你想想看，如果没有volatile，编译器看到g_flag在main_loop里没被修改，它可能直接把g_flag的值加载到寄存器里，然后每次判断都用寄存器里的值。中断改了内存，但寄存器纹丝不动——死循环就这么来了。
6.5 const和volatile一起用
这两个关键字不冲突，可以同时修饰一个变量。典型场景：硬件状态寄存器，你只能读不能写，但它的值会由硬件自动改变。
// 硬件状态寄存器：只读，但值会变化
const volatile uint32_t *status_reg = (uint32_t *)0x40001000;
// 你可以读它
uint32_t val = *status_reg;
// 但不能写它——编译器会报错
// *status_reg = 0; // 错误：不能修改const变量这种用法在底层驱动开发中很常见。我个人习惯是：只要是指向硬件地址的指针，一律加上volatile；如果是只读寄存器，再加个const。这样既安全又清晰。
6.6 总结：记住这几条
- 不要通过指针修改const变量——这是UB，后果自负
- const指针转换只能加不能减——安全第一
- 硬件相关变量必须加volatile——否则编译器优化会坑你
- 中断和主循环共享的变量加volatile——避免死循环
- const和volatile可以共存——只读但会变的硬件寄存器就是典型
嗯，今天就聊到这儿。这些规则看起来简单，但实际项目中稍不注意就会踩坑。希望各位能记住这些教训，少走弯路。
公众号:蓝海资料掘金营，微信deep3321