本文探讨了C/C++中的volatile限制符，它用于标记可能会被非正常执行（如硬件中断、并发操作）修改的变量，防止编译器进行某些优化。volatile不影响类型转换，但用非volatile方式访问volatile变量会导致未定义行为。volatile修饰的结构体或数组，其成员或元素视为volatile，而volatile指针可以隐式转换为非volatile版本，反之则需要强制转换。
C类型系统中每个类型都有该类型的几种带修饰符的版本。分别为下列三种限制符的任意组合：
- const
- volatile
- 指针
- volatile意味着可变化的，因此在变异优化中不得进行重排序，或者提前进行数据的读取。
- 一个非 volatile修饰的变量可以强转为带volatile修饰的变量，且无影响。
- 但是以volatile的语义访问非volatile修饰的变量，则需要将非volatile语义的变量的地址强转为volatile的语义，进而通过指针访问。任何尝试通过一种非volatile类型访问volatile的变量都是未定义的
volatile int n = 1; // object of volatile-qualified type
int* p = (int*)&n;
int val = *p; // undefined behavior
- volatile修饰的结构体或union，它的成员变量皆为volatile。
struct s {
int i
最低0.47元/天 解锁文章
9702
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
