Является ли деструктор Arc гарантированно вызываться перед обновлением Слабой ссылки вернет None?

Question

Является ли деструктор (Drop) завернутого значения std::sync::Arc, который должен быть вызван/закончен до того, как звонок upgrade ссылки std::sync::Weak на один и тот же объект из любой другой нити может привести к None?

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

Answer 1

Нет. Для запроса требуется, чтобы значение upgrade блокировалось при отбрасывании значения. Это плохая идея в целом, потому что это может вызвать тупик в неожиданных местах.

Трудно предложить лучшее решение, не зная, что вы делаете; что такое общий ресурс?