C++揮発物、不揮発メンバー

Question

問題のよう： のは、私がこのようなコードの小片を持っているとしましょう：g++ -g -O2でコンパイルさ

#include <iostream> 
    using namespace std; 

    struct foo { 
     int a; 
     foo() : a(12) {}; 
    }; 

    int 
    main() 
    { 
     volatile foo x; 
     return 0; 
    } 

それはx初期化が離れて最適化されていること、が判明しました。しかし

その1：

#include <iostream> 
    using namespace std; 

    struct foo { 
     volatile int a; 
     foo() : a(12) {}; 
    }; 

    int 
    main() 
    { 
     volatile foo x; 
     return 0; 
    } 

は、コンストラクタを呼び出します。

コード内の変数（つまり、cout << foo.a << endl;）を使用しようとすると、アセンブリ出力はどちらの場合も同等です。それは完全に離れて最適化されますので、最初のケースで

、全く構造体へのアクセスがありません：

は、私は、それが右の次もらえます。

構造体のフィールドは、構築中にも変更可能なフィールドとして示されているため、foo（）は何であれ呼び出されます。

を追加しました：予想通り while(foo.a--);作品のようなものを呼び出すと、それは実際に代わりに最適化中に結果に置き換え/削除されるので起こり、これには、揮発性が、実際に継承されているようで、まだ： 私は上記のコードをいじる試してみましたctorはこの奇妙な（あるいは少なくとも予期しない）最初の方法で動作します。

EDIT番号2：

私が打ち鳴らすとMSVCでそれをチェックし、それはgccのと同じように動作します。

Answer 1

次のように私の理解では（と私はそれについて確認していない）である：

C++ volatileキーワード軍コンパイラではメモリーに一見冗長なロードとストアを最適化することではない、あなたは、このようなサンプルコード持っているつまり場合：

を xは、いくつかのAを指している可能性があるため、これは

int x = 6; 

：

int x = 5; 
x = 6; 

はそれに変更されることはありませんあなたがあなたのプログラムで本当にそれを読んでいない間に他の人が読んでいるメモリ内のddress（ある種のメモリアドレスに書き込むことによって、USARTを介していくつかのコンフィギュレーションをマイクロコントローラに送ることを想像してください。コンパイラがこのメモリへの書き込みを最適化すると、プログラム全体が誤動作する）。 1は覚えておく必要があります

もう一つは、クラスのインスタンスがvolatile指定子で宣言されたとき（イゴールTandetnikは、C++標準を参照して、コメントで指摘したように）、そのメンバーは、この指定を継承していることです。しかし、volatileの動作を得るためには、volatileとマークされたメンバ関数を呼び出す必要があります。これは、メンバ関数をconst（これを参照してください：http://www.devx.com/tips/Tip/13671）と同様です。AFAIKのctors/dtorsはvolatileというキーワード（Defining volatile class objectのように）でマークできないため、コードを少し変更する必要があります（おそらくctor内のvolatileメンバー関数を呼び出しても問題ありませんが、これは単なる推測です）。