Полное руководство. С# 4.0
Шрифт:
Как видите, свойства Count и Str устанавливаются в выражениях с инициализато ром объекта. Приведенная выше программа дает такой же результат, как и программа из главы 8, а именно: 100 Тестирование
Как пояснялось в главе 8, синтаксис инициализатора объекта оказывается наиболее пригодным для работы с анонимными типами, формируемыми в LINQ-выражениях. А в остальных случаях чаще всего используется синтаксис обычных конструкторов. Ограничения, присущие свойствам
Свойствам присущ ряд существенных ограничений. Во-первых, свойство не опреде ляет место для хранения данных, и поэтому не может быть передано методу в качестве параметра ref или out. Во-вторых, свойство не подлежит перегрузке. Наличие двух разных свойств с доступом к одной и той же переменной допускается, но это, скорее, исключение, чем правило. И наконец, свойство не должно изменять состояние базо вой переменной при вызове аксессора get. И хотя это ограничительное правило не соблюдается компилятором, его нарушение считается семантической
По умолчанию доступность аксессоров set и get оказывается такой же, как и у индексатора и свойства, частью которых они являются. Так, если свойство объявляется как public, то по умолчанию его аксессоры set и get также становятся открытыми (public). Тем не менее для аксессора set или get можно указать собственный мо дификатор доступа, например private. Но в любом случае доступность аксессора, определяемая таким модификатором, должна быть более ограниченной, чем доступ ность, указываемая для его свойства или индексатора.
Существует целый ряд причин, по которым требуется ограничить доступность ак сессора. Допустим, что требуется предоставить свободный доступ к значению свойства, но вместе с тем дать возможность устанавливать это свойство только членам его класса. Для этого достаточно объявить аксессор данного свойства как private. В приведен ном ниже примере используется свойство MyProp, аксессор set которого указан как private. // Применить модификатор доступа в аксессоре. using System; class PropAccess { int prop; // поле, управляемое свойством МуРrор public PropAccess { prop = 0; } /* Это свойство обеспечивает доступ к закрытой переменной экземпляра prop. Оно разрешает получать значение переменной prop из любого кода, но устанавливать его — только членам своего класса. */ public int МуРrор { get { return prop; } private set { // теперь это закрытый аксессор prop = value; } } // Этот член класса инкрементирует значение свойства МуРrор. public void IncrProp { MyProp++; // Допускается в. том же самом классе. } } // Продемонстрировать применение модификатора доступа в аксессоре свойства. class PropAccessDemo { static void Main { PropAccess ob = new PropAccess; Console.WriteLine("Первоначальное значение ob.МуРrор: " + ob.МуРrор); // ob.МуРrор = 100; // недоступно для установки ob.IncrProp; Console.WriteLine("Значение ob.МуРrор после инкрементирования: " + ob.МуРrор); } }
В классе PropAccess аксессор set указан как private. Это означает, что он досту пен только другим членам данного класса, например методу IncrProp, но недосту пен для кода за пределами класса PropAccess. Именно поэтому попытка Присвоить свойству ob.МуРrор значение в классе PropAccessDemo закомментирована.
Вероятно, ограничение доступа к аксессорам оказывается наиболее важным для работы с автоматически реализуемыми свойствами. Как пояснялось выше, создать автоматически реализуемое свойство только для чтения или же только для записи нельзя, поскольку оба аксессора, get и set, должны быть указаны при объявлении такого свойства. Тем не менее добиться желаемого результата все же можно, объявив один из аксессоров автоматически реализуемого свойства как private. В качестве примера ниже приведено объявление автоматически реализуемого свойства Length для класса FailSoftArray, которое фактически становится доступным только для чтения. public int Length { get; private set; }
Свойство Length может быть установлено только из кода в его классе, поскольку его аксессор set объявлен как private. А изменять свойство Length за пределами его класса не разрешается. Это означает, что за пределами своего класса свойство, по существу, оказывается доступным только для чтения. Аналогичным образом можно объявить и свойство Error, как показано ниже. public bool Error { get; private set; }
Благодаря этому свойство Error становится доступным для чтения, но не для уста новки за пределами класса FailSoftArray.
Для опробования автоматически реализуемых вариантов свойств Length и Error в классе FailSoftArray удалим сначала переменные len и ErrFlag, поскольку они больше не нужны, а затем заменим каждое применение переменных len и ErrFlag свойствами Length и Error в классе FailSoftArray. Ниже приведен обновленный вариант класса FailSoftArray вместе с методом Main, демонстрирующим его применение. // Применить автоматически реализуемые и доступные // только для чтения свойства Length и Error. using System; class FailSoftArray { int[] a; // ссылка на базовый массив // Построить массив по заданному размеру. public FailSoftArray(int size) { a = new int [size]; Length = size; } // Автоматически реализуемое и доступное только для чтения свойство Length. public int Length { get; private set; } // Автоматически реализуемое и доступное только для чтения свойство Error. public bool Error { get; private set; } // Это индексатор для массива FailSoftArray. public int this[int index] { // Это аксессор get. get { if(ok(index)) { Error = false; return a[index]; } else { Error = true; return 0; } } // Это аксессор set. set { if(ok(index)) { a[index] = value; Error = false; } else Error = 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); } } }
Этот вариант класса FailSoftArray действует таким же образом, как и предыду щий, но в нем отсутствуют поддерживающие поля, объявляемые явно.
На применение модификаторов доступа в аксессорах накладываются следующие ограничения. Во-первых, действию модификатора доступа подлежит только один ак сессор: set или get, но не оба сразу. Во-вторых, модификатор должен обеспечивать более ограниченный доступ к аксессору, чем доступ на уровне свойства или индексато ра. И наконец, модификатор доступа нельзя использовать при объявлении аксессора в интерфейсе или же при реализации аксессора, указываемого в интерфейсе. (Подроб нее об интерфейсах речь пойдет в главе 12.) Применение индексаторов и свойств
В предыдущих примерах программ был продемонстрирован основной принцип действия индексаторов и свойств, но их возможности не были раскрыты в полную силу. Поэтому в завершение этой главы обратимся к примеру класса RangeArray, в котором индексаторы и свойства используются для создания типа массива с преде лами индексирования, определяемыми пользователем.
Как вам должно быть уже известно, индексирование всех массивов в C# начинается с нуля. Но в некоторых приложениях индексирование массива удобнее начинать с лю бой произвольной точки отсчета: с 1 или даже с отрицательного числа, например от -5 и до 5. Рассматриваемый здесь класс RangeArray разработан таким образом, чтобы допускать подобного рода индексирование массивов.
Используя класс RangeArray, можно написать следующий фрагмент кода. RangeArray rа = new RangeArray(-5, 10); // массив с индексами от -5 до 10 for(int i=-5; i <= 10; i++) ra[i] = i; // индексирование массива от -5 до 10
Нетрудно догадаться, что в первой строке этого кода конструируется объект клас са RangeArray с пределами индексирования массива от -5 до 10 включительно. Пер вый аргумент обозначает начальный индекс, а второй — конечный индекс. Как только объект rа будет сконструирован, он может быть проиндексирован как массив в преде лах от -5 до 10.
Ниже приведен полностью класс RangeArray вместе с классом RangeArrayDemo, в котором демонстрируется индексирование массива в заданных пределах. Класс RangeArray реализован таким образом, чтобы поддерживать массивы типа int, но при желании вы можете изменить этот тип на любой другой. /* Создать класс со специально указываемыми пределами индексирования массива. Класс RangeArray допускает индексирование массива с любого значения, а не только с нуля. При создании объекта класса RangeArray указываются начальный и конечный индексы. Допускается также указывать отрицательные индексы. Например, можно создать массивы, индексируемые от -5 до 5, от 1 до 10 или же от 50 до 56. */ using System; class RangeArray { // Закрытые данные. int[] а; // ссылка на базовый массив int lowerBound; // наименьший индекс int upperBound; // наибольший индекс // Автоматически реализуемое и доступное только для чтения свойство Length. public int Length { get; private set; } // Автоматически реализуемое и доступное только для чтения свойство Error. public bool Error { get; private set; } // Построить массив по заданному размеру. public RangeArray(int low, int high) { high++; if(high <= low) { Console.WriteLine("Неверные индексы"); high = 1; // создать для надежности минимально допустимый массив low = 0; } а = new int[high - low]; Length = high - low; lowerBound = low; upperBound = --high; } // Это индексатор для класса RangeArray. public int this[int index] { // Это аксессор get. get { if(ok(index)) { Error = false; return a[index - lowerBound]; } else { Error = true; return 0; } } // Это аксессор set. set { if(ok(index)) { a[index - lowerBound] = value; Error = false; } else Error = true; } } // Возвратить логическое значение true, если // индекс находится в установленных границах. private bool ok(int index) { if(index >= lowerBound & index <= upperBound) return true; return false; } } // Продемонстрировать применение массива с произвольно // задаваемыми пределами индексирования. class RangeArrayDemo { static void Main { RangeArray ra = new RangeArray(-5, 5); RangeArray ra2 = new RangeArray(1, 10); RangeArray ra3 = new RangeArray(-20, -12); // Использовать объект ra в качестве массива. Console.WriteLine("Длина массива ra: " + rа.Length); for(int i = -5; i <= 5; i++) ra[i] = i; Console.Write("Содержимое массива ra: "); for(int i = -5; i <= 5; i++) Console.Write(ra[i] + " "); Console.WriteLine("\n"); // Использовать объект ra2 в качестве массива. Console.WriteLine("Длина массива ra2: " + ra2.Length); for(int i = 1; i <= 10; i++) ra2[i] = i; Console.Write("Содержимое массива ra2: "); for(int i = 1; i <= 10; i++) Console.Write(ra2[i] + " "); Console.WriteLine("\n"); // Использовать объект raЗ в качестве массива. Console.WriteLine("Длина массива ra3: " + ra3.Length); for(int i = -20; i <= -12; i++) ra3[i] = i; Console.Write("Содержимое массива ra3: "); for(int i = -20; i <= -12; i++) Console.Write(ra3[i] + " "); Console.WriteLine("\n"); } }