Если один конструктор вызывает другой, то сначала выполняется вызываемый конструктор, а потом вызывающий.
В отличии от некоторых других языков программирования в C# отсутствует конструктор копии, но его можно создать самостоятельно. Например, вышеприведенный класс может быть дополнен таким конструктором:
public Figure(Figure sourceFigure)
{
sType = sourceFigure.sType; posX = sourceFigure.posX; posY = sourceFigure.posY;
}
Реализованный конструктор копии в сочетании с ключевым словом this позволяет улучшить метод Duplicate следующим образом:
public Figure Duplicate()
{
return new Figure(this);
}
Применение конструктора копий целесообразнее, чем просто конструктора с параметрами, т.к. по определению этот конструктор должен полностью копировать все члены-данные существующего объекта, в то время, как любой конструктор с параметрами может использовать только часть членов-данных класса.
3.8 Деструкторы
В языке С# имеется возможность определить метод, который будет вызываться непосредственно перед окончательным уничтожением объекта. Такой метод называется деструктором и может использоваться в ряде особых случаев.
Формальная схема деструктора имеет вид:
~<имя_класса>()
{
<тело деструктора>
}
Деструктор вызывается непосредственно перед “сборкой мусора”. Это означает, что заранее нельзя знать, когда именно следует вызывать деструктор1. Кроме того, программа может завершиться до того, как произойдет “сборка мусора”, а следовательно, деструктор может быть вообще не вызван.
Как правило, деструктор должен воздействовать только на переменные экземпляра, определенные в его классе.
1 Существует возможность принудительно выполнить “сборку мусора”, вызвав метод Collect, но в большинстве случаев этого следует избегать, потому что это может привести к проблемам с производительностью.
55
Деструктор не имеет возвращаемого параметра, спецификатора доступа, списка принимаемых параметров и не может быть перегружен.
В силу редкого применения деструкторов в С#, для класса Figure описывать деструктор не будем.
3.9 Инициализаторы объектов
Задание начальных свойств объекта возможно при его создании, даже если класс не имеет конструкторов с параметрами. Для этого используется структура с инициализаторами, формальный вид которой:
new <идентификатор класса> {<идентификатор 1>=<значение 1> [,<идентификатор 2>=<значение 2> ...]>};
где
<идентификатор N> – идентификатор поля или свойства;
<значение N> – значение, присваиваемое полю или свойству.
При создании объекта с помощью инициализаторов сначала вызывается конструктор по умолчанию, а затем указанным полям и свойствам присваиваются заданные значения. Порядок следования полей значения не имеет.
Пример: создания объекта класса Figure с начальным значением posY равным 10 с помощью инициализаторов
Figure firstFigure = new Figure {posY=10}; // sType="Не задан", posX=1, posY=10
Также блок инициализаторов может указываться после вызова конструктора. В этом случае сначала выполняется указанный конструктор, а потом блок инициализаторов. Например:
Figure firstFigure = new Figure("Круг") {posY=10}; // sType="Круг", posX=1, posY=10
3.10 Свойства
Свойство – это программная конструкция, обладающая следующими характеристиками:
свойство объединяет поле с методами доступа к нему, что обеспечивает контроль за правильностью работы с ним и создание в целом более надежного кода;
свойство выглядит для использующего его как поле. Это упрощает синтаксис за счет легкого использования свойства в выражениях и задания значения свойства с помощью операторов присваивания.
Формальная схема описания свойства имеет вид:
56
[<доступ>] <тип> <идентификатор> {get {<код метода достура get>} set {<код метода достура set>}}
где:
<код метода достура get> – код, определяющий действия, выполняемые при запросе значения свойства;
<код метода достура set> – код, определяющий действия, выполняемые при установке значения свойства.
Метод доступа get должен содержать оператор return, определяющий зна-
чение, возвращаемое методом get при запросе значения свойства.
Метод доступа set имеет неявно заданный параметр value, который позволяет указать значение, присваиваемое свойству.
Однако свойство само по себе не хранит никакого значения, поэтому оно должно либо быть соотнесено с некоторым полем, объявленным в классе (как правило, с спецификатором доступа private), либо быть расчетным на основе других членов класса.
Пример: перепишем класс Figure с применением свойств. Будут использованы следующие методы именования идентификаторов: поля класса начинаются с символа “_”; свойства – идентификатор поля без символа “_”. На положение фигуры накладывается ограничение: координаты не могут быть отрицательными.
class Figure
{
private string _sType; private int _posX, _posY; public string sType
{
get { return _sType; }
set { if (value.Trim() != "") _sType = value.Trim(); }
}
public int posX
{
get { return _posX; }
set { if (value >= 0) _posX = value; }
}
public int posY
{
get { return _posY; }
set { if (value >= 0) _posY = value; }
}
public Figure Duplicate()
{
return new Figure(this);
}
public Figure() : this("Не задан",1,1)
{
}
public Figure(string n_sType) : this(n_sType,1,1)
{
}
57
public Figure(string n_sType, int n_posX, int n_posY)
{
_sType = n_sType.Trim() != "" ? n_sType.Trim() : "Не задан";
_posX = n_posX >= 0 ? n_posX : 1; _posY = n_posY >= 0 ? n_posY : 1;
}
public Figure(Figure sourceFigure)
{
_sType = sourceFigure._sType; _posX = sourceFigure._posX; _posY = sourceFigure._posY;
}
}
Figure firstFigure = new Figure();
//Теперь этот оператор снова допустим, но контроль ввода также
//проводится
firstFigure.sType = "Квадрат";
Если при описании свойства не указан метод set, то свойство доступно только для чтения, а если метод get – то только для записи.
Пример: класс, описывающий квадрат, с расчетным свойством, работающим по принципу “только для записи”.
class Square
{
private double _side;
public double side // сторона
{
get { return _side; }
set { if (value > 0) _side = value; }
}
public double area // площадь
{
get { return Math.Pow(_side, 2); }
}
}
Методы get и set по умолчанию имеют такой же уровень доступа, как и само свойство (т.е. в большинстве случаев public). Однако им могут быть указаны собственные спецификаторы доступа. Например, если требуется, чтобы значение свойства могло быть изменено только из самого класса, то свойство может быть описано следующим образом:
class MyClass
{
public int p { get {...} private set{...} }
}
В классе могут быть объявлены автоматически реализуемые свойства. Такие свойства не имеют реализации методов get и set и не требуют явного указания
58