什么是volatile修饰符
如果加上volatile修饰符进行变量声明的话,那个变量就会从最优化的对象中除去,不再进行分配给寄存器的最优化等。在对volatile指定的变量进行操作时,必须从内存中读取值,然后在操作后将值写入内存。
另外,volatile指定变量的访问幅度也不会改变。
未指定volatile的变量通过优化分配给寄存器,从内存中加载变量的代码可能会被删除。另外,将相同的值代入volatile未指定的变量时,有时会被解释为冗长的命令,通过优化删除命令。特别是,对于访问外围I/O寄存器的变量,在中断处理中改变值的变量,以及从外部改变值的变量,必须指定volatile。
如果没有在volatile指定的地方指定,可能会发生以下现象
- 得不到正确的计算结果
- 在循环内使用变量时,无法从循环中脱离
- 命令的执行顺序改变
- 内存的访问次数和访问幅度发生变化
但是,在使用volatile指定的变量时,在某一区间内该变量的值不会从外部变更的情况下,通过将该值代入没有被指定为volatile的变量并参照该变量,可以优化该变量,提高执行速度。
例子
volatile没有指定的例子
如果没有指定volatile“变量a”,“变量b”和“变量c”,则这些变量被分配给寄存器并被优化。
例如,在此期间进入中断,即使在中断内变更变量值,值也不会反映出来。
- C代码
int a;
int b;
void func(void){
if(a <= 0){
b++;
} else {
b+=2;
}
b++