Індексатором є різновид властивості. Якщо у класу є приховане поле, що є масивом, то за допомогою індексатора можна звернутися до елементу цього масиву, використовуючи ім'я об'єкту і номер елементу масиву в квадратних дужках. Іншими словами, індексатор - це індекс для об'єктів.
Синтаксис індексатора аналогічний синтаксису властивості:
атрибути специфікатори тип this [ список_параметрів]
{
get код_доступа
set код_доступа
}
В даному випадку квадратні дужки є елементом синтаксису, а не вказівкою на необов'язковість конструкції.
Атрибути ми розглянемо пізніше, в розділі 12, а специфікатори аналогічні специфікаторам властивостей і методів. Індексатори найчастіше оголошуються із специфікатором public, оскільки вони входять в інтерфейс об'єкту. Атрибути і специфікатори можуть бути відсутніми.
Код доступу є блоком операторів, які виконуються при отриманні (get) або установці значення (set) елементу масиву. Може бути відсутньою або частина get, або set, але не обидві одночасно. Якщо відсутня частина set, індексатор доступний тільки для читання (read-only), якщо відсутня частина get, індексатор доступний тільки для запису (write-only).
Список параметрів містить одне або декілька описів індексів, по яких виконується доступ до елементу. Найчастіше використовується один індекс цілого типу. Індексатори в основному застосовуються для створення спеціалізованих масивів, на роботу з якими накладаються які-небудь обмеження. У лістингу 7.3 створений клас-масив, елементи якого повинні знаходитися в діапазоні [0, 100]. Крім того, при доступі до елементу перевіряється, чи не вийшов індекс за допустимі межі.
Лістинг 7.3. Використання індексаторів
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
namespace examp42
{
class SafeArray
{
public SafeArray(int size)
{
a=new int[size];
length=size;
}
public int Length // властивість розмірність
{
get{return length;}
}
public int this[int i] //індексатор
{
get
{
if(i>=0&&i<length) return a[i];
else
{
error=true;
return 0;
}
}
set
{
if (i >= 0 && i < length
&& value >= 0 && value <= 100) a[i] = value;
else error=true;
}
}
public bool error=false; //прихована ознака помилки
int []a; //закритий масив
int length; //закрита розмірність
}
class Class1
{
static void Main()
{
int n=60;
SafeArray sa=new SafeArray(n);
for(int i=0;i<n;++i)
{
sa[i]=i*2; // 1 використання індексатора
Console.Write(" "+ sa[i]); // 2 використання індексатора
}
if(sa.error)Console.Write("Error");
}
}
}
З лістингу видно, що індексатори описуються аналогічно властивостям. Завдяки застосуванню індексаторів з об'єктом, що містить в собі масив, можна працювати так само, як зі звичайним масивом. Якщо звернення до об'єкту зустрічається в лівій частині оператора привласнення (оператор 1), автоматично викликається метод get. Якщо звернення виконується у складі виразу (оператор 2), викликається метод set.
У класі Safearray прийнята наступна стратегія обробки помилок. Якщо при спробі запису елементу масиву його індекс або значення задані невірно, значення елементу не привласнюється. Якщо при спробі читання елементу індекс не входить в допустимий діапазон, повертається 0. У обох випадках формується значення відкритого поля error, рівне true.
Взагалі кажучи, індексатор не обов'язково має бути пов'язаний з яким-небудь внутрішнім полем даних. У лістингу 7.4 приведений приклад класу Pow2, єдине призначення якого - формувати ступінь числа 2.
Лістинг 7.4. Індексатор без масиву
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
namespace examp43
{
class Pow2
{
public ulong this[int i]
{
get
{
if (i >= 0)
{
ulong res = 1;
for (int k = 0; k < i; k++)// Цикл отримання ступеня
unchecked { res *= 2; }// 1
return res;
}
else return 0;
}// get
}//this
}//Pow2
class Class1
{
static void Main()
{
try
{
int n = 30;
Pow2 pow2 = new Pow2();
for (int i = 0; i < n; ++i)
Console.WriteLine("{0}\t{1}", i, pow2[i]);
}
catch (Exception e)
{
Console.WriteLine(e.Message);
return;
}
}
}//Class1
}// namespace
Оператор 1 виконується в контексті, що не перевіряє, для того, щоб виключення, пов'язане з переповнюванням, не генерувалося. В принципі, дана програма працює і без цього, але якщо помістити клас Pow2 в контекст, що перевіряється, при значенні, що перевищує допустимий діапазон для типу ulong, виникне виключення.
Результат роботи програми:
Мова С# допускає використання багатовимірних індексаторів. Вони застосовуються для контролю за занесенням даних в багатовимірні масиви. Крім того, вони використовуються при вибірці даних з багатовимірних масивів, оформлених у вигляді класів. Наприклад:
int[,] а;
Якщо усередині класу оголошений такий двовимірний масив, то заголовок індексатора повинен мати вигляд
public int this[int i, int j]
