Сборщик мусора

@_stanislav · Регистрация: 16.08.2014

Студворк — интернет-сервис помощи студентам

Наткнулся на такие строки и прошу пояснить, что значит.

Во многих языках управление ресурсами в основном делегируется сбор
щику мусора. С++ также предлагает интерфейс сборки мусора, так что вы
можете подключить сборщик мусора.

In many languages, resource management is primarily delegated to a garbage collector. C++
also offers a garbage collection interface so that you can plug in a garbage collector

На чем основывается этот интерфейс? И как его подключить. (это про сторонние библиотеки что ли?)

@Renji · 01.12.2019, 23:32

Сообщение от Croessmah

Потому что у unique_ptr другая задача и другое устройство.
Но можно прикрутить самостоятельно.

Можно, если положить в std::unique_ptr<Parent> объект std::function, пинающий std::allocator<Child>::deallocate с нужным Child* в аргументах. Но это опять же серьезные накладные расходы.

Я вообще говоря ожидал что вместо этого полиморфный объект будет хранить виртуальный метод getMyAddress, через который и будет вытягиваться нужный аллокатору адрес Child*. А сам аллокатор будет не привязан к конкретному типу, а работать как обертка над malloc. Ну, второй пункт в polymorphic_allocator и правда сделали. А вот с первым затык.

IGPIGP · 01.12.2019, 23:46

_stanislav, GC -шные библиотеки "одевают" всё. Начинается от new и заканчивается одетыми указателями. Это аналоги смартпойнтеров. Напиши свою реализацию упрощённо и поймёшь. Вот ссыль (я смотрел по диагонали - вроде похоже на правду).
https://www.codeproject.com/Ar... on-library
Самый главный в С++ вопрос о GC звучит так: - А зачем (зачем - мягко сказано) тогда С++? (имхо). Когда ты напишешь систему поиска нужного объекта для удаления при выходе из области, - одну, вторую, третью, - поймёшь, - лучше на Жаве писать и не мучать ЖоЦэ.

@_stanislav · 02.12.2019, 05:06 **[ТС]**

Сообщение от IGPIGP

GC -шные библиотеки "одевают" всё.

в смысле? поясни пожалуйста.

Сообщение от IGPIGP

Самый главный в С++ вопрос о GC звучит так: - А зачем (зачем - мягко сказано) тогда С++? (имхо).

зачем тогда их одевают все, я не понял тебя.

IGPIGP · 02.12.2019, 10:59

Сообщение от _stanislav

в смысле? поясни пожалуйста.

В ходе обсуждения это было:

Сообщение от Undisputed

Алексей1153,
А как "одеть" указатель?

Одеть это обернуть. Умеый указатель это обёртка над указателем инкапсулирующая владение (управление временем жизни). Итератор - обёртка над указателем инкапсулирующая ряд операций среди которых главные - next (++) и previous (--). Для аллокации тоже нужна обёртка над соответствующим способом выделения/освобождения типа new/delete например. Она инкапсулирует управление памятью и добавляет способ хранения инфы о жизнеспособности (подсчёта ссылок, например) и такой зверь может называться (по желанию разраба) как то вроде GC_NEW. Я писал обобщённый функтор.

Сообщение от _stanislav

зачем тогда их одевают все, я не понял тебя.

С++ - кухня для приготовления тысячи блюд из мяса. Можно поставить в ней автомат для хотдогов и зачехлить всё остальное. Но лучше зачехлить ресторан и уйти в макдональдс. Или самому зачехлиться. Не в обиду Жава проггерам сказано. Потому что если нужны хотдоги или макбургеры, то глупо идти за ними в дорогой ресторан. Лучше тогда инструмент для этой задачи и использовать.

Добавлено через 12 минут

Не по теме:

зы это у всех такие тормоза с форумом или у меня только?

@Undisputed · 02.12.2019, 11:25

IGPIGP,
Так все дело в том что программист в случае стандартного gc "не одевает" указатель. Нет никаких обёрток.
http://www.stroustrup.com/C++11FAQ.html#gc-abi
По этой ссылке ничего подобного нет. Работа идёт по прежнему, только не думаем о delete (за то начинаем держать в голове правила работы с gc). Поэтому мне не понятно почему уже вторую страницу речь идёт про обёртки, в то время как тема о стандартном gc. Понимаю, сейчас зима, хочется одеться самому и одеть указатели, но указатели не мерзнут, можете не переживать

@Renji · 02.12.2019, 11:55

Сообщение от Undisputed

По этой ссылке ничего подобного нет.

