Нужно уточнить на boost :: optional type

Question

Я пытаюсь понять некоторые детали, полученные из файла ядра, в отношении переменной boost :: optional type.

Переменная:

boost::optional<Cacher> cacher_; 

Кадр # 5 из ядра:

(gdb) p this->cacher_ 
$1 = boost::optional 

Линия выполняется в этом кадре присутствует:

cacher_ = boost::none; 

В результате, несколько кадров приводящий к сбою, указывают на повышение кода библиотеки:

#1 0x000000000152f96c in destroy_impl (this=0x32557590) at /opt/include/boost/optional/optional.hpp:479 
#2 destroy (this=0x32557590) at /opt/include/boost/optional/optional.hpp:439 
#3 assign (this=0x32557590) at /opt/include/boost/optional/optional.hpp:313 
#4 operator= (none_=NULL, this=0x32557590) at /opt/include/boost/optional/optional.hpp:615 

Кадр # 0, где вызывается деструктор Cacher, а сбой - из-за того, что память, хранящаяся в объекте, уже освобождена.

Мой вопрос:

1. Свидетельствует ли boost::optional, что память, удерживаемую cacher_ действует?
2. В результате присвоения boost::none до cacher_ будет ли объект уничтожен?

Извините, если детали для диагностики проблемы недостаточны. Я попытаюсь предоставить дополнительные данные на основе ответов.

Спасибо!

Answer 1

Да, boost::optional отслеживает, содержит ли он действительный объект. Это можно проверить, используя operator bool() или is_initialized().

Если вы назначили boost::none (или позвоните по телефону .reset()), он правильно уничтожит объект, который он держит, если таковой имеется.

То же самое относится к std::optional (за исключением boost::none присвоения, насколько мне известно).