Ich hab mir ein par Gedanken zu Threadsafety gemacht und bin dabei auf die Frage gestossen, was denn passiert, wenn ich im Destruktor einen mutexlock anbringen will.
Ist da grundsätzlich schon was falsch wenn ich sowas will?
Ich stelle mir vor, dass ich eine gemeinsam genutzte Ressource habe. Der eine Thread will etwas daran verändern und löst einen Mutexlock aus. Der andere Thread nun, der die Ressource auch erstellt hatte, will diese jetzt wieder zerstören: Dann muss ich doch im Destruktor wieder den mutexlock callen, wodurch der Thread "angehalten" wird, da der andere noch an der Arbeit ist?

Aber in welchem Zustand befindet sich das Objekt jetzt? Ich habe mal was gelesen (wars ne Standarddefinition?), dass ein Objekt im Prinzip nicht mehr existiert, sobald der Destruktor aufgerufen wird, also auch schon bevor der fertig ausgeführt ist. Allerdings ist zu diesem Zeitpunkt doch noch aller Speicher alloziert, das Objekt wurde noch nicht wirklich zerstört..?

Ich würde das gerne geklärt haben, noch bevor ich dann irgend einen Murks mache

Merci vielmals!

@c++quest:
Wenn du in einer Klasse im Destruktor eine Mutex locken willst.
Und wenn diese Klasse nicht selbst einen Thread "hat", den sie im Destruktor dann beenden möchte ... dann hast du ein grundlegendes Problem.

In dem von dir beschriebenen Fall gibt es nur zwei Möglichkeiten:

1. Aufrufe von Memberfunktionen und Destruktor können sowieso nie "concurrent" aus verschiedenen Threads erfolgen, weil irgend ein externer Mechanismus das verhindert. In dem Fall ist alles eitel Wonne und du brauchst die Mutex im Destruktor nicht zu locken.

2. Aufrufe von Memberfunktionen und Destruktor können concurrent erfolgen. Dann kannst du aber auch nicht sicherstellen was zuerst passiert, der Aufruf des Destruktors oder der Aufruf der Memberfunktion. Du hast also eine Situation, wo es passieren könnte, dass zuerst der Destruktor aufgerufen wird, und dann erst die Memberfunktion. Und das ist ganz einfach ein Fehler. Diesen Fehler musst du beheben, dann hast du Situation (1), und musst die Mutex im Destruktor nicht locken.

----

Was Klassen angeht die selbst Threads verwalten: hier kann es vollkommen OK und auch notwendig sein im Destruktor eine Mutex zu locken, nämlich wenn du den Threads z.B. mitteilen möchtest dass sie sich beenden sollten. Mutex locken -> "end" Flag setzen -> Mutex unlocken -> auf Beendigung vom Thread warten.

Notwendig ist es dann, wenn die Thread-Funktion auf das Objekt zugreift. Dann muss sichergestellt sein dass diese beendet ist, bevor das Objekt zerstört wird. Und in dem Fall ist es auch kein Problem, wenn man das so macht - das Objekt ist bis zur Beendigung des Destruktors in einem gültigen Zustand, und man darf darauf zugreifen.
Genau so ist das Objekt mit Beginn (!) des Konstruktors in einem gültigen Zustand - obwohl es erst nach Beendigun des Konstruktors (ohne Exception) "fully constructed" ist.