Сборка мусора” и применение деструкторов

Как было показано выше, при использовании оператора new свободная память для создаваемых объектов динамически распределяется из доступной буферной об­ласти оперативной памяти. Разумеется, оперативная память не бесконечна, и поэто­му свободно доступная память рано или поздно исчерпывается. Это может привести к неудачному выполнению оператора new из-за нехватки свободной памяти для соз­дания требуемого объекта. Именно по этой причине одной из главных функций лю­бой схемы динамического распределения памяти является освобождение свободной памяти от неиспользуемых объектов, чтобы сделать ее доступной для последующего перераспределения. Во многих языках программирования освобождение распреде­ленной ранее памяти осуществляется вручную. Например, в C++ для этой цели слу­жит оператор delete. Но в C# применяется другой, более надежный подход: "сборка мусора".

Система "сборки мусора" в C# освобождает память от лишних объектов автома­тически, действуя незаметно и без всякого вмешательства со стороны программиста. "Сборка мусора" происходит следующим образом. Если ссылки на объект отсутству­ют, то такой объект считается ненужным, и занимаемая им память в итоге освобож­дается и накапливается. Эта утилизированная память может быть затем распределена для других объектов.

"Сборка мусора" происходит лишь время от времени по ходу выполнения про­граммы. Она не состоится только потому, что существует один или более объектов, которые больше не используются. Следовательно, нельзя заранее знать или предпо­ложить, когда именно произойдет "сборка мусора".

Деструкторы

В языке C# имеется возможность определить метод, который будет вызываться не­посредственно перед окончательным уничтожением объекта системой "сборки му­сора". Такой метод называется деструктором и может использоваться в ряде особых случаев, чтобы гарантировать четкое окончание срока действия объекта. Например, деструктор может быть использован для гарантированного освобождения системного ресурса, задействованного освобождаемым объектом. Следует, однако, сразу же под­черкнуть, что деструкторы — весьма специфические средства, применяемые только в редких, особых случаях. И, как правило, они не нужны. Но здесь они рассматривают­ся вкратце ради полноты представления о возможностях языка С#.

Ниже приведена общая форма деструктора:

~имя_ класса ()

{

// код деструктора

}

где имя_класса означает имя конкретного класса. Следовательно, деструктор объяв­ляется аналогично конструктору, за исключением того, что перед его именем указы­вается знак "тильда" (~). Обратите внимание на то, что у деструктора отсутствуют воз­вращаемый тип и передаваемые ему аргументы.

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

