メンバ関数がvolatileであるとはどういう意味ですか？

Question

通常、constメンバー関数の指定にはconst指定子が使われています。しかし、volatileのキーワードが使われているときはどういう意味ですか？

void f() volatile {} 

これは私にとってうまくコンパイルされますが、これが何であるか分かりません。私は検索でこれに関する情報を見つけることができなかったので、どんな助けもありがたいです。

更新：明確にするために、私はvolatileが何であるかを知っています。この文脈で何が意味するのか分かりません。

Answer 1

volatile修飾子はconst修飾子に類似しています。これは、メンバ関数は、volatileオブジェクトで呼び出すことができますそれらの値はいつでも変更することができますので、揮発性として宣言

struct A { 
    void f() volatile {} 
    void g() {} 
}; 

int main() { 
    A volatile a; 
    a.f(); // Allowed 
    a.g(); // Doesn't compile 
} 

Answer 2

メンバー関数では、constとvolatile修飾子が*thisに適用されます。そのメンバー関数内のインスタンスメンバーへのアクセスは、volatileのアクセスとなり、同じセマンティクスは任意のvolatile変数と同じです。特に、非volatileメンバ関数は、volatileオブジェクトで呼び出すことができず、volatileはconstと同様に過負荷に適用される：メンバ関数に

#include <iostream> 

class C { 
public: 

    void f() { 
     std::cout << "f()\n"; 
    } 

    void f() const { 
     std::cout << "f() const\n"; 
    } 

    void f() volatile { 
     std::cout << "f() volatile\n"; 
    } 

    void f() const volatile { 
     std::cout << "f() const volatile\n"; 
    } 

}; 

int main() { 

    C c1; 
    c1.f(); 

    const C c2; 
    c2.f(); 

    volatile C c3; 
    c3.f(); 

    const volatile C c4; 
    c4.f(); 

} 

Answer 3

オブジェクトは、特定の最適化に使用されていません。システムは、たとえ以前の命令が同じオブジェクトから値を要求したとしても、要求された時点で揮発性オブジェクトの現在の値を常に読み込みます。また、オブジェクトの値は割り当て時に即座に書き込まれます。

揮発性オブジェクトは揮発性メンバ関数のみを呼び出すことができます。

したがって、メンバ関数をvolatileとマークすると、そのメンバ関数内のオブジェクトの非静的データメンバにvolatileとしてアクセスすることになります。