C# 4.0 полное руководство - 2011

fs[6] вне границ

fs[7] вне границ

fs[8] вне границ

fs[9] вне границ

О 10 20 30 40 fs[5] вне границ

fs[6] вне границ

fs[7] вне границ

fs[8] вне границ

fs[9] вне границ

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

public int this[int index] {

В этой строке кода объявляется индексатор, оперирующий элементами типаint.Ему передается индекс в качестве параметраindex.Кроме того, индексатор объявляется открытым(public),что дает возможность использовать этот индексатор в коде за пределами его класса.

Рассмотрим следующий код аксессораget.

get {

if (ok(index) )    {

ErrFlag = false; return a[index];

} else {

ErrFlag = true; return 0;

Аксессорgetпредотвращает ошибки нарушения границ массива, проверяя в первую очередь, находитсялииндекс в установленных границах. Эта проверка границ выполняется в методеok , который возвращает логическое значениеtrue,если индекс правильный, а_ртначе — логическое значениеfalse.Так, если указанный индекс находитсяъустановленных границах, то по этому индексу возвращается соответствующий элемент. А если индекс оказывается вне установленных границ, то никаких операций не выполняется, но в то же время не возникает никаких ошибок переполнения. В данном варианте классаFailSof tArrayпеременнаяErrFlagсодержит результат каждой операции. Ее содержимое может быть проверено после каждой операции на предмет удачного или неудачного выполнения последней. (В главе 13 будет представлен более совершенный способ обработки ошибок с помощью имеющейся в C# подсистемы обработки исключительных ситуаций, а до тех пор можно вполне обойтись установкой и проверкой признака ошибки.)

А теперь рассмотрим следующий код аксессора set, предотвращающего ошибки нарушения границ массива.

set {

if(ok(index) )    {

a[index] = value;

ErrFlag = false;

}

else ErrFlag = true;

}

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

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

Перегрузка индексаторов