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

Делиторы (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 << "Deleting resource\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 << "Deleting shared resource\n"; delete p; });
// ...

Роль делиторов важна в следующих сценариях:

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

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