Полное руководство. С# 4.0 - Шилдт Герберт

При выполнении этой программы получается следующий результат.а: 1b: 10а меньше bс после операции с = а + b: 11а после операции а += 5: 6Результат вычисления выражения а * 2 + 3: 15Результат присваивания а = 19: 3Управление циклом for с помощью объекта типа Nybble.0 1 2 3 4 5 6 7 8 9

Большая часть функций класса Nybble не требует особых пояснений. Тем не менеенеобходимо подчеркнуть ту особую роль, которую операторы преобразования играют в интегрировании класса типа Nybble в систему типов С#. В частности, объект типаNybble можно свободно комбинировать с данными других типов в арифметических выражениях, поскольку определены преобразования объекта этого типа в тип int и обратно. Рассмотрим для примера следующую строку кода из приведенной выше программы.t = а * 2 + 3;

В этом выражении переменная t и значения 2 и 3 относятся к типу int, но в нейприсутствует также объект типа Nybble. Оба типа оказываются совместимыми благодаря неявному преобразованию типа Nybble в тип int. В данном случае остальнаячасть выражения относится к типу int, поэтому объект а преобразуется в тип intс помощью своего метода преобразования.

А благодаря преобразованию типа int в тип Nybble значение типа int можетбыть присвоено объекту типа Nybble. Например, в следующей строке из приведеннойвыше программы:а = 19;

сначала выполняется оператор преобразования типа int в тип Nybble. Затем создается новый объект типа Nybble, в котором сохраняются 4 младших разряда целогозначения 19, а по существу, число 3, поскольку значение 19 превышает диапазон представления чисел для типа Nybble. Далее этот объект присваивается переменной экземпляра а. Без операторов преобразования подобные выражения были бы простонедопустимы.

Кроме того, преобразование типа Nybble в тип Nybble используется в цикле for.Без такого преобразования организовать столь простой цикл for было бы просто невозможно.

ПРИМЕЧАНИЕВ качестве упражнения попробуйте создать вариант полубайтового типа Nybble,предотвращающий переполнение, если присваиваемое значение оказывается за пределамидопустимого диапазона чисел. Для этой цели лучше всего сгенерировать исключение.(Подробнее об исключениях — в главе 13.)

ГЛАВА 10. Индексаторы и свойства

В этой главе рассматриваются две особые и тесно связанные друг с другом разновидности членов класса:индексаторы и свойства. Каждый из них по-своемурасширяет возможности класса, способствуя более полнойего интеграции в систему типов С# и повышая его гибкость.В частности, индексаторы предоставляют механизм для индексирования объектов подобно массивам, а свойства — рациональный способ управления доступом к данным экземпляра класса. Эти члены класса тесно связаны друг с другом, поскольку оба опираются на еще одно доступное в C#средство: аксессор.Индексаторы

Как вам должно быть уже известно, индексированиемассива осуществляется с помощью оператора []. Длясоздаваемых классов можно определить оператор [],но с этой целью вместо операторного метода создаетсяиндексатор, который позволяет индексировать объект, подобно массиву. Индексаторы применяются, главным образом, в качестве средства, поддерживающего созданиеспециализированных массивов, на которые накладываетсяодно или несколько ограничений. Тем не менее индексаторы могут служить практически любым целям, для которыхвыгодным оказывается такой же синтаксис, как и у массивов. Индексаторы могут быть одно- или многомерными.Рассмотрим сначала одномерные индексаторы.Создание одномерных индексаторов

Ниже приведена общая форма одномерного индексатора:тип_элемента this[int индекс] { // Аксессор для получения данных. get { // Возврат значения, которое определяет индекс. } // Аксессор для установки данных. set { // Установка значения, которое определяет индекс. }}

где типэлемента обозначает конкретный тип элемента индексатора. Следовательно,у каждого элемента, доступного с помощью индексатора, должен быть определенныйтипэлемента. Этот тип соответствует типу элемента массива. Параметр индекс получает конкретный индекс элемента, к которому осуществляется доступ. Формальноэтот параметр совсем не обязательно должен иметь тип int, но поскольку индексаторы, как правило, применяются для индексирования массивов, то чаще всего используется целочисленный тип данного параметра.

В теле индексатора определены два аксессора (т.е. средства доступа к данным): getи set. Аксессор подобен методу, за исключением того, что в нем не объявляется типвозвращаемого значения или параметры. Аксессоры вызываются автоматически прииспользовании индексатора, и оба получают индекс в качестве параметра. Так, еслииндексатор указывается в левой части оператора присваивания, то вызывается аксессорset и устанавливается элемент, на который указывает параметр индекс. В противномслучае вызывается аксессор get и возвращается значение, соответствующее параметруиндекс. Кроме того, аксессор set получает неявный параметр value, содержащийзначение, присваиваемое по указанному индексу.

Преимущество индексатора заключается, в частности, в том, что он позволяет полностью управлять доступом к массиву, избегая нежелательного доступа. В качествепримера рассмотрим программу, в которой создается класс FailSoftArray, реализующий массив для выявления ошибок нарушения границ массива, а следовательно,для предотвращения исключительных ситуаций, возникающих во время выполненияв связи с индексированием массива за его границами. Для этого массив инкапсулируется в качестве закрытого члена класса, а доступ к нему осуществляется только с помощью индексатора. При таком подходе исключается любая попытка получить доступк массиву за его границами, причем эта попытка пресекается без катастрофическихпоследствий для программы. А поскольку в классе FailSoftArray используется индексатор, то к массиву можно обращаться с помощью обычной формы записи.// Использовать индексатор для создания отказоустойчивого массива.using System;class FailSoftArray { int[] a; // ссылка на базовый массив public int Length; // открытая переменная длины массива public bool ErrFlag; // обозначает результат последней операции // Построить массив заданного размера. public FailSoftArray(int size) { a = new int[size]; Length = size; } // Это индексатор для класса 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 FSDemo { static void Main() { FailSoftArray fs = new FailSoftArray(5); int x; // Выявить скрытые сбои. Console.WriteLine("Скрытый сбой."); for(int i=0; i < (fs.Length * 2); i++) fs[i] = i*10; for(int i=0; i < (fs.Length * 2); i++) { x = fs[i]; if(x != -1) Console.Write(x + " "); } Console.WriteLine(); // А теперь показать сбои. Console.WriteLine("nСбой с уведомлением об ошибках."); for (int i=0; i < (fs.Length * 2); i++) { fs[i] = i * 10; if(fs.ErrFlag) Console.WriteLine("fs[" + i + "] вне границ"); } for(int i=0; i < (fs.Length * 2); i++) { x = fs[i]; if(!fs.ErrFlag) Console.Write(x + " "); else Console.WriteLine("fs[" + i + "] вне границ"); } }}

Вот к какому результату приводит выполнение этой программы.Скрытый сбой.0 10 20 30 40 0 0 0 0 0Сбой с уведомлением об ошибках.fs[5] вне границfs[6] вне границfs[7] вне границfs[8] вне границfs[9] вне границ0 10 20 30 40 fs[5] вне границfs[6] вне границfs[7] вне границfs[8] вне границfs[9] вне границ

Индексатор препятствует нарушению границ массива. Внимательно проанализируем каждую часть кода индексатора. Он начинается со следующей строки.public int this[int index] {