糾正網上一篇關于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