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

@_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?

Новые блоги и статьи Все статьи Все блоги /
Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .	Как ИИ начал спорить и врать (возможно почуяв опасность для себя от индустрии - уход от электроники). Hrethgir 04.08.2026 Недельный диалог, на фоне событий с НПЗ. Да, из спирта можно получать бензин, и это не сложно. Но потом в схеме я решил избавиться от насоса, при этом полностью сделав контроль подачи спирта в. . .	Термопринтер QR701 Argus19 03.08.2026 Термопринтер QR701 Купил два термопринтера QR701. На сэлф-тесте написано: Language: PC936 (GB18030). Что означает, что принтеры могут печатать только латиницу и китайские иероглифы. Так же. . .
Создание формы заимствованного документа Maks 03.08.2026 Задача: Необходимо создать собственную форму заимствованного документа. На форме должен быть реквизит "Покупатель", а также табличная часть со следующими реквизитами: - Расчетный счет покупателя. . .	Задача предоставления скидок покупателям Maks 03.08.2026 Задача: В документе "Продажи" необходимо реализовать функционал предоставления скидок покупателям. Скидка должна автоматически рассчитываться и подставляться в соответствующее поле при выборе. . .	Почему SEO не начинается с ключевых слов: что проверить до написания текстов Neotwalker 01.08.2026 Когда владельцу сайта предлагают заняться SEO, первым шагом часто становится сбор запросов и написание текстов. Логика кажется понятной: 1. Находим ключевые слова. 2. Добавляем их на. . .	Знание — сила: Доктрина интенциональности знаний, углубление в формулу Hrethgir 01.08.2026 https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11957&stc=1&d=1785567302 Знаменитый афоризм Фрэнсиса Бэкона «Знание — сила» (Scientia potentia est) в массовой культуре принято понимать. . .

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

	Сборщик мусора 01.12.2019, 19:38. Показов 10371. Ответов 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