Dlaczego kwalifikator Lotny jest używany przez out std:: atomic?

Aby podsumować to, co inni poprawnie napisali:

C / C++ volatile jest dla dostępu sprzętowego i przerwań. C++11 atomic<> służy do komunikacji między wątkami (np. w kodzie bez blokady). Te dwa pojęcia/zastosowania są ortogonalne, ale mają nakładające się wymagania i dlatego ludzie często mylą te dwa.

Powód, dla którego atomic<> ma funkcje kwalifikowane, jest tym samym powodem, dla którego ma funkcje kwalifikowane, ponieważ jest możliwe w zasadzie dla obiektu be zarówno atomic<>, jak i const i / lub volatile.

Oczywiście, jak zauważył mój artykuł, kolejnym źródłem nieporozumień jest to,że C/C++ volatile nie jest tym samym co C# / Java volatile (ta ostatnia jest zasadniczo równoważna C++11 atomic<>).

Jako const, lotność jest przemijająca. Jeśli zadeklarujesz metodę jako volatile, nie możesz wywołać na niej żadnej nieulotnej metody ani żadnego z jej atrybutów członkowskich. Posiadając metody std::atomic volatile zezwalasz na wywołania z metod członkowskich volatile w klasach zawierających zmienne std::atomic.

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