这个程序有必要使用volatile变量吗？

[ppgg1979]

小弟正在看BSP,遇到大量volatile,不解
程序如下：
void flush_cache()
{
volatile unsigned int i;
volatile unsigned int *a = (unsigned int*)0x80000000;
volatile unsigned int b;
for(i=0;i<2048;i++)
{
b = *a;
a++;
}
}

volatile是告诉编译程序，变量值有可能以未在程序中明确表达的方式改变。我知道a应该使用volatile,但i,b也定义成了volatile变量是什么原因呢？

[fierygnu]

因为是局部变量，所以i,a,b都不需要声明为volatile，因为这些值不可能以编译器未知的方式改变。

[短歌如风]

a的声明中的volatile是需要的。
注意volatile unsigned int * a的声明中，volatile类型的不是a而是*a，a虽然是局部的，但*a不是。

[fierygnu]

虽然*a不是局部的，但编译器应该只会对a进行优化，放入寄存器，对它的值是不会做这个优化的。

[ckacka]

flush_cache

[短歌如风]

不需要，除非是为了降低速度（阻止优化）。