Полное руководство. С# 4.0

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

Оперативная память не бесконечна, и поэтому вполне возможно, что оператору new не удастся распределить память для объекта из-за нехватки имеющейся оператив ной памяти. В этом случае возникает исключительная ситуация во время выполнения (подробнее об обработке исключительных ситуаций речь пойдет в главе 13). В приме рах программ, приведенных в этой книге, ситуация, связанная с исчерпанием опера тивной памяти, не учитывается, но при написании реальных программ такую возмож ность, вероятно, придется принимать во внимание.

Применение оператора new вместе с типами значений

В связи с изложенным выше возникает резонный вопрос: почему оператор new не целесообразно применять к переменным таких типов значений, как int или float? В C# переменная типа значения содержит свое собственное значение. Память для хра нения этого значения выделяется автоматически во время прогона программы. Следо вательно, распределять память явным образом с помощью оператора new нет никакой необходимости. С другой стороны, в переменной ссылочного типа хранится ссылка на объект, и поэтому память для хранения этого объекта должна распределяться динами чески во время выполнения программы.

Благодаря тому что основные типы данных, например int или char, не преобра зуются в ссылочные типы, существенно повышается производительность программы. Ведь при использовании ссылочного типа существует уровень косвенности, повышаю щий издержки на доступ к каждому объекту. Такой уровень косвенности исключается при использовании типа значения.

Но ради интереса следует все же отметить, что оператор new разрешается исполь зовать вместе с типами значений, как показывает следующий пример. int i = new int;

При этом для типа int вызывается конструктор, инициализирующий по умол чанию переменную i нулевым значением. В качестве примера рассмотрим такую программу. // Использовать оператор new вместе с типом значения. using System; class newValue { static void Main { int i = new int; // инициализировать переменную i нулевым значением Console.WriteLine("Значение переменной i равно: " + i); } }

Выполнение этой программы дает следующий результат. Значение переменной i равно: 0

Как показывает результат выполнения данной программы, переменная i инициа лизируется нулевым значением. Напомним, что если не применить оператор new, то переменная i окажется неинициализированной. Это может привести к ошибке при попытке воспользоваться ею в операторе, содержащем вызов метода WriteLine, если предварительно не задать ее значение явным образом.

В общем, обращение к оператору new для любого типа значения приводит к вызову конструктора, используемого по умолчанию для данного типа. Но в этом случае па мять динамически не распределяется. Откровенно говоря, в программировании обыч но не принято пользоваться оператором new вместе с типами значений.

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

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

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