C语言中指向volatile的指针下标访问时，目标内存是否被视为volatile？

先看这两段C语言定义：

volatile int a[10];
volatile int *p = a; 

当访问a[3]时，该内存地址会被视为volatile存储——编译器不会假设其值保持不变，数组的全部内容都被视为volatile完全符合设计意图。

那问题来了：在C语言中，p是指向volatile的指针而非数组，p[3]是否也指向volatile存储？换句话说，使用p[3]或*(p + 3)这类基于“指向volatile的指针”的表达式时，volatile是否具有“传染性”，会作用于指针指向的精确地址之外的其他内存地址？

答案是肯定的，p[3]会被视为volatile存储。

原因很直接：volatile int *p的定义意味着，p是一个指向volatile int类型对象的指针。当你通过p做偏移访问时——不管是用数组下标语法p[3]还是指针算术*(p+3)——本质都是访问p指向的地址往后偏移3个int大小的位置，而编译器会认定这个位置的对象类型是volatile int。

C语言的类型系统会保证：只要指针的类型是“指向volatile T的指针”，那么通过该指针进行的任何合法解引用操作（包括带偏移的），都会把目标内存当作volatile T类型处理。编译器不会对这些访问做优化——不会假设内存值不变，每次读取都会实际访问内存，写入操作也会立即同步到内存中。

说白了，volatile修饰的是指针指向的对象类型，而非指针当前指向的单个地址。所以基于这个指针的所有合法偏移访问，都会继承volatile属性。

内容的提问来源于stack exchange，提问作者Dan Halbert