Если программист никак указатель не одевает, как ему сообщить компилятору что он желает пользоваться GC? В настройках проекта задать? То есть, перенесли либу в сторонний проект/изменили ключи сборки программы и память потекла в три ручья, деструкторы перестали вызываться и код рассыпался как карточный домик?

А, стоп, вот же ответ - "There is no standard way of saying which alternative you prefer. Considered that a "quality of implementation" and a "programming environment" issue. ". То ли цитату первого апреля писали, то ли снизу постучали.

@Undisputed · 02.12.2019, 12:50

Renji,
Нормальному gc ничего сообщать обычно не нужно. На то он и gc, что бы отслеживать ресурсы без вмешательства программиста иначе от него скорее будет больше проблем чем пользы

@Renji · 02.12.2019, 13:04

Сообщение от Undisputed

Нормальному gc ничего сообщать обычно не нужно.

Нормальный gc обычно и присутствует всегда, а не в зависимости от настроек компилятора. Делать gc работающим по умолчанию никто не будет, потому что накладные расходы. Если "ну и что, что расходы, зато писанины меньше", так это в Питончик какой. А C++ вроде как стоит на идеологии "да пусть даже и больше писанины, главное что работать быстрее будет и экономнее". Таким образом, должен быть способ явно указать "хочу gc". Только я этого способа чего-то не вижу.

@Undisputed · 02.12.2019, 13:11

Renji,
Согласен, это должно быть без принуждений. Чтоб был вкл/выкл... А когда он вкл, что бы сам следил за ресурсами. Но думаю что все таки эта фича не для с++, даже с возможностью вкл/выкл

IGPIGP · 02.12.2019, 13:24

Сообщение от Undisputed

Нормальному gc ничего сообщать обычно не нужно.

Undisputed, приведите пример в С++ из вашего опыта.

Добавлено через 12 минут
Undisputed, вы читали текст по предложенной вами ссылке?
Тогда обратите внимание на предложенную там БС ссылку на реализацию:
https://dl.acm.org/citation.cf... 31.1542437

@Undisputed · 02.12.2019, 14:28

IGPIGP,
В С++ я gc не пользовался. Но это никак не меняет сути gc.
Не вижу кода по вашей ссылке. А на ФАГе Страуструпа код есть и указатели в нем не одетые.

IGPIGP · 02.12.2019, 14:44

Undisputed, ваш ответ содержит две несовместимые части. И не только в последнем посту. Но давайте с последнего начнём:

Сообщение от Undisputed

В С++ я gc не пользовался.

Так откуда же вы знаете о том, что GC в С++ должен а что нет. Это тема не о марсианах и GC в С++ известный вопрос. И вы сами показали осведомлённость предлагая ссылку

Сообщение от Undisputed

GPIGP,
Так все дело в том что программист в случае стандартного gc "не одевает" указатель. Нет никаких обёрток.
http://www.stroustrup.com/C++11FAQ.html#gc-abi

равно как и не понимание того, что в ней написано. Undisputed, что вами движет в этой теме и как вы определяете его суть когда пишете вторую и несовместимую с первой частью часть своего утверждения:

Сообщение от Undisputed

Но это никак не меняет сути gc.

??

Сообщение от Undisputed

Не вижу кода по вашей ссылке.

А там и нет его. Там написано о том, что библиотека не реализуется без внешних зависимостей так как компиляторы сегодне не поддерживают такую возможность. Это к тому о чём вы говорили.

Сообщение от Undisputed

А на ФАГе Страуструпа код есть и указатели в нем не одетые.

Да, там есть такое место. А что он там говорит, демонстрируя неодетые указатели вы прочли?

@Undisputed · 02.12.2019, 15:32

IGPIGP,
Я читал текст по той ссылке. И по контексту я понял что сборщик должен уметь работать с указателем, полученным через new, то есть не одетым указателем. Если вы считаете что я где-то ошибся, то прошу укажите конкретно на ошибку. А то шума много, но ничего конкретного нет

IGPIGP · 02.12.2019, 15:45

Сообщение от Undisputed

IGPIGP,
Я читал текст по той ссылке. И по контексту я понял что сборщик должен уметь работать с указателем, полученным через new, то есть не одетым указателем. Если вы считаете что я где-то ошибся, то прошу укажите конкретно на ошибку. А то шума много, но ничего конкретного нет

