Каква е ролята на разделителите в умните индикатори…

Делитори (deleters) в умните указатели позволяват да се дефинира персонализирана логика за освобождаване на ресурса, към който сочи умният указател. По подразбиране, std::unique_ptr използва delete, а std::shared_ptr — delete или delete[]. Делиторът може да бъде функция, функтор или лямбда израз.

Примери:

std::unique_ptr с функция делитор:

#include <cstdio> // За 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 с лямбда делитор:

#include <iostream>
#include <memory>

// ...
// auto resource_deleter = [](int* p){ std::cout << "Изтриване на ресурс\n"; delete p; };
// std::unique_ptr<int, decltype(resource_deleter)> ptr(new int(10), resource_deleter);
// ...

std::shared_ptr с лямбда делитор:

#include <iostream>
#include <memory>

// ...
// std::shared_ptr<int> shared_ptr_with_deleter(new int(20), [](int* p){ std::cout << "Изтриване на споделен ресурс\n"; delete p; });
// ...

Ролята на делиторите е важна в следните сценарии:

Управление на ресурси, различни от паметта: Файлове, мрежови сокети, обработчици на бази данни и др.
Настройка на процеса на освобождаване на паметта: Например, използване на delete[] за масиви или пулове от обекти.
Допълнителна логика при освобождаване: Регистриране, почистване на свързани структури.

За std::unique_ptr, типът на делитора е част от типа на указателя, което може да усложни работата с полиморфизъм. За std::shared_ptr, типът на делитора не е част от типа на указателя, което осигурява по-голяма гъвкавост.

Каква е ролята на разделителите в умните индикатори?