Internal protected

Тело аксессора это либо блок, либо пустой оператор, обозначаемый символом

точка с запятой. Пустой оператор в качестве тела применяется для аксессоров тех

свойств, которые объявлены с модификаторами abstract и extern. Сейчас такие

свойства мы не рассматриваем.

Аксессор доступа

"аксессор доступа"

(get-аксессор) – подобен методу без

параметров, возвращающему значение, тип которого определяется типом свойства.

Достаточно часто аксессор доступа возвращает значение конкретного поля класса

или его объекта. Для возврата значения из аксессора в его теле должен выполниться

оператор

return выражение;

Аксессор изменения "аксессор изменения" (set-аксессор) – подобен методу с

возвращаемым значением типа void и единственным неявно заданным параметром,

значение которого определяет новое значение свойства. Тип параметра определяется

типом свойства. Имя параметра, которое используется в теле аксессора изменений,

всегда value.

В теле аксессоров свойства могут быть сложные алгоритмы обработки.

Например, при изменении свойства можно контролировать диапазон допустимых

значений. В теле аксессора доступа возвращаемое значение может вычисляться с

учетом значений не одного, а разных полей, и т.д.. Часто свойство используют для

работы с одним закрытым полем класса. Заметим, что и при таком использовани

и

свойство не вводит новых полей, а только управляет доступом к уже

существующим в классе полям. Существует соглашение (не обязательное) начинать

имена свойств с заглавных букв. Если свойство представляет "во внешнем мире"

конкретное поле класса, то имя свойства повторяет имя поле, но отличается от него

первой заглавной буквой. Например, если в классе объявлено поле tempor, то

представляющее его свойство рекомендуется назвать Tempor.

Пример класса чисел в научной нотации со свойствами (12_02.cs):

class Real // Класс чисел в научной нотации

{ // Закрытые поля:

double m = 8.0; // мантисса - явно инициализирована

Int p; // инициализация по умолчанию

// свойство для получения значения мантиссы:

public double Mantissa

{

get { return m; }

}

// свойство для показателя:

public int Exponent

{

get { return p; }

set { p = value; }

}

// свойство для значения числа:

public double RealValue

{

get { return m * Math.Pow(10, p); }

set { m = value; p = 0;

reduce();

}

}

Void reduce() // "Внутренний" для класса метод

{

double sign = 1; if (m < 0) {sign = -1; m = -m; }

for (; m >= 10; m /= 10, p += 1) ;

for (; m < 1; m *= 10, p -= 1) ;

m *= sign;

}

}

В классе Real уже рассмотренные закрытые члены: вспомогательный метод

reduce(), поля double m – мантисса, int p – показатель. Кроме того, объявлены три

открытых свойства:

public double Mantissa – для получения значения мантиссы;

public int Exponent – для получения и изменения показателя;

public double RealValue – для получения числа в виде значения вещественного

типа и для задания значений полей объекта по значению типа double.

В определении свойства Mantissa только один аксессор get, он позволяет

получить значение поля double m.

Свойство Exponent включает два аксессора:

set { p = value; } – изменяет значение поля int p;

get { return p; } – возвращает значение того же поля.

Свойство RealValue позволяет обратиться к объекту класса Real как к

числовому значению типа double. Аксессоры свойства:

get { return m * Math.Pow(10, p); }

set { m = value; p = 0; reduce(); }

Аксессор get возвращает числовое значение, вычисленное на основе значений

полей объекта.

Аксессор set, получив из внешнего обращения значение value, присваивает его

переменной поля double m. При этом переменная int p получает нулевое значение.

Затем для приведения числа к научной нотации в теле аксессора выполняется

обращение к вспомогательному методу класса reduce(). Его мы уже рассмотрели в

связи с обсуждением конструкторов.

Следующий фрагмент кода иллюстрирует применение свойств класса

(программа 12_02.cs):

static void Main()

{

Real number = new Real(); // конструктор умолчания

string form = " = {0,8:F5} * 10^{1,-3:D2}";

Console.WriteLine("number" + form,

number.Mantissa, number.Exponent);

number.Exponent = 2;

Console.WriteLine("number" + form,

number.Mantissa, number.Exponent);

Console.WriteLine("number RealValue = " + number.RealValue);

number.RealValue = -314.159;

Console.WriteLine("number" + form,

number.Mantissa, number.Exponent);

Console.WriteLine("number RealValue = " + number.RealValue);

}

В программе с помощью конструктора умолчания Real() определен один

объект

класса

чисел

в

научной

нотации

и

объявлена

ссылка

number,

ассоциированная с этим объектом. Дальнейшие манипуляции с объектом

выполнены с помощью свойств Mantissa, Exponent, RealValue. Для обращения к ним

используются уточненные имена вида имя_объекта.имя_свойства.

Результат выполнения программы:

number = 8,00000 * 10^00

number = 8,00000 * 10^02

number RealValue = 800

number = -3,14159 * 10^02

number RealValue = -314,159

В первой строке результатов приведено изображение числа из объекта,

созданного конструктором умолчания. Значения полей при выводе получены с

помощью уточненных имён свойств number.Mantissa, number.Exponent.

Оператор number.Exponent = 2; через свойство Exponent изменяет значение

поля показателя int p. Этим определяется вторая строка результатов выполнения

программы.

В третьей строке – числовое значение объекта number, полученное с помощью

свойства RealValue.

Оператор

number.RealValue = -314.159; через свойство RealValue изменяет

оба поля объекта number.

Результат изменения полей иллюстрирует предпоследняя строка результатов.

В последней строке – значение свойства RealValue.

Аксессор get выполняется, когда из кода, внешнего по отношению к классу или

его объекту, выполняется «чтение» значения свойства. При этом в точку вызов

а

возвращается некоторое значение или ссылка на объект. Тип значения или ссылки

соответствует типу в объявлении свойства. При этом возможны неявные

приведения типов. Например, если get-аксессор возвращает значение типа int, а тип

свойства double, то будет автоматически выполнено приведение типов. Get-аксессор

подобен методу без параметров, возвращающему значение или ссылку с типом

свойства.

Если внешний по отношению к классу или его объекту код присваивает

некоторое значение свойству, то вызывается set-аксессор этого свойства. В теле

этого аксессора присвоенное свойству значение представлено специальной

переменной с фиксированным именем value. Тип этой переменной совпадает с типом

свойства. У set-аксессора возвращаемое значение отсутствует. Можно считать, что

set-аксессор функционально подобен методу с одним параметром. У этого

параметра тот же тип, что и тип свойства, и фиксированное имя value.

Можно использовать в объявлении свойства только один из аксессоров. Это

позволяет вводить свойства только для записи (изменения) и свойства только для

чтения. Возникает вопрос, чем открытое свойство, обеспечивающее только чтение,

отличается от открытого поля, объявленного с модификатором readonly. Основное

отличие в том, что поле хранит некоторое значение, которое не может изменить

процесс

чтения из этого поля. При чтении значения свойства есть возможность

выполнить заранее запланированные действия (вычисления), причём никаких

ограничений на характер этих действий (вычислений) не накладывается. Результат

вычислений свойства может зависеть, например, от состояния среды, в которой

выполняется программа, или от влияния процессов, выполняемых параллельно.

Пример поля с модификатором readonly: "дата рождения". Свойство "точный

возраст" должно вычисляться с учётом конкретного момента обращения к этому

свойству.