STM32 Keil环境下中断服务函数中数组赋值无效但单个变量正常的问题咨询

这个问题我在STM32开发中碰到过好几次，核心问题大概率是编译器优化或者中断处理不规范导致的，咱们一步步拆解：

先分析现象差异的本质 #

你发现单个变量赋值正常，但数组元素不行，这里有两个关键点：

1. 你给数组加了volatile，但单个变量没加——其实单个变量正常是侥幸！编译器没把它优化到寄存器里而已，这种写法本身是不安全的，正确的做法是中断中修改的全局变量（不管是单个还是数组）都必须加volatile，强制编译器每次从内存读取/写入，而不是用寄存器缓存。
2. 数组的volatile修饰在高优化等级下，Keil ARMCC编译器的处理和单个变量有差异，容易出现优化过度导致赋值没被正确同步到内存。

最可能的两个原因及解决办法 #

1. 中断标志位未清除（最容易忽略的点） #

STM32的EXTI中断触发后，必须手动清除挂起标志位，否则中断会一直处于“待处理”状态，轻则导致CPU反复进入中断打断主循环，重则导致赋值操作被异常打断，内存同步出错。

你原来的中断函数没有清除标志，修改成这样：

void EXTI3_IRQHandler(void) {
    // 先判断中断是否触发（可选，但更严谨）
    if(EXTI_GetITStatus(EXTI_Line3) != RESET) {
        buffer[0] = 100;
        // 关键：清除中断挂起标志
        EXTI_ClearITPendingBit(EXTI_Line3);
        // 如果用HAL库的话，换成HAL_EXTI_ClearFlag(EXTI_LINE_3);
    }
}

2. 编译器优化等级过高导致数组访问被缓存 #

Keil的ARMCC编译器在-O2及以上优化等级时，对数组的volatile修饰可能存在解析偏差——虽然你声明了volatile uint32_t buffer[]，但编译器可能没有完全把每个元素的访问都标记为“必须读写内存”，而是用了寄存器缓存旧值。

解决办法：

• 临时降低优化等级：在Keil的Options for Target -> C/C++ -> Optimization里，把优化等级改成-O0（No Optimization），如果此时LCD能显示100，就坐实了是优化的问题。
• 强制内存访问：在主循环读取数组元素时，强制转换为volatile类型，确保每次都从内存读取：

  sprintf((char*)string,"%u", *(volatile uint32_t *)&buffer[0]);
  

• 调整编译选项：在优化设置里，勾选Strict ANSI C或者调整Volatile access相关的选项（不同版本Keil可能位置不同），强制编译器严格遵循volatile的语义。

额外的规范建议 #

• 所有被中断修改的全局变量（包括数组），都必须加volatile修饰，单个变量也不例外，避免后续编译器版本更新后出现优化问题。
• 中断服务函数要保持简洁，尽量只做必要的操作（比如清标志、赋值），避免在中断里执行耗时操作，影响主循环和其他中断响应。

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