In C++ - ist es möglich, volatile shared_ptr mit nullptr zu vergleichen?

Question

Es scheint, als ob die volatile Vergleichsfunktionen in shared_ptr Implementierung nicht existieren.

Macht es überhaupt Sinn zu existieren?

Answer 1

Im Wesentlichen nicht, der Standard berücksichtigt nicht comparisons oder boolean conversion auf einem volatile shared_ptr.

Die following fails zu kompilieren ...

auto main() -> int { 
    volatile shared_ptr<int> a; 
    if (a == nullptr) // fails 
     ; // empty 
    if (a) // fails 
     ; // empty 
} 

Sie können die volatile off werfen (über. Ein const_cast), aber ich bin mir nicht sicher, dass das gewünschte Ergebnis. Vom cppreference:

Ändern ein const Objekt durch einen nicht const Zugriffspfad und unter Bezugnahme auf ein volatile Objekt durch ein nicht volatile glvalue Ergebnis in undefiniertem Verhalten.

Ganz allgemein, in nicht Mitglied Methoden wie volatile Kennzeichnung wird die Klasse oder Bibliothek Implementierer effektiv sagen „dies nicht die Verwendung als volatile Objekt soll sein“ - wenn es dann den entsprechenden Methoden oder Überladungen würden für volatile Objekte sorgen. Ebenso gilt dies für const, Mitglieder als const Markierung, werden sie sagen: „Diese Klasse kann als const Objekt verwendet werden.

Warum die volatile benötigt wird, welche externen Quellen die shared_ptr werden könnte modifizieren“ ohne Wissen der Compiler "(dies ist einer der Verwendungen von volatile)? Wenn Threading-Probleme, dann wäre es besser, mit einem der Thread-Bibliothek-Dienstprogramme gedient, oder wenn die Anforderung einfach Optimierungen ausschalten, haben verschiedene Compiler Mechanismen dafür bereits (pragmas usw.).

Answer 2

Volatile ist nur ein Hinweis für den Compiler, dass der Speicher möglicherweise unerwartet geändert wird. Deaktiviert einige Optimierungen. Unter den Deckeln ist es nur eine Speicheradresse.

Der gemeinsame Zeiger hält nur die Ressource. Da jedoch std :: shared_ptr :: get() nicht als flüchtig gekennzeichnet ist, können Sie nicht wirklich einen shared_ptr verwenden, um einen flüchtigen Zeiger auf eine zugängliche Weise zu verwalten.

Ich würde empfehlen, einen nackten Zeiger zu verwenden, und mit dem Zielbereich oder dem Zerstörer, um danach aufzuräumen.

Wenn Sie volatile verwenden, da der Zeiger möglicherweise von einem anderen Thread geändert wird, sollten Sie std :: atomic anstelle von volatile verwenden. In Threading-Workflows wurden vor std::atomic Zeiger, auf die von anderen Threads aus zugegriffen wurde, normalerweise als flüchtig markiert. Das ist keine bewährte Methode mehr.