Полное руководство. С# 4.0
Шрифт:
Вот к какому результату приводит выполнение этого кода. Первоначальное значение ob.МуРrор: 0 Текущее значение ob.МуРrор: 100 Попытка присвоить значение -10 свойству ob.МуРrор Текущее значение ob.МуРrор: 100
Рассмотрим приведенный выше код более подробно. В этом коде определяется одно закрытое поле prop и свойство MyProp, управляющее доступом к полю prop. Как пояснялось выше, само свойство не определяет место в памяти для хранения поля, а только управляет доступом к полю. Кроме того, поле prop является закрытым, а зна чит, оно доступно только через свойство MyProp.
Свойство MyProp указано как public, а следовательно, оно доступно из кода за пределами его класса. И в этом есть своя логика, поскольку данное свойство обеспе чивает доступ к полю prop, которое является закрытым. Аксессор get этого свойства просто возвращает значение из поля prop, тогда как аксессор set устанавливает зна чение в поле prop в том и только в том случае,
Тип свойства MyProp определяется как для чтения, так и для записи, поскольку оно позволяет читать и записывать данные в базовое поле. Тем не менее свойства можно создавать доступными только для чтения или только для записи. Так, если требуется создать свойство, доступное только для чтения, то достаточно определить единствен ный аксессор get. А если нужно создать свойство, доступное только для записи, то достаточно определить единственный аксессор set.
Воспользуемся свойством для дальнейшего усовершенствования отказоустойчивого массива. Как вам должно быть уже известно, у всех массивов имеется соответствую щее свойство длины (Length). До сих пор в классе FailSoftArray для этой цели ис пользовалось открытое целочисленное поле Length. Но это далеко не самый лучший подход, поскольку он допускает установку значений, отличающихся от длины отказоу стойчивого массива. (Например, программист, преследующий злонамеренные цели, может умышленно ввести неверное значение в данном поле.) Для того чтобы испра вить это положение, превратим поле Length в свойство "только для чтения", как по казано в приведенном ниже, измененном варианте класса FailSoftArray. // Добавить свойство Length в класс FailSoftArray. using System; class FailSoftArray { int[] a; // ссылка на базовый массив int len; // длина массива — служит основанием для свойства Length public bool ErrFlag; // обозначает результат последней операции // Построить массив заданного размера. public FailSoftArray(int size) { a = new int[size]; len = size; } // Свойство Length только для чтения. public int Length { get { return len; } } // Это индексатор для класса FailSoftArray. public int this[int index] { // Это аксессор get. get { if(ok(index)) { ErrFlag = false; return a[index]; } else { ErrFlag = true; return 0; } } // Это аксессор set. set { if(ok(index)) { a [index] = value; ErrFlag = false; } else ErrFlag = true; } } // Возвратить логическое значение true, если // индекс находится в установленных границах. private bool ok(int index) { if(index >= 0 & index < Length) return true; return false; } } // Продемонстрировать применение усовершенствованного // отказоустойчивого массива. class ImprovedFSDemo { static void Main { FailSoftArray fs = new FailSoftArray(5); int x; // Разрешить чтение свойства Length. for(int i=0; i < fs.Length; i++) fs[i] = i*10; for(int i=0; i < fs.Length; i++) { x = fs[i]; if(x != -1) Console.Write(x + " "); } Console.WriteLine; // fs.Length = 10; // Ошибка, запись запрещена! } }
Теперь Length — это свойство, в котором местом для хранения данных служит закрытая переменная len. А поскольку в этом свойстве определен единственный ак- ceccop get, то оно доступно только для чтения. Это означает, что значение свойства Length можно только читать, но не изменять. Для того чтобы убедиться в этом, по пробуйте удалить символы комментария в начале следующей строки из приведенного выше кода. // fs.Length = 10; // Ошибка, запись запрещена!
При попытке скомпилировать данный код вы получите сообщение об ошибке, уведомляющее о том, что Length является свойством, доступным только для чтения.
Добавлением свойства Length в класс FailSoftArray усовершенствование рас сматриваемого здесь примера кода с помощью свойств далеко не исчерпывается. Еще одним членом данного класса, подходящим для превращения в свойство, служит пере менная ErrFlag, поскольку ее применение должно быть ограничено только чтением. Ниже приведен окончательно усовершенствованный вариант класса FailSoftArray, в котором создается свойство Error, использующее в качестве места для хранения дан ных исходную переменную ErrFlag, ставшую теперь закрытой. // Превратить переменную ErrFlag в свойство. using System; class FailSoftArray { int[] a; // ссылка на базовый массив int len; // длина массива bool ErrFlag; // теперь это частная переменная, // обозначающая результат последней операции // Построить массив заданного размера. public FailSoftArray(int size) { a = new int[size]; len = size; } // Свойство Length только для чтения. public int Length { get { return len; } } // Свойство Error только для чтения. public bool Error { get { return ErrFlag; } } // Это индексатор для класса FailSoftArray. public int this[int index] { // Это аксессор get. get { if(ok(index)) { ErrFlag = false; return a[index]; } else { ErrFlag = true; return 0; } } // Это аксессор set. set { if(ok(index)) { a[index] = value; ErrFlag = false; } else ErrFlag = true; } } // Возвратить логическое значение true, если // индекс находится в установленных границах. private bool ok(int index) { if(index >= 0 & index < Length) return true; return false; } } // Продемонстрировать применение отказоустойчивого массива. class FinalFSDemo { static void Main { FailSoftArray fs = new FailSoftArray(5); // Использовать свойство Error. for(int i=0; i < fs.Length + 1; i++) { fs[i] = i*10; if(fs.Error) console.WriteLine("Ошибка в индексе " + i); } } }
Создание свойства Error стало причиной двух следующих изменений в классе FailSoftArray. Во-первых, переменная ErrFlag была сделана закрытой, посколь ку теперь она служит базовым местом хранения данных для свойства Error, а следо вательно, она не должна быть доступна непосредственно. И во-вторых, было введено свойство Error "только для чтения". Теперь свойство Error будет опрашиваться в тех программах, где требуется организовать обнаружение ошибок. Именно это и было продемонстрировано выше в методе Main, где намеренно сгенерирована ошибка нарушения границ массива, а для ее обнаружения использовано свойство Error. Автоматически реализуемые свойства
Начиная с версии C# 3.0, появилась возможность для реализации очень простых свойств, не прибегая к явному определению переменной, которой управляет свойство. Вместо этого базовую переменную для свойства автоматически предоставляет компи лятор. Такое свойство называется автоматически реализуемым и принимает следую щую общую форму: тип имя { get; set; }
где тип обозначает конкретный тип свойства, а имя — присваиваемое свойству имя. Обратите внимание на то, что после обозначений аксессоров get и set сразу же сле дует точка с запятой, а тело у них отсутствует. Такой синтаксис предписывает компиля тору создать автоматически переменную, иногда еще называемую поддерживающим по лем, для хранения значения. Такая переменная недоступна непосредственно и не имеет имени. Но в то же время она может быть доступна через свойство.
Ниже приведен пример объявления свойства, автоматически реализуемого под именем UserCount. public int UserCount { get; set; }
Как видите, в этой строке кода переменная явно не объявляется. И как пояснялось выше, компилятор автоматически создает анонимное поле, в котором хранится зна чение. А в остальном автоматически реализуемое свойство UserCount подобно всем остальным свойствам.
Но в отличие от обычных свойств автоматически реализуемое свойство не может быть доступным только для чтения или только для записи. При объявлении этого свой ства в любом случае необходимо указывать оба аксессора — get и set. Хотя добиться желаемого (т.е. сделать автоматически реализуемое свойство доступным только для чтения или только для записи) все же можно, объявив ненужный аксессор как private (подробнее об этом — в разделе "Применение модификаторов доступа в аксессорах").
Несмотря на очевидные удобства автоматически реализуемых свойств, их примене ние ограничивается в основном теми ситуациями, в которых не требуется управление установкой или получением значений из поддерживающих полей. Напомним, что поддерживающее поле недоступно напрямую. Это означает, что на значение, которое может иметь автоматически реализуемое свойство, нельзя наложить никаких ограни чений. Следовательно, имена автоматически реализуемых свойств просто заменяют собой имена самих полей, а зачастую именно это и требуется в программе. Автомати чески реализуемые свойства могут оказаться полезными и в тех случаях, когда с помо щью свойств функциональные возможности программы открываются для сторонних пользователей, и для этой цели могут даже применяться специальные средства про ектирования. Применение инициализаторов объектов в свойствах
Как пояснялось в главе 8, инициализатор объекта применяется в качестве альтерна тивы явному вызову конструктора при создании объекта. С помощью инициализато ров объектов задаются начальные значения полей или свойств, которые требуется ини циализировать. При этом синтаксис инициализаторов объектов оказывается одинако вым как для свойств, так и для полей. В качестве примера ниже приведена программа из главы 8, измененная с целью продемонстрировать применение инициализаторов объектов в свойствах. Напомним, что в версии этой программы из главы 8 использо вались поля, а приведенная ниже версия отличается лишь тем, что в ней поля Count и Str превращены в свойства. В то же время синтаксис инициализаторов объектов не изменился. // Применить инициализаторы объектов в свойствах. using System; class MyClass { // Теперь это свойства. public int Count { get; set; } public string Str { get; set; } } class ObjInitDemo { static void Main { // Сконструировать объект типа MyClass с помощью инициализаторов объектов. MyClass obj = new MyClass { Count = 100, Str = "Тестирование" }; Console.WriteLine(obj.Count + " " + obj.Str); } }