183

2.Реализуется схема сборки мусора, которая позволяет найти все указатели и указываемые объекты. Мы помечаем все указываемые объекты, на которые ссылается хотя бы один указатель, а затем удаляем все непомеченные указываемые объекты.

Подсчет ссылок используется не так часто, но наша задача прямо-таки создана для него. Сборка мусора

— тема, над которой нам предстоит основательно поразмыслить в главе 16.

Ведущие указатели

Невидимые указаьели чаще всего являются ведущими (то есть между указателем и указываемым объектом существует однозначное соответствие). С момента рассмотрения ведущих указателей прошло немало времени, поэтому я кратко напомню, что нам предстоит сделать для поддержания семантики ведущих указателей в нашей ситуации:

1. Когда указатель уничтожается, должен уничтожаться и указываемый объект.

2.Когда указатель копируется, должен копироваться и указываемый объект.

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

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

Уничтожение

Деструктор класса-предка должен быть виртуальным, а деструктор указателя должен уничтожать указываемый объект.

class Foo { public:

virtual ~Foo() {}

};

// В файле foo.cpp

class PFoo : public Foo { private:

Foo* foo; public:

virtual ~PFoo() { delete foo; }

};

Копирование

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

makeClone(). class Foo { protected:

Foo(const Foo&) {} public:

virtual Foo* makeClone() = 0; // Для копирования

};

// В файле foo.cpp

class PFoo : public Foo { private:

Foo* foo; public:

PFoo(Foo* f) : foo(f) {}