Следует, однако, иметь в виду, что деструктор вызывается непосредственно перед "сборкой мусора". Он не вызывается, например, в тот момент, когда переменная, со­держащая ссылку на объект, оказывается за пределами области действия этого объек­та. (В этом отношении деструкторы в C# отличаются от деструкторов в C++, где они вызываются в тот момент, когда объект оказывается за пределами области своего дей­ствия.) Это означает, что заранее нельзя знать, когда именно следует вызывать деструк­тор. Кроме того, программа может завершиться до того, как произойдет "сборка му­сора", а следовательно, деструктор может быть вообще не вызван.

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

Листинг 6.12

// Продемонстрировать применение деструктора.

 

using System;

 

class Destruct

{

public int x;

 

public Destruct(int i)

{

x = i;

}

 

// Вызывается при утилизации объекта.

~Destruct()

{

Console.WriteLine("Destructing " + x);

}

 

// Создает объект и тут же уничтожает его.

public void Generator(int i)

{

Destruct o = new Destruct(i);

}

 

}

 

class DestructDemo

{

static void Main()

{

int count;

 

Destruct ob = new Destruct(0);

 

/* А теперь создать большое число объектов.

В какой-то момент произойдет “сборка мусора”.

Примечание: для того, чтобы активизировать

“сборку мусора”, возможно придется увеличить

число создаваемых объектов. */

 

for(count=1; count < 100000; count++)

ob.Generator(count);

 

Console.WriteLine("Готово!");

}

}

Эта программа работает следующим образом. Конструктор инициализирует пере­менную х известным значением. В данном примере переменная х служит в качестве идентификатора объекта. А деструктор выводит значение переменной х, когда объект утилизируется. Особый интерес вызывает метод Generator(), который создает и тут же уничтожает объект типа Destruct. Сначала в классе DestructDemo создается ис­ходный объект ob типа Destruct, а затем осуществляется поочередное создание и уни­чтожение 100 тыс. объектов. В разные моменты этого процесса происходит "сборка му­сора". Насколько часто она происходит - зависит от нескольких факторов, в том числе от первоначального объема свободной памяти, типа используемой операционной си­стемы и т.д. Тем не менее в какой-то момент начинают появляться сообщения, форми­руемые деструктором. Если же они не появятся до окончания программы, т.е. до того момента, когда будет выдано сообщение "Готово!", попробуйте увеличить число созда­ваемых объектов, повысив предельное количество подсчитываемых шагов в цикле for.

И еще одно важное замечание: метод WriteLine() вызывается в деструкторе - Destruct() исключительно ради наглядности данного примера его использования. Как правило, деструктор должен воздействовать только на переменные экземпляра, определенные в его классе.

В силу того что порядок вызова деструкторов не определен точно, их не следует применять для выполнения действий, которые должны происходить в определенный момент выполнения программы. В то же время имеется возможность запрашивать "сборку мусора", как будет показано далее при рассмотрении библио­теки классов С#. Тем не менее инициализация "сборки мусора" вручную в большин­стве случаев не рекомендуется, поскольку это может привести к снижению эффектив­ности программы. Кроме того, у системы "сборки мусора" имеются свои особенно­сти - даже если запросить "сборку мусора" явным образом, все равно нельзя заранее знать, когда именно будет утилизирован конкретный объект.

Ключевое слово this

Прежде чем завершать эту главу, необходимо представить ключевое слово this. Когда метод вызывается, ему автоматически передается ссылка на вызывающий объект, т.е. тот объект, для которого вызывается данный метод. Эта ссылка обозна­чается ключевым словом this. Следовательно, ключевое слово this обозначает именно тот объект, по ссылке на который действует вызываемый метод. Для того чтобы стало яснее назначение ключевого слова this, рассмотрим сначала пример программы, в которой создается класс Rect, инкапсулирующий ширину и высо­ту прямоугольника и включающий в себя метод Area(), возвращающий площадь прямоугольника.

Листинг 6.13

using System;

 

class Rect

{

public int Width;

public int Height;

 

public Rect(int w, int h)

{

Width = w;

Height = h;

}

 

public int Area()

{

return Width * Height;

}

}

 

class UseRect

{

static void Main()

{

Rect r1 = new Rect(4, 5);

Rect r2 = new Rect(7, 9);

 

Console.WriteLine("Площадь прямоугольника r1: " + r1.Area());

 

Console.WriteLine("Площадь прямоугольника r2: " + r2.Area());

}

}

 

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

return Width * Height;

в методе Area() означает, что копии переменных Width и Height, связанные с вы­зывающим объектом, будут перемножены, а метод возвратит их произведение. Но тот же самый оператор можно написать следующим образом.

return this.Width * this.Height;

В этом операторе ключевое слово this обозначает объект, для которого вызван метод Area(). Следовательно, в выражении this.Width делается ссылка на копию переменной Width данного объекта, а в выражении this.Height - ссылка на копию переменной Height этого же объекта. Так, если бы метод Area() был вызван для объ­екта х, то ключевое слово this в приведенном выше операторе обозначало бы ссылку на объект х. Написание оператора без ключевого слова this представляет собой не более чем сокращенную форму записи.

Ключевое слово this можно также использовать в конструкторе. В этом случае оно обозначает объект, который конструируется. Например, следующие операторы в ме­тоде Rect()

Width = w;

Height = h;

можно было бы написать таким образом.

this.Width = w;

this.Height = h;

Разумеется, такой способ записи не дает в данном случае никаких преимуществ. Ради примера ниже приведен весь класс Rect, написанный с использованием ссыл­ки this.

Листинг 6.14

using System;

 

class Rect

{

public int Width;

public int Height;

 

public Rect(int w, int h)

{

this.Width = w;

this.Height = h;

}

 

public int Area()

{

return this.Width * this.Height;

}

}

 

class UseRect

{

static void Main()

{

Rect r1 = new Rect(4, 5);

Rect r2 = new Rect(7, 9);

 

Console.WriteLine("Площадь прямоугольника r1: " + r1.Area());

 

Console.WriteLine("Площадь прямоугольника r2: " + r2.Area());

 

}

}

В действительности ключевое слово this не используется приведенным выше способом в программировании на С#, поскольку это практически ничего не дает, да и стандартная форма записи намного проще и понятнее. Тем не менее ключевому сло­ву this можно найти не одно полезное применение. Например, в синтаксисе C# допу­скается называть параметр или локальную переменную тем же именем, что и у пере­менной экземпляра. В этом случае имя локальной переменной скрывает переменную экземпляра. Для доступа к скрытой переменной экземпляра и служит ключевое слово this. Например, приведенный ниже код является правильным с точки зрения синтак­сиса C# способом написания конструктора Rect().

public Rect(int Width, int Height)

{

this.Width = Width;

this.Height = Height;

}

В этом варианте написания конструктора Rect() имена параметров совпадают с именами переменных экземпляра, а следовательно, скрывают их. Но для "обнаруже­ния" скрытых переменных служит ключевое слово this.