Как проверить, является ли опустошить shared_ptr или не имеет никакого отношения

Question

C++ std::shared_ptr<..> может быть пустой и это также может быть нулевым. Обе эти концепции существуют, и они являются не эквивалентом. Кроме того, между этими случаями не всегда подразумевается.

Последний случай является тривиальным для обнаружения, поскольку operator bool обеспечивает именно этот тест. Согласно документам, он «проверяет, сохраняет ли *this ненулевой указатель, т. Е. get() != nullptr».

Есть ли тест для первого случая, случай, когда вещь пусто?

Мое использование для этого довольно простое. У меня есть класс, который имеет статический заводский метод. Внутри статического заводского метода статический локальный shared_ptr экземпляр класса, инициализированный до nullptr. Первый вызов этого фабричного метода создает экземпляр класса и инициализирует статический локальный shared_ptr перед возвратом его копии - это защищено mutex. То, что shared_ptr может храниться на любом, скопированном и переданном, дополнительные копии могут быть приобретены путем дополнительных вызовов статической фабрики, и, наконец, когда все копии будут уничтожены, дебектор shared_ptr уничтожает экземпляр.

Сам экземпляр создается и уничтожается унаследованным C API, завернутым в мой класс, и, хотя эти экземпляры предназначены для совместного использования как одиночные, их также необходимо очистить, когда они больше не нужны - в отличие от одиночки.

На данный момент я использую нуль-чек, чтобы решить, следует ли инициализировать или просто скопировать статический локальный shared_ptr. Я боюсь, что этот тест не сработает, чтобы обнаружить случай, когда требуется повторная инициализация - например, если что-то пытается получить экземпляр через некоторое время после того, как все предыдущие пользователи отказались от своих ссылок, а общий экземпляр был удален.

Или это правда, что shared_ptr сбрасывается до nullptr, когда счетчик ссылок падает до нуля и вызывается делектор? Также для пользовательских удалений?

Актуальный: What is the difference between an empty and a null std::shared_ptr in C++?

Answer 1

Статический экземпляр shared_ptr будет содержать ссылку, так что объект всегда будет иметь количество рефа> = 1, и не будет удален, пока статические очистки не происходят. Как комментирует cnettel, вам нужно std::weak_ptr.

weak_ptr в основном shared_ptr, что не влияет на количество ссылок. Он имеет атомный литой до std::shared_ptr методом .lock(). Получаемый std::shared_ptr преобразуется в false, если он не инициализирован, поэтому вы знаете, что нужно повторно инициализировать (или инициализировать в первый раз).

Пример:

std::shared_ptr<Obj> instance() { 
    static std::weak_ptr<Obj> instance; 
    static std::mutex lock; 

    std::lock_guard<std::mutex> guard(lock); 

    auto result = instance.lock(); 
    if (!result) { 
     result = std::make_shared<Obj>(); 
     instance = result; 
    } 

    return result; 
}