6

Как ?

Какие фичи для упрощения GC есть в редакции С++11 ?

Основы управления памятью в С++ (переопределение new/delete для классов, для которых мы хотим странного):

Сборка мусора:

A garbage collector for C and C++ - Hans Boehm

9
  • 7
    Чисто не там где убирают, а там где не сорют. 15 дек 2016 в 12:48
  • Сборщик мусора - насколько я понимаю - библиотека. это в с# сборщик интегрирован, а у с++ штатного нету. И с++11 штатного так же нету. Вот какие функции есть у вашей мусорной библиотеки - такими и располагаете.
    – nick_n_a
    15 дек 2016 в 12:49
  • 1
    @nick_n_a, а как же shared_ptr и компания?
    – Qwertiy
    15 дек 2016 в 12:51
  • Их очень мало и они умещаются в одну страницу. Пока, GC для C++ в стандарте нет.
    – ixSci
    15 дек 2016 в 13:28
  • 2
    @Dmitry Ponyatov Нет никаких средств в C++ для упрощения создания GC. Проблема состоит в том, что нужно менять сам язык, так как необходимо будет менять идеологию работы с ресурсами в клиентском коде. Поэтому если вам так нужен GC, то имейте дело с C++/CLI. 15 дек 2016 в 13:59

1 ответ 1

9

В C++ нет и не может быть средств сборки мусора. Вместо этого можно использовать умные указатели. Наиболее универсальный из них - shared_ptr. В конструктор умного указателя нужно передать указатель на уже выделенную память, и больше нигде этот указатель использовать нельзя. При копировании объекта shared_ptr, при передаче его как параметр функции увеличивается внутренний счётчик объектов, имеющих в себе один и тот же указатель. Как только последний объект shared_ptr уничтожается (выходит из области видимости), автоматически освобождается память, на которую ссылается внутренний указатель shared_ptr. Вот пример использования.

void foo()
{
    //Создаём умный указатель, передав ему обычный указатель на массив из 10 целых чисел
    std::shared_ptr<int> x(new int(10));
    //Вызываем функцию, которая использует этот указатель. На стеке создаётся копия объекта x, которая указывает на ту же память
    bar(x);
    //Заканчивается область видимости, удаляется x, освобождается память по данному указателю
}
void bar(std::shared_ptr<int> y)
{
    //Функция работает со своей копией объекта
    y[5] = 10;
    //Область видимости закочилась, объект y удаляется, но так как есть ещё один такой же умный указатель, память не освобождается
}
8
  • 3
    Стоит добавить, что shared_ptr имеет недостаток: кольцевые ссылки требуют ручного разрыва цикла (что вынуждает всё равно заботиться о точном моменте уничтожения структуры данных).
    – VladD
    15 дек 2016 в 17:20
  • 1
    @VladD, weak_ptr 15 дек 2016 в 18:47
  • 1
    @yrHeTaTeJlb weak_ptr умеет находить и разрывать кольцевые ссылки?
    – Cerbo
    15 дек 2016 в 19:39
  • @yrHeTaTeJlb: Ну, во-первых, этого нет в ответе, а во-вторых, добавляется задача правильной расстановки типов указателей, чтобы нужная структура данных случайно не оказалось без сильных ссылок. Это вполне может оказаться нетривиально для нетривиальных отношений между объектами (то есть, там где нету самоочевидного дерева).
    – VladD
    15 дек 2016 в 21:31
  • 1
    @Cerbo, находить - нет, разрывать - да 16 дек 2016 в 7:13

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.