Проблема: создаётся циклическая ссылка сильных указателей — каждый объект владеет другим через `shared_ptr`, поэтому счётчик ссылок у обоих никогда не обнуляется и память не освобождается.
Почему так происходит (коротко): `shared_ptr` реализует подсчёт ссылок. При
создании двух `shared_ptr` на узлы их счётчики равны $1$. После `a->next = b;` счётчик `b` становится $2$. После `b->next = a;` счётчик `a` становится $2$. При выходе из области видимости внешних `shared_ptr` счётчики останутся $1$ (взаимные ссылки) и не достигнут $0$, деструкторы не вызовутся — утечка.
Решение: разорвать циклическую сильную ссылку — используйте `std::weak_ptr` для ненесущего (observer/back) указателя. Пример:
Плохо (утечка):
struct Node {
std::shared_ptr next;
};
auto a = std::make_shared();
auto b = std::make_shared();
a->next = b;
b->next = a; // цикл сильных ссылок — утечка
Хорошо (исправлено):
struct Node {
std::weak_ptr next; // ненесущая ссылка
};
auto a = std::make_shared();
auto b = std::make_shared();
a->next = b; // хранит слабую ссылку
b->next = a;
if (auto nx = a->next.lock()) {
// доступ к следующему: nx — shared_ptr, проверяем его существование
}
Альтернативы: явно разрывать цикл вызовом `reset()`, использовать `unique_ptr` для владения в одном направлении, или хранить сырые/observer-указатели в не-владельческих связях. В большинстве случаев корректный и безопасный способ — заменить одну сторону цикла на `weak_ptr`.