Полное руководство. С# 4.0

А теперь рассмотрим следующий код аксессора set, предотвращающего ошибки нарушения границ массива. set { if(ok(index)) { a[index] = value; ErrFlag = false; } else ErrFlag = true; }

Если параметр index метода ok находится в установленных пределах, то соот ветствующему элементу массива присваивается значение, передаваемое из параметра value. В противном случае устанавливается логическое значение true переменной ErrFlag. Напомним, что value в любом аксессорном методе является неявным пара метром, содержащим присваиваемое значение. Его не нужно (да и нельзя) объявлять отдельно.

Наличие обоих аксессоров, get и set, в индексаторе не является обязательным. Так, можно создать индексатор только для чтения, реализовав в нем один лишь аксес сор get, или же индексатор только для записи с единственным аксессором set. Перегрузка индексаторов

Индексатор может быть перегружен. В этом случае для выполнения выбирается тот вариант индексатора, в котором точнее соблюдается соответствие его параметра и аргумента, указываемого в качестве индекса. Ниже приведен пример программы, в ко торой индексатор массива класса FailSoftArray перегружается для индексов типа double. При этом индексатор типа double округляет свой индекс до ближайшего целого значения. // Перегрузить индексатор массива класса FailSoftArray. using System; class FailSoftArray { int[] a; // ссылка на базовый массив public int Length; // открытая переменная длины массива public bool ErrFlag; // обозначает результат последней операции // Построить массив заданного размера. public FailSoftArray(int size) { a = new int[size]; Length = size; } // Это индексатор типа int для массива 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; } } /* Это еще один индексатор для массива FailSoftArray. Он округляет свой аргумент до ближайшего целого индекса. */ public int this[double idx] { // Это аксессор get. get { int index; // Округлить до ближайшего целого. if( (idx - (int) idx) < 0.5) index = (int) idx; else index = (int) idx + 1; if(ok(index)) { ErrFlag = false; return a[index]; } else { ErrFlag = true; return 0; } } // Это аксессор set. set { int index; // Округлить до ближайшего целого. if( (idx - (int) idx) < 0.5) index = (int) idx; else index = (int) idx + 1; 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); // Поместить ряд значений в массив fs. for(int i=0; i < fs.Length; i++) fs[i] = i; // А теперь воспользоваться индексами // типа int и double для обращения к массиву. Console.WriteLine("fs[1] : " + fs[1]); Console.WriteLine("fs[2] : " + fs[2]); Console.WriteLine("fs[1.1]: " + fs[l.l]); Console.WriteLine("fs[1.6]: " + fs[1.6]); } }

При выполнении этой программы получается следующий результат. fs[1]: 1 fs[2]: 2 fs[1.1]: 1 fs[1.6]: 2

Как показывает приведенный выше результат, индексы типа double округляются до ближайшего целого значения. В частности, индекс 1.1 округляется до 1, а индекс 1.6 — до 2.

Представленный выше пример программы наглядно демонстрирует правомоч ность перегрузки индексаторов, но на практике она применяется нечасто. Как прави ло, индексаторы перегружаются для того, чтобы использовать объект определенного класса в качестве индекса, вычисляемого каким-то особым образом. Индексаторы без базового массива