请教一个loki中的问题——关于TypeManip.h中的代码的

[ynnwq]

在这个文件最初的版本中，SUPERSUBCLASS宏调用的是：
::Loki::Conversion<const U*, const T*>
现在，2003年更新的版本中变成了：
::Loki::Conversion<const volatile U*, const volatile T*>
加了个关键字volatile，请问各位：加了这个有什么好处？我觉得加不加都无所谓啊
还望各位大虾赐教

[hanyixin]

只是又一个偏特化的版本吧，我没看过新的，不过原来的那个应该还在。

[qiaojicheng]

加上volatile防止编译器优化。
volatile的本意是“易变的”

由于访问寄存器的速度要快过RAM，所以编译器一般都会作减少存取外部RAM的优化。比如：

static int i=0;

int main(void)
{
...
while (1)
{
if (i) dosomething();
}
}

/* Interrupt service routine. */
void ISR_2(void)
{
i=1;
}

程序的本意是希望ISR_2中断产生时，在main当中调用dosomething函数，但是，由于编译器判断在main函数里面没有修改过i，因此
可能只执行一次对从i到某寄存器的读操作，然后每次if判断都只使用这个寄存器里面的“i副本”，导致dosomething永远也不会被
调用。如果将将变量加上volatile修饰，则编译器保证对此变量的读写操作都不会被优化（肯定执行）。此例中i也应该如此说明。

一般说来，volatile用在如下的几个地方：

1、中断服务程序中修改的供其它程序检测的变量需要加volatile；

2、多任务环境下各任务间共享的标志应该加volatile；

3、存储器映射的硬件寄存器通常也要加volatile说明，因为每次对它的读写都可能由不同意义；

另外，以上这几种情况经常还要同时考虑数据的完整性（相互关联的几个标志读了一半被打断了重写），在1中可以通过关中断来实
现，2中可以禁止任务调度，3中则只能依靠硬件的良好设计了。

[fzq21ic]答：
简单点：
就是该变量会以编译器无法预知的方式发生变化，请编译器不要做优化（所有的编译器的优化均假设编译器知道变量的变化规律）

[ynnwq]

我知道volatite的含义，我只是不明白loki这样做的含义。
上面的解释很不错，不过我还是不明白在loki的这个宏中有什么意义，看来我得好好去想一想。

[victor_cui]

loki库中的应用此关键字修饰的目的主要是为了该程序段可以运用在多线程的程序中，避免因为编译器优化使这段代码在多线程程序中应用时失效