volatile变量自赋值能否抑制C语言循环中的编译器优化？

首先明确结论：你添加的timer = timer自赋值操作，对于volatile变量来说，C11标准要求编译器必须生成对应的读写操作，不能优化掉。

C11标准的核心规定 #

根据C11标准（ISO/IEC 9899:2011），被volatile限定的对象的访问属于易失性访问，属于标准定义的“可见副作用”范畴。标准明确要求：

• 对volatile对象的每一次读、写操作，都必须严格按照程序中的执行顺序执行；
• 编译器不得省略、合并或重排这些操作，哪怕操作本身看似无意义（比如自赋值）。

这是因为volatile的语义是告知编译器：该对象的值可能被程序外部因素修改，或者其读写操作本身带有硬件层面的特殊意义（比如内存映射寄存器），因此必须保留所有显式的访问行为。

针对你的代码的额外说明 #

其实你的代码中timer已经被声明为volatile unsigned int，哪怕没有timer = timer这一行，while (timer > 0) { timer--; }这个循环也不会被编译器优化移除。因为timer--包含两个易失性操作：读取timer的当前值（读操作）、将递减后的值写回timer（写操作），这些都属于必须保留的可见副作用，编译器无法将整个循环优化为空操作。

GCC 11.4.0下的实际表现 #

在Linux的GCC 11.4.0环境中，无论是否保留timer = timer语句，编译器都会生成完整的循环指令。你可以通过gcc -S -O2 delay.c编译生成汇编代码验证：循环体中的读、写操作都会被保留。额外的timer = timer只会多生成一次读和写指令，让延迟时间略有增加，但完全没必要用它来“强制volatile生效”——原有的timer--已经足够阻止循环被优化。

更简洁的延迟循环写法 #

你提到的while (--timer);写法，只要timer被声明为volatile，就是完全正确的。这个循环中的--timer包含对volatile变量的读和写操作，编译器会完整保留循环逻辑，不会进行优化。

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