C温故补缺(二):volatile

2023-01-08

volatile

参考:CSDN

volatile也是一个类型修饰符,被其修饰的变量意味着可以被某些编译器未知的因素修改,如操作系统,硬件,线程等.

当遇到volatile修饰的变量时,编译器对访问该变量的代码就不再进行优化,从而可以提供对特殊地址的稳定访问

如:

当while循环中的条件只是一个单独的变量时,就不存在判断每次循环后的判断.只有两种状态:死循环不循环.

当pass=1时,编译器就会优化次代码,将循环条件置为,后续不再从内存中读取pass值来判断循环是否停止

汇编代码:

cmp 用0和pass比较,只有相等时ZF=1,其他只要pass非零,ZF=0

而jne则时当ZF=0时跳转

所以,pass=0,则cmp 0,pass的结果ZF=1,jne不跳转

只要pass!=0,就跳转

但是,如果加上了volatile修饰

汇编代码:

添加volatile,不再放在存储器了,而是在寄存器中,每次都test

test:两个数按位与运算,只有所有位结果都是0,ZF=1

这就是volatile的作用:让编译器忽略代码优化

C温故补缺(二):volatile的相关教程结束。