Ressourcenbelegung ist Initialisierung
Van Wikipedia, de gratis encyclopedie
Ressourcenbelegung ist Initialisierung, meist abgekürzt durch RAII (englisch: resource acquisition is initialization), bezeichnet eine in bestimmten Programmiersprachen (wie z. B. C++) verbreitete Programmiertechnik zur Verwaltung von Betriebsmitteln (auch Ressourcen genannt). Dabei wird die Belegung von Betriebsmitteln an den Konstruktoraufruf einer Variablen eines benutzerdefinierten Typs und die Freigabe der Betriebsmittel an dessen Destruktoraufruf gebunden. Die automatische Freigabe wird beispielsweise durch das Verlassen des Gültigkeitsbereichs ausgelöst (am Blockende, bei Ausnahmeauslösung, durch Rückgabe an den Aufrufer usw.), der implizite Destruktoraufruf der Variablen sorgt dann für die Wiederfreigabe der Ressource.
Anwendung[Bearbeiten | Quelltext bearbeiten]
Typische Einsatzfälle für RAII sind die Steuerung von Prozess- oder Thread-Sperren in nebenläufigen Programmen und die Verwaltung von Datei-Operationen. Da Destruktoren auch unter Ausnahmebedingungen automatisch aufgerufen werden, ist RAII auch ein Schlüsselkonzept zum Schreiben von ausnahmefestem Code.
Zu den Programmiersprachen, die die Anwendung der Programmiertechnik RAII ermöglichen, gehören beispielsweise C++, Ada, D und Rust. In C# oder Java ist diese Technik dagegen nicht direkt möglich, da dort die Destruktion aller Objekte von einem nebenläufigen Garbage Collector verwaltet wird (siehe Abschnitt Varianten).
Beispiel[Bearbeiten | Quelltext bearbeiten]
Das folgende Beispielprogramm ist in der Programmiersprache C++ verfasst:
#include <string> #include <cstdio> class Datei { FILE* datei_; public: Datei(const std::string& name) : datei_( std::fopen(name.c_str(), "w+") ) {} // Öffnen der Datei ~Datei() { std::fclose(datei_); // Schließen der Datei } void ausgeben(const std::string& text) { if (datei_) std::fputs(text.c_str(), datei_); } }; int main() { Datei datei("aufzeichnung.txt"); // Öffnen der Datei (Anfordern der Ressource) datei.ausgeben("Hallo Welt!"); // Mit dem Ende der Funktion endet auch der Gültigkeitsbereich (Scope) // des Objekts datei. Daher wird der Destruktor Datei::~Datei() // aufgerufen, der die Datei schließt → Freigabe der Ressource. } Zweites Beispiel[Bearbeiten | Quelltext bearbeiten]
nicht RAII:
void func(void) { char* buffer = new char[3]; buffer[0] = 'A'; buffer[1] = 'B'; buffer[2] = 'C'; // buffer verwenden delete[] buffer; } RAII:
void func(void) { std::vector<char> buffer = {'A', 'B', 'C'}; // buffer verwenden } Varianten[Bearbeiten | Quelltext bearbeiten]
Das korrekte Funktionieren dieser Technik hängt wesentlich von den Eigenschaften der Konstruktoren und Destruktoren der Sprache ab. In C++ wird durch den Sprachstandard garantiert, dass ein Objekt beim Durchlaufen seiner Deklaration erstellt und dabei sein Konstruktor aufgerufen wird. Beim Verlassen seines Gültigkeitsbereichs muss das Objekt zerstört werden, d. h. sein Destruktor wird aufgerufen und kann die Freigabe von Ressourcen veranlassen.[1] Dass ein Destruktor aufgerufen wird, kann allerdings in keiner Programmiersprache garantiert werden, da Programme immer abnormal (z. B. durch Stromausfall oder SIGKILL) beendet werden können. In solchen Fällen kann allerdings keine Programmiertechnik die korrekte Freigabe der Ressourcen sicherstellen.
Programmiersprachen mit Garbage Collection, wie z. B. C# oder Java, machen keine Garantien bezüglich des Zeitpunkts, zu dem ein nicht mehr referenziertes Objekt durch den Garbage Collector freigegeben wird. Dieser Zeitpunkt, zu dem ein Objekt zerstört und die Finalisierungsmethode aufgerufen wird, ist bei nebenläufiger Garbage Collection auch nicht mehr deterministisch. Dadurch kann das Objekt eine Ressource länger belegen als eigentlich erwartet, insbesondere auch über seinen Gültigkeitsbereich hinaus. Allgemein kann dieses Problem nur umgangen werden, indem explizit eine Funktion zur Freigabe der Ressourcen aufgerufen wird und/oder spezielle Sprachkonstrukte verwendet werden.[2][3][4]
Die für C# empfohlene Alternative ist die Implementierung des System.IDisposable-Interfaces – auch Dispose Pattern genannt. Bei Verwendung des using-Blocks wird sichergestellt, dass die Methode Dispose() am Ende dieses Blocks aufgerufen wird, um belegte Ressourcen zu einem definierten Zeitpunkt freizugeben.
In Java kann mithilfe der try-with-resources-Anweisung ähnlich sichergestellt werden, dass Ressourcen am Ende eines Gültigkeitsbereichs in umgekehrter Reihenfolge wieder freigegeben werden.[5][6]
Weblinks[Bearbeiten | Quelltext bearbeiten]
- Beispielkapitel „Gotcha #67: Failure to Employ Resource Acquisition Is Initialization“ von Stephen Dewhurst (englisch)
- Interview „A Conversation with Bjarne Stroustrup“ von Bill Venners (englisch)
Einzelnachweise[Bearbeiten | Quelltext bearbeiten]
- ↑ Bjarne Stroustrup: Die C++-Programmiersprache. 4. aktualisierte und erweiterte Auflage. Addison-Wesley, München/Boston 2000, ISBN 3-8273-1660-X, S. 259 f., S. 390 f.
- ↑ Christian Nagel, Bill Evjen, Jay Glynn, Karli Watson, Morgan Skinner: C# 2012 and .NET 4.5. John Wiley & Sons, Indianapolis 2013, ISBN 978-1-118-31442-5, S. 353 ff.
- ↑ Allen Jones, Adam Freeman: Visual C# 2010 Recipes. A Problem-Solution Approach. Apress Springer, New York 2010, ISBN 978-1-4302-2525-6, S. 647 ff.
- ↑ Frank Eller: Visual C sharp 2010. Pearson Deutschland, München 2010, S. 200 f.
- ↑ Oracle Java Tutorial: The try-with-resources Statement
- ↑ Java Language Specification: Chapter 14, Blocks and Statements, try-with-resources