Следует, однако, иметь в виду, что свойства не определяют место в памяти для хра нения полей, а лишь управляют доступом к полям. Это означает, что само свойство не предоставляет поле, и поэтому поле должно быть определено независимо от свойства. (Исключение из этого правила составляет автоматически реализуемое свойство, рассма триваемое далее.)
Ниже приведен простой пример программы, в которой определяется свойство MyProp, предназначенное для доступа к полю prop. В данном примере свойство до пускает присваивание только положительных значений. // Простой пример применения свойства. using System; class SimpProp { int prop; // поле, управляемое свойством МуРrор 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.МуРrор: " + ob.МуРrор); ob.МуРrор = 100; // присвоить значение Console.WriteLine("Текущее значение ob.МуРrор: " + ob.МуРrор); // Переменной prop нельзя присвоить отрицательное значение. Console.WriteLine("Попытка присвоить значение " + "-10 свойству ob.МуРrор"); ob.МуРrор = -10; Console.WriteLine("Текущее значение ob.МуРrор: " + ob.МуРrор); } }
Вот к какому результату приводит выполнение этого кода. Первоначальное значение 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 контролирует значения, которые могут храниться в поле 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 (подробнее об этом — в разделе "Применение модификаторов доступа в аксессорах").