Ist es möglich, RAII ohne Ausnahmen zu machen?

Question

Wenn die Ressource, die man zum Aufbau eines Objekts benötigt, fehlschlagen kann, ist RAII möglich, wenn Ausnahmen durch einen lokalen Codierungsstandard verboten sind?

Wenn ja, was ist die kanonische Art, in diesem Fall den Ausfall der Ressourcenakquisition zu behandeln?

Answer 1

Ich würde nicht mit dem ungültigen Objekt Ansatz im Allgemeinen gehen, weil ich dies als schlechtes Designs in Betracht ziehen würde. Nach der Konstruktion muss das Objekt in einem Zustand sein, in dem die Invarianten eingerichtet sind (das ist der einzige Zweck, den ein Konstruktor bedienen sollte). Betrachten Sie eine Klasse strange_vector, die etwas wie std::vector implementiert, aber nach dem Aufruf von strange_vector<int>(10, 0) wäre das Objekt in einem unbrauchbaren Zustand, weil die Zuweisung fehlgeschlagen ist.

Stattdessen würde ich die Konstrukteursprivat erklären und eine Factory-Methode verwenden, die eine optionale zurückgibt:

class file 
{ 
public: 
    ~file() {fclose(m_file);} 

    static std::optional<file> open(std::string const& filename) 
    { 
     auto f = fopen(filename.c_str(), "r"); 
     if (f) 
     { 
      return std::make_optional<file>(f); 
     } 
     else 
     { 
      return std::nullopt; 
     } 
    } 

private: 
    file(FILE* file); 
    FILE* m_file; 
}; 

Einer der größten Vorteile der Ausnahmebehandlung ist (neben Entkopplung der Fehlerbehandlung und normalen Codepfad), dass man nicht ignoriere sie versehentlich. Wenn Sie das möchten, könnten Sie Ihre eigene Klasse ähnlich optional erstellen, die, wenn sie nicht mit einem gültigen Objekt initialisiert wird, eine Fehlermeldung protokolliert und Ihr Programm (oder jede andere angemessene Fehlerbehandlung) beendet. Ich denke, es gibt eine talk from A. Alexandrescu about systematic error handling, wo er eine Klasse Expected<T> implementiert, die entweder einen Wert des Typs T oder eine Ausnahme enthält. Sie können dies als Basis verwenden und statt der Ausnahme fügen Sie dort Ihre Fehlerbehandlung hinzu.

std::optional ist noch nicht Teil des Standards, aber Sie können Implementierungen entweder als Teil der letzten Compiler, in Boost oder in anderen Bibliotheken erhalten.

Answer 2

Sie können immer eine bool valid(void) Methode erstellen. Der Konstruktor kann dann die entsprechende Bedingung setzen und in Ihrem Code können Sie nach der Erstellung überprüfen, ob dies funktioniert oder nicht.

class foo 
{ 
public: 
    foo(const char *Filename) 
    { 
     mValid = false; 

     if(fopen(Filename) == NULL) 
      return; 

     mValid = true; 
    } 

    bool valid(void) { return mValid; } 

    private: 
     bool mValid; 
}; 

void myfunc(void) 
{ 
    foo fl("myfile"); 
    if(!fl.valid()) 
    { 
     printf("Error\n"); 
     return; 
    } 
}