Welche Rolle spielen die Trennzeichen in den…

Delimiter (deleters) in smart pointers ermöglichen die Definition einer benutzerdefinierten Logik zum Freigeben der Ressource, auf die der Smart Pointer zeigt. Standardmäßig verwendet std::unique_ptr delete, und std::shared_ptr verwendet delete oder delete[]. Ein Delimiter kann eine Funktion, ein Funktor oder ein Lambda-Ausdruck sein.

Beispiele:

std::unique_ptr mit einer Funktions-Delimter:

#include <cstdio> // Für fclose

void file_deleter(FILE* file) {
    if (file) {
        fclose(file);
    }
}

// ...
// std::unique_ptr<FILE, decltype(&file_deleter)> file_ptr(fopen("example.txt", "r"), &file_deleter);
// ...

std::unique_ptr mit einem Lambda-Delimter:

#include <iostream>
#include <memory>

// ...
// auto resource_deleter = [](int* p){ std::cout << "Ressource wird gelöscht\n"; delete p; };
// std::unique_ptr<int, decltype(resource_deleter)> ptr(new int(10), resource_deleter);
// ...

std::shared_ptr mit einem Lambda-Delimter:

#include <iostream>
#include <memory>

// ...
// std::shared_ptr<int> shared_ptr_with_deleter(new int(20), [](int* p){ std::cout << "Gemeinsame Ressource wird gelöscht\n"; delete p; });
// ...

Die Rolle der Delimiter ist in den folgenden Szenarien wichtig:

Verwaltung von Ressourcen außer Speicher: Dateien, Netzwerk-Sockets, Datenbank-Handler usw.
Anpassung des Speicherfreigabeprozesses: Zum Beispiel delete[] für Arrays oder einen Pool von Objekten.
Zusätzliche Logik beim Freigeben: Protokollierung, Bereinigung verbundener Strukturen.

Für std::unique_ptr ist der Delimiter-Typ Teil des Zeigertyps, was die Arbeit mit Polymorphismus erschweren kann. Für std::shared_ptr ist der Delimiter-Typ kein Teil des Zeigertyps, was eine bessere Flexibilität bietet.

Welche Rolle spielen die Trennzeichen in den intelligenten Indikatoren?