При выполнении кода:
std::shared_ptr a = std::make_shared();
std::shared_ptr b = a;
a.reset();
происходит следующее:
- `std::make_shared` создаёт объект и сопутствующий control block с количеством сильных ссылок (strong count) равным $1$.
- При `b = a` strong count увеличивается до $2$.
- При `a.reset()` strong count уменьшается до $1$. Объект НЕ будет уничтожен, пока strong count не станет равен $0$.
- Когда последний `std::shared_ptr` (в данном примере `b`) будет сброшен или выйдет из области видимости и strong count станет $0$, объект будет уничтожен; control block будет уничтожен только когда и weak count станет тоже $0$.
Циклические ссылки и как их избежать:
- Цикл вида A содержит `std::shared_ptr` и B содержит `std::shared_ptr` приведёт к утечке: strong count для объектов никогда не достигнет $0$.
- Решения:
1. Разорвать цикл, заменив одну ссылку на `std::weak_ptr` (обычно — «обратную»/владельческую ссылку). Пример:
```
struct B;
struct A { std::shared_ptr b; };
struct B { std::weak_ptr a; };
```
Теперь weak_ptr не увеличивает strong count, цикл не мешает уничтожению.
2. Использовать `std::unique_ptr` в одной из сторон, если возможна единоличная владение.
3. Явно сбрасывать (`reset()`) одну из shared-ссылок, если логика позволяет.
4. При необходимости получать shared-объект из объекта — использовать `std::enable_shared_from_this` и `weak_ptr` для «обратных» ссылок.
Кратко: объект будет уничтожен, когда strong count станет $0$. Чтобы избежать циклических ссылок, разбивайте их с помощью `std::weak_ptr` (или `unique_ptr` / явного сброса).