纠正网上一篇关于c++ volatile关键字的文章中的疏漏

    前几天无意中看到一篇文章，​​阐述c++ volatile关键字的作用​​。仔细看下来觉得一处内容有待商榷，而文章也是博主转载的，既然找不到原作者，只能在此指出了。

    首先，需要强调编译器的版本，不同的编译器有不同的优化方案，最终会影响生成的代码。本文使用vc++6.0(因为我猜测原作者用的也是vc++6.0)，以下是示例代码：

#include <stdio.h>
 
void main()
{
  int i = 10;
  int a = i;
  
  printf("i = %d", a);

  // 下面汇编语句的作用就是改变内存中 i 的值
  // 但是又不让编译器知道
  __asm{
    mov dword ptr [ebp-4], 20h
  }
   
  int b = i;
  printf("i = %d", b);
}      

同时作者说在debug和release下，程序的输出不同：

"   然后，在 Debug 版本模式运行程序，输出结果如下：

i = 10

i = 32

    然后，在 Release 版本模式运行程序，输出结果如下：

i = 10

i = 10"

作者把造成这种不同的原因归结为:"而优化(指Release版)做法是，由于编译器发现两次从 i读数据的代码之间的代码没有对 i 进行过操作，它会自动把上次读的数据放在 b 中。而不是重新从 i 里面读"。

00000 55     push  ebp
  00001 8b ec    mov   ebp, esp

; 5    :  int i = 10;
; 6    :  int a = i;
; 7    : 
; 8    :  printf("i = %d", a);

  00003 6a 0a    push  10     ; 0000000aH
  00005 68 00 00 00 00   push  OFFSET FLAT:??_C@_06DBE@i?5?$DN?5?$CFd?$AA@ ; `string'
  0000a e8 00 00 00 00   call  _printf

; 9    :  __asm {
; 10   :    mov dword ptr [ebp-4], 20h

  0000f c7 45 fc 20 00
  00 00    mov   DWORD PTR [ebp-4], 32  ; 00000020H

; 11   :  }
; 12   :  
; 13   :  int b = i;
; 14   :  printf("i = %d", b);

  00016 6a 0a    push  10     ; 0000000aH
  00018 68 00 00 00 00   push  OFFSET FLAT:??_C@_06DBE@i?5?$DN?5?$CFd?$AA@ ; `string'
  0001d e8 00 00 00 00   call  _printf