Warum wird das flüchtige Qualifikationsmerkmal in std :: atomic verwendet?

Nach dem, was ich von Herb Sutter und anderen gelesen habe, würde man denken, dass die volatilegleichzeitige Programmierung völlig orthogonale Konzepte waren, zumindest was C / C ++ betrifft.

In der GCC- Implementierung haben jedoch alle std::atomicMitgliedsfunktionen das volatileQualifikationsmerkmal. Gleiches gilt für Anthony Williams ' Implementierung von std::atomic.

Also, was ist los , müssen meine atomic<>Variablen sein volatileoder nicht?

Warum wird das volatileQualifikationsmerkmal durchgehend verwendet std::atomic?

Damit flüchtige Objekte auch atomar sein können. Siehe hier :

Das entsprechende Zitat ist

Die Funktionen und Operationen sind so definiert, dass sie mit flüchtigen Objekten arbeiten, sodass Variablen, die flüchtig sein sollten, auch atomar sein können. Das flüchtige Qualifikationsmerkmal ist jedoch für die Atomizität nicht erforderlich.

Müssen meine atomic<>Variablen sein volatileoder nicht?

Nein, atomare Objekte müssen nicht flüchtig sein.

Um zusammenzufassen, was andere richtig geschrieben haben:

C / C ++ volatileist für Hardwarezugriff und Interrupts vorgesehen. C ++ 11 atomic<>dient zur Kommunikation zwischen Threads (z. B. in sperrenfreiem Code). Diese beiden Konzepte / Verwendungen sind orthogonal, aber sie haben überlappende Anforderungen, und deshalb haben die Leute die beiden oft verwechselt.

Der Grund atomic<>für flüchtig qualifizierte Funktionen ist der gleiche Grund für const-qualifizierte Funktionen, da es im Prinzip möglich ist, dass ein Objekt sowohl atomic<>als auch constund / oder ist volatile.

Wie mein Artikel hervorhob, ist eine weitere Quelle der Verwirrung natürlich, dass C / C ++ volatilenicht mit C # / Java identisch ist volatile(letzteres entspricht im Wesentlichen C ++ 11 atomic<>).

Als const ist flüchtig transitiv. Wenn Sie eine Methode als deklarieren volatile, können Sie keine nichtflüchtige Methode oder eines ihrer Mitgliedsattribute aufrufen. Mit std::atomicMethoden volatileerlauben Sie Aufrufe von volatileMitgliedsmethoden in Klassen, die die std::atomicVariablen enthalten .

Ich habe keinen guten Tag ... so verwirrend ... vielleicht hilft ein kleines Beispiel:

struct element {
   void op1() volatile;
   void op2();
};
struct container {
   void foo() volatile {
      e.op1();  // correct
      //e.op2();  // compile time error
   }
   element e;
};