Герберт Шилдт - C# 4.0 - полное руководство

Рассмотрим сначала одномерные индексаторы.

Ниже приведена общая форма одномерного индексатора:

тип_элемента 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++)