boost smart pointer with custom deleter

Question

Я могу понять, что boost::shared_ptr не проверяет для NULL перед вызовом пользовательской функции удаления, но как я могу это достичь? Это поможет мне избежать написания немых оберток для fclose или любой функции, которая не (правильно) определяет поведение.

My boost: #define BOOST_VERSION 104500. Это не C++ 11 (так как я использую boost).

вопрос связан с: make shared_ptr not use delete

Sample Код:

static inline 
FILE* safe_fopen(const char* filename, const char* mode) 
{ 
     FILE* file = NULL; 
     (void)fopen_s(&file, filename, mode); 
     return file; 
} 

static inline 
void safe_fclose(FILE* file) 
{ 
     if (file) 
     BOOST_VERIFY(0 == fclose(file)); 
} 

... 

boost::shared_ptr<FILE> file(safe_fopen(FILE_DOWNLOAD, "rb"), safe_fclose); 
... 
// now it is created => open it once again 
file.reset(safe_fopen(FILE_DOWNLOAD, "rb"), safe_fclose); 

EDIT

Мой вопрос первоначально имел вторую часть, касающуюся использования shared_ptr: почему обеспечивающего Deleter как параметр функции вместо параметра шаблона? Видимо, ответ здесь: Why does unique_ptr take two template parameters when shared_ptr only takes one? Ответ на C++ 11 is unique_ptr, но почему boost не обеспечил один - мы никогда не узнаем.

Answer 1

Похоже, что существует разница между empty (non-owning) shared_ptr и null.

Nulled будет (и должен) ссылаться на deleter (это может означать что-то для определенного типа дескриптора ресурса. Фактически, значение «0» может быть даже не особенным).

Пустые будут вызывать дебетер, но с аргументом nullptr_t. Таким образом, вы могли бы обобщенно сделать обертку, которая оборачивает любые ADHOC Deleter (будь то встроенный лямбда, или указатель на функцию, как &::free):

template <typename F> 
OptionalDeleter<F> make_optional_deleter(F&& f) { return OptionalDeleter<F>(std::forward<F>(f)); } 

int main() { 
    auto d = make_optional_deleter([](void*){std::cout << "Deleting\n";}); 

    using namespace std; 
    { 
     shared_ptr<int> empty(std::nullptr_t{}, d); 
    } // deleter not called, empty 

    { 
     shared_ptr<int> thing(static_cast<int*>(nullptr), d); 
    } // deleter called, thing not empty 
} 

Напечатает

Empty, not deleting 
Deleting 

Похоже, что вы получите очень «чистый», верный, сквозной исходный подход к базовому API. Это GoodThing ™, поскольку, если shared_ptr<> сделал «произвольные» исключения, он стал бы непригодным в случаях, когда удаление значения «NULL» (или по умолчанию) было бы значимым и не должно быть пропущено.

Прямо сейчас, выбор за вами, как и должно быть.

Конечно, вы можете использовать очень похожую упаковку, как я только что продемонстрировал, чтобы пропустить общий вызов API, если значение дескриптора ресурса равно «NULL» или иным образом недействительным.

Live On Coliru

#include <memory> 
#include <iostream> 

template<typename F> 
struct OptionalDeleter final { 
    explicit OptionalDeleter(F&& f) : _f(std::forward<F>(f)) {} 

    template <typename... Ts> 
     void operator()(Ts&&... args) const { _f(std::forward<Ts>(args)...); } 

    void operator()(std::nullptr_t) const { std::cout << "Empty, not deleting\n"; } 
    private: 
    F _f; 
}; 

template <typename F> 
OptionalDeleter<F> make_optional_deleter(F&& f) { return OptionalDeleter<F>(std::forward<F>(f)); } 

int main() { 
    auto d = make_optional_deleter([](void*){std::cout << "Deleting\n";}); 

    using namespace std; 
    { 
     shared_ptr<int> empty(std::nullptr_t{}, d); 
    } // deleter not called, empty 

    { 
     shared_ptr<int> thing(static_cast<int*>(nullptr), d); 
    } // deleter called, thing not empty 
} 

Answer 2

Одна мысль была, возможно, вместо того, чтобы пытаться защитить деструктор, вы должны заставить неудачу при строительстве, что позволяет избежать необходимости проверки недействительным во время уничтожения.

static inline 
FILE* safe_fopen(const char* filename, const char* mode) 
{ 
     FILE* file = NULL; 
     (void)fopen_s(&file, filename, mode); 
     if (!file) 
     throw std::exception(...); // check errno 
     return file; 
} 

Однако это не помогает устранить ООН-инициализирован boost::shared_ptr если где еще случаются по какому-тому причиню.

В отличие от make shared_ptr not use delete Я думаю, что из-за характера функций вы просто застряли в наличии этих более длинных оберток.