Funzioni membro volatile C++

Question

class MyClass 
{ 
    int x, y; 
    void foo() volatile { 
     // do stuff with x 
     // do stuff with y 
    } 
}; 

Devo dichiarare "x" e "y" come volatili o tutte le variabili membro vengono considerate automaticamente come volatili?

Voglio assicurarmi che "roba con 'x'" non sia riordinato con "cose ​​con 'y'" dal compilatore.

MODIFICA: Cosa succede se sto trasmettendo un tipo normale a un tipo volatile? Questo dovrebbe istruire il compilatore a non riordinare l'accesso a quella posizione? Voglio passare una variabile normale in una situazione speciale a una funzione il cui parametro è volatile. Devo essere sicuro che il compilatore non riordini quella chiamata con letture e scritture precedenti o successive.

Answer 1

Contrassegnare una funzione membro volatile è come contrassegnarlo const; significa che l'oggetto destinatario viene trattato come se fosse dichiarato come volatile T*. Di conseguenza, qualsiasi riferimento a x o verrà considerato come un valore volatile letto nella funzione membro. Inoltre, un oggetto volatile può solo chiamare le funzioni membro volatile.

Detto questo, si consiglia di segnare x e yvolatile in ogni caso, se davvero si vuole tutti gli accessi a loro di essere trattati come volatile.

Answer 2

Il seguente codice:

#include <iostream> 

class Bar 
{ 
    public: 

     void test(); 
}; 

class Foo 
{ 
    public: 

     void test() volatile { x.test(); } 

    private: 

     Bar x; 
}; 

int main() 
{ 
    Foo foo; 

    foo.test(); 

    return 0; 
} 

genera un errore al momento di compilazione con gcc:

main.cpp: In member function 'void Foo::test() volatile': 
main.cpp:14:33: error: no matching function for call to 'Bar::test() volatile' 
main.cpp:7:8: note: candidate is: void Bar::test() <near match> 

E poiché un'istanza volatile non può chiamare un metodo non-volatile, si può supporre che, sì, x e saranno volatile nel metodo, anche se l'istanza di MyClass non viene dichiarata volatile.

Nota: è possibile rimuovere il qualificatore volatile utilizzando un const_cast<> se è necessario; tuttavia, fai attenzione perché, come in questo caso, const può comportare un comportamento indefinito in alcuni casi.

Answer 3

IBM implies funziona esattamente come le funzioni const.

Answer 4

È Non devono dichiarare le variabili membro esplicitamente ..

Da documenti standard 9.3.2.3,

Allo stesso modo, la semantica volatili (7.1.6.1) applicare in funzioni membro volatile quando si accede all'oggetto e ai suoi membri dati non statici .

Answer 5

Quindi, utilizzando l'esempio originale:

class MyClass 
{ 
    int x, y; 
    void foo() volatile { 
     // do stuff with x 
     // do stuff with y 
     // with no "non-volatile" optimization of the stuff done with x, y (or anything else) 
    } 
    void foo() { 
     // do stuff with x 
     // do stuff with y 
     // the stuff done with x, y (and anything else) may be optimized 
    } 
};