{"draftJsState":{"blocks":[{"data":{"image":{"id":"69f646bfbf3b376a2878f19e"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"8o190"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Сегодня поговорим об использовании интеллектуальных указателей в реальных проектах. Разберем вопросы о том каковы основные сценарии использования weak_ptr в паре с shared_ptr, как устроены shared_ptr и weak_ptr \"под капотом\", изучим накладные расходы при использовании shared_ptr и weak_ptr, а также большое количество связанных с этим проблем. Предполагается наличие у читателя предварительных знаний о назначении интеллектуальных указателей.","type":"unstyled","key":"3310u"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Использование std::weak_ptr вместе с std::shared_ptr — это стандартный способ решения проблем с владением памятью, когда применение одних только shared_ptr может привести к утечкам или неопределенному поведению.","type":"unstyled","key":"8fd3v"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Вот три основных сценария, когда без weak_ptr не обойтись:","type":"unstyled","key":"dccma"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"1. Разрыв циклических зависимостей","type":"unstyled","key":"2ldtm"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Это самая частая причина. Если два объекта ссылаются друг на друга через shared_ptr, их счетчик ссылок никогда не станет нулевым, и они не будут удалены из памяти. Пример — система классов с отношением типа «родительский класс — класс потомок». Родитель обычно владеет потомком при помощи указателя типа shared_ptr. Потомок должен знать о родителе, но не владеет им. Если сделать ссылку на родителя через shared_ptr, возникнет цикл. Следовательно в потомке используем weak_ptr для хранения ссылки на родителя.","type":"unstyled","key":"7ouia"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"2. Кэширование объектов","type":"unstyled","key":"fkorq"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Когда вам нужно хранить список объектов, которые могут быть удалены в другом месте программы, weak_ptr подходит как нельзя кстати. Кэш хранит weak_ptr. Если объект еще существует в программе (его держит кто-то другой через shared_ptr), кэш может получить доступ к нему через метод lock(). Если объект уже удален, кэш определит, что указатель пуст, и не будет пытаться его использовать.","type":"unstyled","key":"cj9jt"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"3. Применение паттерна «наблюдатель»","type":"unstyled","key":"30v79"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"В событийных моделях объект—издатель рассылает уведомления подписчикам (слушателям). Если издатель будет хранить ссылки на слушателей при помощи shared_ptr, то он будет насильно удерживать их в памяти, даже если они больше не нужны остальной программе. Используя weak_ptr, издатель может проверить жив ли еще слушатель. Если жив — отправить уведомление, если нет — удалить его из списка рассылки. Чтобы осуществить проверку, нужно временно конвертировать из weak_ptr в shared_ptr с помощью метода lock():","type":"unstyled","key":"1sa3j"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":209,"offset":0,"style":"ITALIC"}],"text":"void useObject(std::weak_ptr weakEntity) {\n // Пытаемся получить доступ к объекту\n if (auto sharedEntity = weakEntity.lock()) {\n // Объект еще жив, можем работать\n sharedEntity->doSomething();","type":"unstyled","key":"eeunf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":94,"offset":0,"style":"ITALIC"}],"text":" } else {\n // Объект уже удален\n std::cout << \"Object is gone!\" << std::endl;\n }\n}","type":"unstyled","key":"3f7v8"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":589,"offset":159,"style":"ITALIC"}],"text":"Если вместо weak_ptr использовать shared_ptr, то возникнет циклическая зависимость, когда Узел A ссылается на Узел B, а Узел B — на Узел A. Рассмотрим пример.\nstruct Node {\n std::string name;\n std::shared_ptr next; // Ссылка на следующий узел\n\n Node(std::string n) : name(n) { std::cout << name << \" created\\n\"; }\n ~Node() { std::cout << name << \" destroyed\\n\"; }\n};\n\nint main() {\n auto nodeA = std::make_shared(\"Node A\");\n auto nodeB = std::make_shared(\"Node B\");\n\n // Создаем цикл\n nodeA->next = nodeB; \n nodeB->next = nodeA; \n // ОШИБКА: Программа завершается, но деструкторы не вызовутся\n // nodeA держит nodeB, а nodeB держит nodeA. Счетчик ссылок никогда не \n // станет 0.\n return 0; \n}","type":"unstyled","key":"8ibrp"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Чтобы разорвать цикл, один из указателей должен быть «не владеющим». В структурах типа «дерево» или «список» обычно ссылки вниз (от родителя к детям) делают владеющими, а ссылки вверх (от ребенка к родителю) — слабыми.","type":"unstyled","key":"fl2or"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":886,"offset":0,"style":"ITALIC"}],"text":"struct Node {\n std::string name;\n std::shared_ptr next;\n std::weak_ptr prev; // Теперь это слабая ссылка\n\n Node(std::string n) : name(n) { std::cout << name << \" created\\n\"; }\n ~Node() { std::cout << name << \" destroyed\\n\"; }\n};\nint main() {\n {\n auto nodeA = std::make_shared(\"Node A\");\n auto nodeB = std::make_shared(\"Node B\");\n\n nodeA->next = nodeB; // Счетчик nodeB = 2\n nodeB->prev = nodeA; // Счетчик nodeA остается 1, т.к. weak_ptr его не \n //увеличивает\n \n } // Здесь nodeA выходит из области видимости. \n // Его счетчик становится 0, в результате nodeA удаляется.\n // При удалении nodeA его указатель next на nodeB исчезает.\n // nodeB выходит из области видимости и тоже удаляется.\n std::cout << \"End of scope\\n\";\n return 0;\n}","type":"unstyled","key":"1s4c0"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Главные правила выбора:","type":"unstyled","key":"ddb1s"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"shared_ptr — если объект не может существовать без этой связи (владение).","type":"ordered-list-item","key":"6smu6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"weak_ptr — если объекту нужно знать о ком-то, но он не отвечает за его время жизни.","type":"ordered-list-item","key":"jl4b"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Когда нельзя использовать weak_ptr? Не стоит заменять им всё подряд. Если вы попытаетесь вызвать метод через weak_ptr без проверки lock(), и объект уже удален, вы получите пустой указатель и, как следствие, неопределенное поведение. weak_ptr — это всегда про необязательное (временное) присутствие объекта.","type":"unstyled","key":"d3gt2"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Автоматическое удаление памяти, управляемой shared_ptr, осуществляется при помощи специальной структурой, называемой управляющим блоком (control block). Внутри управляющего блока обычно находятся как минимум два целочисленных счетчика:","type":"unstyled","key":"5jf4e"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Shared сount, задающий сколько shared_ptr владеют объектом. Когда он станет 0, объект будет уничтожен.","type":"ordered-list-item","key":"6jee1"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Weak сount, определяющий сколько weak_ptr наблюдают за объектом. Когда оба этих счетчика станут равны 0, будет уничтожен сам управляющий блок.","type":"ordered-list-item","key":"67s7h"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Представим жизненный цикл shared_ptr в виде последовательности шагов.","type":"unstyled","key":"4j2k8"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":26,"offset":0,"style":"BOLD"},{"length":32,"offset":27,"style":"ITALIC"}],"text":"Шаг 1: Создание shared_ptr\nauto sp = std::make_shared();","type":"unstyled","key":"2ifog"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Выделяется память под объект типа T и control block. При этом shared count = 1, weak count = 0.","type":"unstyled","key":"903hn"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":19,"offset":0,"style":"BOLD"},{"length":15,"offset":20,"style":"ITALIC"}],"text":"Шаг 2: Копирование \nauto sp2 = sp; ","type":"unstyled","key":"2sg8n"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Shared Count атомарно увеличивается на 1 и принимает значение 2.","type":"unstyled","key":"eh2ep"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":24,"offset":0,"style":"BOLD"},{"length":25,"offset":25,"style":"ITALIC"}],"text":"Шаг 3: Создание weak_ptr\nstd::weak_ptr wp = sp;","type":"unstyled","key":"e9e7n"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Shared Count остается равным 2. weak count атомарно увеличивается, становясь равным 1.","type":"unstyled","key":"f98cu"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":33,"offset":0,"style":"BOLD"},{"length":17,"offset":34,"style":"ITALIC"}],"text":"Шаг 4: Разрушение всех shared_ptr\nsp.reset(); // shared count = 1","type":"unstyled","key":"bo40r"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":16,"offset":0,"style":"ITALIC"}],"text":"sp2.reset();// shared count = 0","type":"unstyled","key":"11dt3"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Срабатывает деструктор объекта ~T(). Память объекта может быть освобождена (если не используется make_shared), но управляющий блок остается в памяти, т.к. Weak Count = 1.","type":"unstyled","key":"2hcrk"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":26,"offset":0,"style":"BOLD"},{"length":15,"offset":27,"style":"ITALIC"}],"text":"Шаг 5: Разрушение weak_ptr\nwp.reset(); // Weak Count = 0","type":"unstyled","key":"e8qr0"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Управляющий блок видит, что счетчики равны нулю, и само уничтожается, освобождая память.","type":"unstyled","key":"cjmef"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Счетчики в shared_ptr являются атомарными переменными (std::atomic). Это позволяет безопасно копировать shared_ptr в разных потоках: инкремент и декремент счетчика происходят без \"состояния гонки\". Атомарные операции медленнее обычных. ","type":"unstyled","key":"c62t4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Важный вопрос, который возникает при использовании weak_ptr, - как работает метод lock? При его вызове происходит следующее:","type":"unstyled","key":"1ppk"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Проверяется shared count в управляющем блоке.","type":"ordered-list-item","key":"a0eb3"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Если shared count > 0, он атомарно увеличивается и возвращается shared_ptr с увеличенным shared count.","type":"ordered-list-item","key":"4aifn"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Если shared count равен 0, возвращается пустой shared_ptr.","type":"ordered-list-item","key":"5hrg6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Резюмируя вышесказанное, приведу таблицу, в которой показано влияние действий с указателями на значения счетчиков.","type":"unstyled","key":"946np"},{"data":{"image":{"id":"69f64dc5d3d25d71ba0dd135"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"1i4hj"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Вы можете использовать метод use_count() у shared_ptr или weak_ptr, чтобы увидеть текущее состояние shared count счетчика как показано в следующей программе.","type":"unstyled","key":"f1uhf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":328,"offset":0,"style":"ITALIC"}],"text":"int main() {\n auto sp = std::make_shared(42);\n std::weak_ptr wp = sp;\n std::cout << \"Owners: \" << sp.use_count() << \"\\n\"; // Выведет 1\n {\n auto sp2 = sp;\n std::cout << \"Owners: \" << wp.use_count() << \"\\n\"; // Выведет 2\n }\n std::cout << \"Owners: \" << wp.use_count() << \"\\n\"; // Снова 1\n}","type":"unstyled","key":"8qsrj"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Важный нюанс: почему use_count() для weak_ptr возвращает shared count? Метод use_count() класса weak_ptr возвращает shared count для того, чтобы вы могли понять, имеет ли смысл пытаться делать lock(). Прямого способа узнать количество «слабых» наблюдателей через стандартный API нет, так как это внутренняя деталь реализации, не влияющая на логику работы с объектом.","type":"unstyled","key":"ars6o"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"При использовании shared_ptr важно помнить о том, что как только Shared Count становится равен 0, вызывается деструктор объекта. Память, которую занимали его данные объекта, немедленно освобождается. Но управляющий блок остается в памяти до тех пор, пока жив хотя бы один weak_ptr (т.е. пока weak count > 0). Это нужно для того, чтобы другой weak_ptr мог безопасно проверить счетчик и понять, что объект уже удален. Когда последний weak_ptr исчезает и weak count становится нулевым, удаляется управляющий блок.","type":"unstyled","key":"87fjd"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Описанные правила можно резюмировать при помощи следующей таблицы.","type":"unstyled","key":"2mjs7"},{"data":{"image":{"id":"69f649736d5e5a3433ebf3c7"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"ldvm"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Если вы используете std::make_shared, объект и управляющий блок живут в единой непрерывной области памяти. В этом случае память, занимаемая объектом, физически не вернется в систему, пока не обнулится weak count, хотя объект к этому моменту уже будет уничтожен.","type":"unstyled","key":"83i9h"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Почему std::make_shared ведет себя именно так с точки зрения выделения памяти? Когда память выделяется при помощи вызова new, например так: std::shared_ptr ptr(new Node());","type":"unstyled","key":"fu2fq"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Происходит два отдельных выделения памяти в куче:","type":"unstyled","key":"vl1o"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Выделяется память под сам объект Node.","type":"ordered-list-item","key":"4vc9t"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Выделяется память под управляющий блок (счетчики).","type":"ordered-list-item","key":"frvl7"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Когда shared count становится нулевым, блок памяти объекта можно сразу вернуть операционной системе, даже если управляющий блок еще живет из-за weak_ptr.","type":"unstyled","key":"7mq0r"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"При вызове std::make_shared происходит однократное выделение памяти.\nЗапрашивается один участок, в который помещаются управляющий блок и сам объект. Одно выделение памяти работает быстрее двух. Процессору проще работать с данными, когда они лежат рядом (меньше промахов кэша). Поскольку это один непрерывный участок памяти, его нельзя \"отдать\" операционной системе по частям. Если shared count == 0, вызывается деструктор объекта. Он очищает внутренние ресурсы, например, закрывает файлы или очищает векторы внутри объекта, но сама память, которую занимал объект, не освобождается. Она будет занята до тех пор, пока weak count больше нуля.","type":"unstyled","key":"427in"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Если ваш объект очень большой (например, массив на 100 МБ внутри структуры) и на него долго будут ссылаться weak_ptr, то std::make_shared может быть плохой идеей, так как 100 МБ будут \"висеть\" в памяти впустую.","type":"unstyled","key":"8c41c"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Для небольших объектов (что бывает в 99% случаев) всегда лучше использовать std::make_shared, так как выигрыш в производительности важнее.","type":"unstyled","key":"8nj05"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Чтобы проверить этот эффект, нам нужно создать пользовательский распределитель памяти (аллокатор), который будет выводить в консоль сообщения о выделении (allocate) и освобождении (deallocate) памяти. Сравним поведение std::shared_ptr(new T) и std::allocate_shared (аналог make_shared, но с поддержкой аллокатора).","type":"unstyled","key":"68fsl"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":2076,"offset":0,"style":"ITALIC"}],"text":"#include \n#include \n\n// 1. Пользовательский распределитель памяти\ntemplate \nstruct TrackingAllocator {\n using value_type = T;\n\n TrackingAllocator() = default;\n template TrackingAllocator(const TrackingAllocator&) {}\n\n T* allocate(std::size_t n) {\n std::cout << \"[Allocating \" << n * sizeof(T) << \" bytes]\" << std::endl;\n return static_cast(::operator new(n * sizeof(T)));\n }\n\n void deallocate(T* p, std::size_t n) {\n std::cout << \"[Deallocating \" << n * sizeof(T) << \" bytes]\" << std::endl;\n ::operator delete(p);\n }\n};\n\nstruct LargeObject {\n char data[100]; // Эмулируем полезную нагрузку\n LargeObject() { std::cout << \" Constructor called\" << std::endl; }\n ~LargeObject() { std::cout << \" Destructor called\" << std::endl; }\n};\n\nint main() {\n std::weak_ptr observer;\n\n std::cout << \"--- Scenario: allocate_shared (One block) ---\" << std::endl;\n {\n auto shared = std::allocate_shared(TrackingAllocator());\n observer = shared;\n std::cout << \" Resetting shared_ptr...\" << std::endl;\n shared.reset(); \n std::cout << \" shared_ptr is null now, but is memory freed?\" << std::endl;\n } \n std::cout << \" observer (weak_ptr) is going out of scope now...\" << std::endl;\n observer.reset(); // Только здесь мы увидим \"Deallocating\"\n\n std::cout << \"\\n--- Scenario: new (Two blocks) ---\" << std::endl;\n {\n // Примечание: 'new' не использует наш аллокатор для объекта, \n // только управляющий блок внутри shared_ptr будет отслеживаться \n // (если использовать спец. конструктор)\n // Для чистоты эксперимента просто сравним логику деструктора.\n auto shared = std::shared_ptr(new LargeObject());\n observer = shared;\n std::cout << \" Resetting shared_ptr...\" << std::endl;\n shared.reset(); // Здесь объект удалится (delete) сразу!\n std::cout << \" shared_ptr is null now.\" << std::endl;\n }\n return 0;\n}","type":"unstyled","key":"2asp4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"В консоли можно увидеть 2 сценария: для allocate_shared и new:","type":"unstyled","key":"1jk54"},{"data":{"image":{"id":"69f7528dc45e996b29fb566e"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"bae6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":50,"style":"BOLD"}],"text":"В первом сценарии вы видите [Deallocating] только когда исчезает последний \"наблюдатель\" .","type":"unstyled","key":"7vvhd"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Во втором память возвращается системе немедленно, так как управляющий блок лежит в другом месте и не мешает удалению.","type":"unstyled","key":"1dpuk"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Этот эксперимент наглядно показывает цену производительности:","type":"unstyled","key":"8bq8l"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"make_shared экономит время на выделении памяти, но удерживает ее до тех пор, пока жив хотя бы один weak_ptr.","type":"unordered-list-item","key":"34acr"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Если ваши объекты весят мегабайты, а weak_ptr живут долго (например, в глобальном кэше), используйте new или будьте готовы к повышенному потреблению RAM.","type":"unordered-list-item","key":"d48u5"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Добавление виртуальных функций и наследования практически не влияет на размер самого управляющего блока, но заметно меняет размер объекта и то, как shared_ptr с ним взаимодействует.","type":"unstyled","key":"dcglq"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Давайте разберем, что именно происходит «под капотом». Когда вы добавляете в класс хотя бы одну виртуальную функцию, компилятор добавляет в объект скрытое поле — vptr (указатель на таблицу виртуальных функций). На 64-битной системе это прибавит 8 байт к размеру самого объекта. В отличие от обычных указателей, shared_ptr умеет правильно удалять объект даже если у базового класса нет виртуального деструктора.","type":"unstyled","key":"b9jio"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Как это работает? Когда вы создаете shared_ptr p(new Derived()), управляющий блок запоминает тип Derived в момент создания. Внутри блока сохраняется указатель на функцию-удалитель (deleter), которая знает реальный размер и тип объекта.","type":"unstyled","key":"b8rb3"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1035,"offset":80,"style":"ITALIC"}],"text":"Посмотрим на код, который измеряет размеры объектов и показывает магию удаления:\nstruct Base {\n int x;\n // Виртуального деструктора НЕТ!\n ~Base() { std::cout << \"Base destroyed\\n\"; }\n};\n\nstruct Derived : public Base {\n int y;\n ~Derived() { std::cout << \"Derived destroyed\\n\"; }\n};\n\nstruct BaseWithVirtual {\n int x;\n virtual void foo() {} // Добавляем vptr\n virtual ~BaseWithVirtual() = default;\n};\n\nint main() {\n std::cout << \"Size of Base: \" << sizeof(Base) << \" bytes\\n\";\n std::cout << \"Size of Derived: \" << sizeof(Derived) << \" bytes\\n\";\n std::cout << \"Size of BaseWithVirtual: \" << sizeof(BaseWithVirtual) << \" bytes (8 bytes for vptr)\\n\";\n\n std::cout << \"\\n--- Testing Deleter Magic ---\\n\";\n {\n // У класса Base НЕТ виртуального деструктора. \n // Обычный delete Base* удалил бы только часть объекта.\n std::shared_ptr p = std::make_shared();\n std::cout << \"Resetting shared_ptr...\\n\";\n } // МАГИЯ: Сначала вызовется ~Derived(), а потом ~Base(), \n // потому что shared_ptr запомнил тип при создании!\n return 0;\n}","type":"unstyled","key":"6ar3a"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Подводя резюме по размерам можно сказать следующее:","type":"unstyled","key":"d1qcq"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Управляющий блок обычно занимает 16–24 байта (два счетчика по 8 байт + указатель на таблицу виртуальных функций самого блока или удалитель). Его размер фиксирован и не зависит от сложности вашего класса.","type":"ordered-list-item","key":"e0o4j"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"sizeof(Base) = 4 байта (только int).\nsizeof(BaseWithVirtual) = 16 байт (4 байта int + 8 байт vptr + 4 байта выравнивание/padding).","type":"ordered-list-item","key":"992l9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Сам std::shared_ptr весит 16 байт (8 на адрес объекта + 8 на адрес управляющего блока). Это так называемый «толстый указатель».","type":"ordered-list-item","key":"6ol0c"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Если в программе миллионы маленьких объектов (например, хранящих int), накладные расходы shared_ptr (16 байт на указатель + ~24 байта на блок) будут в 10 раз больше, чем сами данные. В таких случаях лучше использовать массивы (std::vector) или пулы объектов.","type":"unstyled","key":"3va5e"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Теперь рассмотрим unique_ptr. В отличие от shared_ptr он может не занимать лишней памяти (иметь такой же размер, как и T*), и не может так работать с деструкторами.","type":"unstyled","key":"3di5j"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"std::unique_ptr спроектирован по принципу «не плати за то, что не используешь». В отличие от shared_ptr, он не создает никаких управляющих блоков в куче. Почему unique_ptr весит как обычный указатель? В стандартной реализации sizeof(std::unique_ptr) равен 8 байтам (на 64-битной системе), что идентично размеру сырого указателя T*. Это возможно потому, что:","type":"unstyled","key":"2akpf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Нет счетчиков. Владелец всегда один, считать нечего","type":"unordered-list-item","key":"dldc5"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Тип удалителя (deleter) является частью шаблонного класса unique_ptr и не хранится в памяти как объект. Разницу в объеме памяти, занимаемой объектами можно проиллюстрировать на примере простой программы:","type":"unordered-list-item","key":"a1pi"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":379,"offset":0,"style":"ITALIC"}],"text":"int main() {\n int* rawPtr = nullptr;\n std::unique_ptr uniquePtr;\n std::shared_ptr sharedPtr;\n\n std::cout << \"Raw pointer: \" << sizeof(rawPtr) << \" bytes\" << std::endl; // 8\n std::cout << \"unique_ptr: \" << sizeof(uniquePtr) << \" bytes\" << std::endl; // 8\n std::cout << \"shared_ptr: \" << sizeof(sharedPtr) << \" bytes\" << std::endl; // 16\n}","type":"unstyled","key":"ebt28"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Почему unique_ptr не может работать с деструкторами как shared_ptr Помните, как shared_ptr мог правильно удалить Derived, даже если деструктор не был виртуальным? Это происходило потому, что в управляющем блоке в куче хранилась информация о типе. У unique_ptr нет блока в куче. Он полагается исключительно на статические типы во время компиляции. Проиллюстрируем сказанное на примере. ","type":"unstyled","key":"dnl7d"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":261,"offset":0,"style":"ITALIC"}],"text":"struct Base { ~Base() { std::cout << \"~Base\\n\"; } };\nstruct Derived : Base { ~Derived() { std::cout << \"~Derived\\n\"; } };\n{\n std::unique_ptr p = std::make_unique();\n} \n// ВЫВОД: только \"~Base\"\n// УТЕЧКА: Часть объекта Derived не будет удалена!","type":"unstyled","key":"bursf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":21,"offset":72,"style":"BOLD"}],"text":"Вывод: для unique_ptr наличие виртуального деструктора в базовом классе является обязательным, если вы используете полиморфизм.","type":"unstyled","key":"8ir8m"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Если вы дадите unique_ptr пользовательский удалитель, например, лямбда-функцию, которая захватывает переменные, размер указателя вырастет, так как ему придется хранить этот объект внутри себя.","type":"unstyled","key":"4ram8"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":199,"offset":0,"style":"ITALIC"}],"text":"auto lambdaDeleter = [x = 10, y = 20](int* p) { delete p; };\nstd::unique_ptr p(new int(5), lambdaDeleter);\nstd::cout << \"Size with lambda: \" << sizeof(p) << \" bytes\\n\"; ","type":"unstyled","key":"2d4tl"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"На моем ПК программа выдает следующий результат: Size with lambda: 16 bytes","type":"unstyled","key":"782jb"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Однако, если вы используете обычную функцию или пустую структуру (functor) в качестве удалителя, компилятор применит EBO (Empty Base Optimization), и размер указателя останется 8 байт.","type":"unstyled","key":"c90da"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Разницу в характеристиках unique_ptr и shred_ptr можно проиллюстрировать в виде следующей таблицы.","type":"unstyled","key":"c79ti"},{"data":{"image":{"id":"69f64bd9169d093d9fd43c8f"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"eda81"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Теперь разберем что значит тип удалителя (deleter) является частью типа указателя. Это означает, что информация о том, как именно нужно удалять объект (вызывать delete, free или закрывать дескриптор файла), указана в объявлении типа и известна на этапе компиляции. В C++ тип std::unique_ptr выглядит так:\ntemplate> class unique_ptr;","type":"unstyled","key":"5c1bq"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Поскольку Deleter — это часть типа, вы не можете просто так присвоить один unique_ptr другому, если у них разные способы удаления, например:","type":"unstyled","key":"3ma64"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":286,"offset":0,"style":"ITALIC"}],"text":"void my_free(int* p) { free(p); }\n\n// Тип 1: использует стандартный delete\nstd::unique_ptr p1(new int(5)); \n\n// Тип 2: использует функцию my_free\nstd::unique_ptr p2((int*)malloc(4), my_free);\n\n// p1 = std::move(p2); // ОШИБКА КОМПИЛЯЦИИ: это разные типы данных!","type":"unstyled","key":"bi4br"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":2,"offset":28,"style":"BOLD"}],"text":"В std::shared_ptr удалитель НЕ является частью типа. Вы можете использовать разные удалители для std::shared_ptr. Так происходит потому, что способ удаления хранится внутри управляющего блока в куче и не является частью типа. Когда компилятор видит вызов деструктора unique_ptr, он выполняет следующие действия:","type":"unstyled","key":"8522g"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Смотрит на тип указателя.","type":"ordered-list-item","key":"ar6t1"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Видит там конкретный удалитель (например, std::default_delete).","type":"ordered-list-item","key":"lcq4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Может встроить вызов этого удалителя прямо в код.","type":"ordered-list-item","key":"cfjc4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Программе не нужно переходить по указателям. Это работает так же быстро, как если бы вы вручную написали delete ptr.","type":"unstyled","key":"tmb"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Если ваш удалитель — это класс без данных, например стандартный default_delete, C++ использует оптимизацию пустого базового класса. Благодаря тому, что тип известен заранее, компилятор понимает: \"Хранить тут нечего, место под удалитель выделять не буду\". Поэтому unique_ptr и занимает 8 байт.","type":"unstyled","key":"390sb"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Таким образом, в unique_ptr информация об удалителе известна на этапе компиляции. Это дает скорость и малый размер, но ограничивает программиста так как нельзя менять удалитель.","type":"unstyled","key":"e6hvo"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"В shared_ptr удалитель можно менять. Это дает гибкость, но требует больше памяти и больше времени на выполнение.","type":"unstyled","key":"977ga"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Чтобы пользовательский удалитель не занимал лишнего места, его нужно реализовывать как функтор, а не как указатель на функцию или лямбду с захватом. В этом случае сработает EBO (Empty Base Optimization), и ваш unique_ptr по-прежнему будет весить как обычный указатель (8 байт).","type":"unstyled","key":"99gvs"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":498,"offset":51,"style":"ITALIC"}],"text":"Покажем использование такого удалителя на примере.\n// Удалитель как структура не содержащая данные\nstruct FileCloser {\n void operator()(FILE* fp) const {\n if (fp) {\n std::cout << \" Closing file via functor...\\n\";\n fclose(fp);\n }\n }\n};\n\nint main() {\n // Указываем тип удалителя в шаблоне\n std::unique_ptr uptr(fopen(\"test.txt\", \"w\"));\n\n std::cout << \"Size of unique_ptr with functor: \" << sizeof(uptr) << \" bytes\\n\";\n // Результат: 8 байт (на 64-битной системе)\n return 0;\n}","type":"unstyled","key":"2qbg6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Если передать обычную функцию через указатель, то размер unique_ptr удвоится, так как ему придется хранить адрес этой функции:","type":"unstyled","key":"1enet"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":300,"offset":0,"style":"ITALIC"}],"text":"void close_file_func(FILE* fp) { fclose(fp); }\n\nint main() {\n // Тип удалителя — указатель на функцию\n std::unique_ptr uptr(fopen(\"test.txt\", \"w\"), close_file_func);\n std::cout << \"Size with function pointer: \" << sizeof(uptr) << \" bytes\\n\";\n // Результат: 16 байт\n}","type":"unstyled","key":"8soic"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Компилятор C++ видит, что FileCloser — это \"пустой\" тип (без данных). Поэтому не нужно хранить экземпляр FileCloser внутри указателя. Можно просто вызвать метод этого типа, когда придет время.","type":"unstyled","key":"cu088"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Когда это полезно в реальной жизни? Это идеальный способ оборачивать старые C-библиотеки (работа с файлами, сокетами, графическими контекстами или памятью через malloc/free).","type":"unstyled","key":"favij"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Рассмотрим примеры.","type":"unstyled","key":"17hru"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":308,"offset":0,"style":"ITALIC"},{"length":228,"offset":309,"style":"ITALIC"},{"length":193,"offset":538,"style":"ITALIC"}],"text":"//Определяем тип удалителя для закрытия файла\nstruct FileCloser {\n void operator()(FILE* fp) const {\n if (fp) {\n fclose(fp);\n std::cout << \"File closed automatically.\\n\";\n }\n }\n};\n\n// Псевдоним типа для удобства\nusing UniqueFile = std::unique_ptr;\n\n// Функция-фабрика\nUniqueFile openSecureFile(const char* filename) {\n FILE* f = fopen(filename, \"w\");\n if (!f) return nullptr;\n // Возвращаем объект. Move-семантика сработает автоматически.\n return UniqueFile(f); \n}\n\nint main() {\n {\n UniqueFile myFile = openSecureFile(\"data.txt\");\n if (myFile) {\n fprintf(myFile.get(), \"Hello, RAII!\");\n }\n } // Файл закроется здесь сам\n}","type":"unstyled","key":"7qrfd"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Если у вас много разных ресурсов (файлы, сокеты, память), вы можете создать один общий шаблон, чтобы не писать operator() каждый раз, например:","type":"unstyled","key":"e95na"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":490,"offset":0,"style":"ITALIC"}],"text":"template \nstruct ResourceDeleter {\n template \n void operator()(T* ptr) const {\n if (ptr) Fn(ptr);\n }\n};\n// Теперь создание новых типов занимает одну строчку:\nusing SmartFile = std::unique_ptr>;\nusing SmartMalloc = std::unique_ptr>;\n\nint main() {\n SmartFile f(fopen(\"test.log\", \"a\"));\n SmartMalloc m((int*)malloc(sizeof(int)));\n // Оба весят по 8 байт и используют свои функции очистки!\n}","type":"unstyled","key":"3l637"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Замечания по коду:","type":"unstyled","key":"esd43"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Используйте using, это скрывает детали реализации (какой именно удалитель используется) от пользователя вашей функции.","type":"ordered-list-item","key":"79ent"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":4,"offset":93,"style":"BOLD"}],"text":"Не возвращайте std::move(uptr): Просто пишите return uptr. Современные компиляторы применяют NRVO (оптимизацию возвращаемого значения), и лишний move может им только помешать.","type":"ordered-list-item","key":"fn6gd"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Для C-библиотек: Всегда проверяйте результат на nullptr перед тем, как оборачивать его в unique_ptr.","type":"ordered-list-item","key":"anmj0"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"В заключении рассмотрим как сделать такую же обертку для ресурсов, которые представлены не указателями, а числами как, например, дескрипторы сокетов в Linux.","type":"unstyled","key":"330ca"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Это интересная задача, так как std::unique_ptr по умолчанию рассчитан на работу с указателями. Если ваш ресурс — это просто число int (как дескриптор файла или сокет в Linux), нам нужно немного схитрить.","type":"unstyled","key":"9atn4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Вот как сделать, чтобы unique_ptr занимал 8 байт и работал через RAII:","type":"unstyled","key":"7j6l7"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":531,"offset":0,"style":"ITALIC"}],"text":"struct FileDescriptorDeleter {\n struct pointer {\n int fd;\n pointer(int v) : fd(v) {}\n pointer(std::nullptr_t) : fd(-1) {}\n // unique_ptr использует этот оператор для проверки if (ptr)\n bool operator!=(std::nullptr_t) const { return fd != -1; }\n bool operator==(std::nullptr_t) const { return fd == -1; }\n // Позволяет достать int через .get()\n operator int() const { return fd; }\n };\n\n void operator()(pointer p) const {\n if (p.fd != -1) close(p.fd);\n }\n};","type":"unstyled","key":"asd5e"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":61,"offset":0,"style":"ITALIC"}],"text":"using UniqueFd = std::unique_ptr;","type":"unstyled","key":"8ueuk"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":300,"offset":0,"style":"ITALIC"}],"text":"int main() {\n UniqueFd empty; \n std::cout << \"Empty FD: \" << (int)empty.get() << std::endl; // Выведет -1\n\n UniqueFd fd(open(\"test.txt\", O_CREAT | O_RDWR, 0644));\n if (fd) {\n std::cout << \"Opened FD: \" << (int)fd.get() << std::endl;\n }\n return 0; // Закроет только валидный FD\n}","type":"unstyled","key":"7qcd7"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":22,"offset":7,"style":"ITALIC"},{"length":2,"offset":259,"style":"ITALIC"}],"text":"Внутри FileDescriptorDeleter необходимо определить структуру-обертку pointer над типом int, которая ведет себя как int и инициализируется значением -1. Эта структура должна имитировать поведение указателя. Для этого в ней необходимо объявить операторы == и !=. Внутри unique_ptr.h есть сравнение if (__ptr != nullptr). Компилятор увидит оператор != и успешно скомпилирует код. operator() используется при удалении unique_ptr для закрытия файла.","type":"unstyled","key":"95sbc"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"На что стоит обратить внимание:","type":"unstyled","key":"b6u71"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Отсутствие значения. По умолчанию unique_ptr считает, что отсутствие значения — это nullptr (или 0 для int). Но дескрипторы часто возвращают -1 при ошибке. Самый правильный способ — создать обертку типа pointer, которая инициализируется значением -1.","type":"ordered-list-item","key":"e3aa7"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Размер. Такой UniqueSocket будет занимать 4 или 8 байт (в зависимости от выравнивания), так как внутри он хранит только один int.","type":"ordered-list-item","key":"fh9n2"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Такую технику можно использовать с WinAPI, а также при работе с OpenGL, где ID текстур и буферов — это числа типа GLuint. Такие ресурсы нужно удалять через glDelete.","type":"unstyled","key":"2m62u"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"f8aet"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"2m273"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"c2ljt"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"9r714"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"bics0"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"c1bk6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"marker","key":"XTDHDxQawMc1iDEZQO5k"}],"entityMap":{}},"mentions":[]}