benutzerdefinierte Implementierung einer "Defer" -Funktion in c

In C beinhaltet das Konzept von "Defer" die Ausführung spezifischer Aktionen am Ende durchzuführen eines bestimmten Umfangs oder eines bestimmten Codeblocks. Während die STL (Standard-Vorlagenbibliothek) und die Boost-Bibliotheken keine integrierte Implementierung dieser Funktion bereitstellen, kann eine benutzerdefinierte Lösung mit dem folgenden Code-Snippet erstellt werden:

#ifndef defer
struct defer_dummy {};
template  struct deferrer { F f; ~deferrer() { f(); } };
template  deferrer operator*(defer_dummy, F f) { return {f}; }
#define DEFER_(LINE) zz_defer##LINE
#define DEFER(LINE) DEFER_(LINE)
#define defer auto DEFER(__LINE__) = defer_dummy{} *[&]()
#endif // defer

()) #endif // defer

useage:

Das Auflaufmakro kann in einem bestimmten Bereich verwendet werden, um einen Codeblock zu definieren, der ausgeführt wird, wenn dieses Zielfernrohr endet. Die Syntax lautet wie folgt:

defer {
    // Code to be executed at the end of the current scope
};

Defer { // Code, der am Ende des aktuellen Bereichs ausgeführt werden soll };

Beispiel:

Im folgenden Beispiel wird das Defer -Makro in der Funktion read_entire_file verwendet, um die Eingabedatei automatisch zu schließen, wenn die Funktion beendet:

defer {
    // Code to be executed at the end of the current scope
};

#include #include bool read_entire_file (char *Dateiname, std :: uint8_t *& data_out, std :: size_t *size_out = nullptr) { if (! Dateiname) false zurückgeben; auto file = std :: fopen (Dateiname, "rb"); if (! Datei) false zurückgeben; Defer {std :: fcLose (Datei); }; // muss keine Raii -Datei -Wrapper schreiben. // ... verbleibender Code }

Vorteile:

• null Overhead:
Im Gegensatz zu einigen anderen Implementierungen entspricht dieser Ansatz keinen zusätzlichen Overhead.
• syntaktisch prägnant:
Die Syntax ist so konzipiert, dass sie leicht zu lesen und zu verwenden ist.
• null Abhängigkeiten:
Diese Implementierung stützt sich nicht auf externe Bibliotheken, reduzieren Times kompilieren.
• flexibel:
Der Block auf Verschiebung kann eine gültige C -Anweisung oder einen gültigen Ausdruck enthalten.

Hinweis:

Der Name des lokalen Aufstiegsobjekts beginnt mit zz_ anstelle von _, um die Verschmutzung der Namespace zu vermeiden.