Undisputed, у меня английский на черте флюент или до неё в километре где-то. Но даже я вижу что сырые указатели БС показывает для демонстрации того зачем GC мог бы понадобиться. Он говорит о том, что человеку не нужно вручную выделять и освобождать память, что бы не вызвать у него грусть и уныние. А далее он говорит от том, что требуется создать базовый класс от которого унаследуют все безопасные указатели. GC будет возбуждаться только на них и оставаться холоден к небезопасным. То есть, только защищённый секс. Как бы ни обольстительно вели себя опасные и очень сырые указатели и даже некоторые унаследованные как я понял.

Сообщение от БС

strict: safely-derived and not safely-derived pointers may be treated differently, i.e. a garbage collector may be running and will ignore pointers that's not safely derived

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

@Undisputed · 02.12.2019, 15:55

IGPIGP,
1) Где вы там увидели про базовый класс?

2) Указатель это не классовый тип и унаследовать функционал класса он не может

@Renji · 02.12.2019, 16:01

Сообщение от IGPIGP

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

Там что-то очень расплывчатое уровня "хорошо быть богатым и здоровым".

И не заведется оно на классах.
Делаем сборщик мусора на основе подсчета ссылок, прям как в shared_ptr. Объект A ссылается на объект B, а объект B ссылается обратно на A. Где эти A и B лежат никто уже и не знает, но счетчик ссылок то не нулевой! Утечка памяти.
Делаем сборщик мусора считающий достижимость объекта из указателя в локальных и глобальных переменных. А откуда умному указателю знать локальный он или в динамической памяти лежит? Особенно, если он в другой объект вложен. В рамках C++ затея получается еще более сомнительной.

IGPIGP · 02.12.2019, 16:15

Сообщение от Undisputed

Указатель это не классовый тип и унаследовать функционал класса он не может

Undisputed, указатель можно написать. Вы shared_ptr от сырого указателя отличаете?

Сообщение от Renji

И не заведется оно на классах.

Заведтся, но сырые нужно в покое оставить иначе куча кода в мусор. На это даже сумасшедший не пойдёт.

Добавлено через 2 минуты

Сообщение от Renji

Там что-то очень расплывчатое уровня "хорошо быть богатым и здоровым".

Ну и я о том. Очень похоже на то, что человек пытается сказать:-"Смотрите во что вы меня втягтваете!"

@Undisputed · 02.12.2019, 16:16

IGPIGP,
Отличаю. Так где там про базовый класс то написано?

@_stanislav · 02.12.2019, 17:01 **[ТС]**

Undisputed, я думаю ты правильно понял работу стандартного GC.

Добавлено через 13 секунд
солидарен.

IGPIGP · 02.12.2019, 18:51

Сообщение от _stanislav

понял работу стандартного GC

В стандарте есть про GC?

