class SimpProp {
int prop; // поле, управляемое свойством MyProp
public SimpProp() { prop = 0; }
/* Это свойство обеспечивает доступ к закрытой переменной экземпляра prop. Оно допускает присваивание только положительных значений. */
public int MyProp {
get {
return prop;
}
set {
if(value >= 0) prop = value;
}
}
}
// Продемонстрировать применение свойства,
class PropertyDemo {
static void Main() {
SimpProp ob = new SimpProp();
Console.WriteLine("Первоначальное значение ob.MyProp: " + ob.MyProp);
ob.MyProp = 100; // присвоить значение
Console.WriteLine("Текущее значение ob.MyProp: " + ob.MyProp);
// Переменной prop нельзя присвоить отрицательное значение.
Console.WriteLine("Попытка присвоить значение " +
"-10 свойству ob.MyProp");
ob.MyProp = -10;
Console.WriteLine("Текущее значение ob.MyProp: " + ob.MyProp);
}
}
Вот к какому результату приводит выполнение этого кода.
Первоначальное значение ob.MyProp: 0
Текущее значение ob.MyProp: 100
Попытка присвоить значение -10 свойству ob.MyProp
Текущее значение ob.MyProp: 100
Рассмотрим приведенный выше код более подробно. В этом коде определяется одно закрытое поле prop и свойство МуРгор, управляющее доступом к полю prop. Как пояснялось выше, само свойство не определяет место в памяти для хранения поля, а только управляет доступом к полю. Кроме того, поле prop является закрытым, а значит, оно доступно только через свойство МуРгор.
Свойство МуРгор указано как public, а следовательно, оно доступно из кода за пределами его класса. И в этом есть своя логика, поскольку данное свойство обеспечивает доступ к полю prop, которое является закрытым. Аксессор get этого свойства просто возвращает значение из поля prop, тогда как аксессор set устанавливает значение в поле prop в том и только в том случае, если это значение оказывается положительным. Таким образом, свойство МуРгор контролирует значения, которые могут храниться в поле prop. В этом, собственно, и состоит основное назначение свойств.
Тип свойства МуРгор определяется как для чтения, так и для записи, поскольку оно позволяет читать и записывать данные в базовое поле. Тем не менее свойства можно создавать доступными только для чтения или только для записи. Так, если требуется создать свойство, доступное только для чтения, то достаточно определить единственный аксессор 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 — это свойство, в котором местом для хранения данных служит закрытая переменная lеn. А поскольку в этом свойстве определен единственный аксессор 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;
}