Новые блоги и статьи Все статьи Все блоги /
Вангую, что это не пройдёт модерацию, и на неделе я запущу свой сервер. Hrethgir 19.07.2026 Эта публикация сейчас в песочнице и ждёт приглашения. https:/ / habr. com/ ru/ sandbox/ 295048/ начало и оглавление - Как «пернатого» заставить осваивать новые горизонты опыта через масштабирование. . .	сукцессия 33. открытые вопросы от клауде anaschu 19.07.2026 "Что накопилось за эту часть А — тринадцать правок, из которых шесть пришли из ваших вопросов и каждая оказалась реальной ошибкой, а не калибровкой: односторонний симбиоз, отсутствующий листопад,. . .	32 сукцессия anaschu 19.07.2026 сукцессия 28‑мерное ядро стабилизировано Коллеги, фиксирую разбор инженерных правок и их изоморфную проекцию на экономику, меметику и половой отбор. Модель теперь не «подкручивает» сходимость —. . .	сукцессия 31: модель микоризы - это модель ещё нескольких явлений, социальных и экономических anaschu 18.07.2026 Теория «Всего»: апдейт v1. 1. 2 — 28‑мерное ядро стабилизировано Коллеги, фиксирую разбор инженерных правок и их изоморфную проекцию на экономику, меметику и половой отбор. Модель теперь не. . .
сукцессия 30. Массив проверяющих друг друга моделей anaschu 18.07.2026 Архитектура сети взаимопроверяющих моделей микоризной сукцессии (v2. 0) Развитие тензорного ОДУ-ядра и создание кросс-платформенного калибровочного полигона Уважаемые коллеги! В продолжение. . .	Грибы - это женщины, деревья - это мужчины. Анти инь янь для союза мужчины и женщины. anaschu 18.07.2026 ГЛАВНЫЙ НАУЧНО-ФИЛОСОФСКИЙ ВЫВОД: Сексуально-Репродуктивный Капитализм против Государства Моногамии Коллеги, мы вышли на финишную прямую 20-мерного ОДУ-моделирования вековой сукцессии (ветка. . .	Текстовый слайдер с нумерацией страниц и кроссбраузерность. russiannick 18.07.2026 Один мой друг написал текстовый слайдер с нумерацией страниц. Сегодня я расскажу как он умудрился подружить его с кроссбраузерностью. Очевидно сложно угодить с шириной каждому браузеру. Один крадет. . .	Грибы - это мемы, дерево - это человек. Применение микоризной модели к теории меметики Докинза. anaschu 18.07.2026 Меметический изоморфизм теории «всего»: Грибная сукцессия как модель эволюции идей Докинза Базовый код системы ОДУ микоризной сукцессии описывает не просто биологию, а универсальную. . .

@_stanislav "C with Classes" 2022 / 1404 / 523 Регистрация: 16.08.2014 Сообщений: 5,885 Записей в блоге: 1

	Сборщик мусора 01.12.2019, 19:38. Показов 10346. Ответов 54 Метки нет (Все метки) Наткнулся на такие строки и прошу пояснить, что значит. Во многих языках управление ресурсами в основном делегируется сбор щику мусора. С++ также предлагает интерфейс сборки мусора, так что вы можете подключить сборщик мусора. In many languages, resource management is primarily delegated to a garbage collector. C++ also offers a garbage collection interface so that you can plug in a garbage collector На чем основывается этот интерфейс? И как его подключить. (это про сторонние библиотеки что ли?) 0

IGPIGP Комп_Оратор) $Эксперт по математике/физике$ 9007 / 4708 / 630 Регистрация: 04.12.2011 Сообщений: 14,003 Записей в блоге: 16
	01.12.2019, 23:46
	_stanislav, GC -шные библиотеки "одевают" всё. Начинается от new и заканчивается одетыми указателями. Это аналоги смартпойнтеров. Напиши свою реализацию упрощённо и поймёшь. Вот ссыль (я смотрел по диагонали - вроде похоже на правду). https://www.codeproject.com/Ar... on-library Самый главный в С++ вопрос о GC звучит так: - А зачем (зачем - мягко сказано) тогда С++? (имхо). Когда ты напишешь систему поиска нужного объекта для удаления при выходе из области, - одну, вторую, третью, - поймёшь, - лучше на Жаве писать и не мучать ЖоЦэ. 1

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	02.12.2019, 11:25
	IGPIGP, Так все дело в том что программист в случае стандартного gc "не одевает" указатель. Нет никаких обёрток. http://www.stroustrup.com/C++11FAQ.html#gc-abi По этой ссылке ничего подобного нет. Работа идёт по прежнему, только не думаем о delete (за то начинаем держать в голове правила работы с gc). Поэтому мне не понятно почему уже вторую страницу речь идёт про обёртки, в то время как тема о стандартном gc. Понимаю, сейчас зима, хочется одеться самому и одеть указатели, но указатели не мерзнут, можете не переживать 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	02.12.2019, 12:50
	Renji, Нормальному gc ничего сообщать обычно не нужно. На то он и gc, что бы отслеживать ресурсы без вмешательства программиста иначе от него скорее будет больше проблем чем пользы 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	02.12.2019, 13:11
	Renji, Согласен, это должно быть без принуждений. Чтоб был вкл/выкл... А когда он вкл, что бы сам следил за ресурсами. Но думаю что все таки эта фича не для с++, даже с возможностью вкл/выкл 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	02.12.2019, 14:28
	IGPIGP, В С++ я gc не пользовался. Но это никак не меняет сути gc. Не вижу кода по вашей ссылке. А на ФАГе Страуструпа код есть и указатели в нем не одетые. 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	02.12.2019, 15:32
	IGPIGP, Я читал текст по той ссылке. И по контексту я понял что сборщик должен уметь работать с указателем, полученным через new, то есть не одетым указателем. Если вы считаете что я где-то ошибся, то прошу укажите конкретно на ошибку. А то шума много, но ничего конкретного нет 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	02.12.2019, 15:55
	IGPIGP, 1) Где вы там увидели про базовый класс? 2) Указатель это не классовый тип и унаследовать функционал класса он не может 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	02.12.2019, 16:16
	IGPIGP, Отличаю. Так где там про базовый класс то написано? 0

@_stanislav "C with Classes" 2022 / 1404 / 523 Регистрация: 16.08.2014 Сообщений: 5,885 Записей в блоге: 1
	02.12.2019, 17:01 [ТС]
	Undisputed, я думаю ты правильно понял работу стандартного GC. Добавлено через 13 секунд солидарен. 0