7.4. Метод Main

Метод, якому передається управління після запуску програми, повинен мати ім'я Main і бути статичним. Він може приймати параметри із зовнішнього оточення і повертати значення в середовище, що викликало. Передбачається два варіанти методу - з параметрами і без параметрів:

// без параметрів:

static тип Main() { ... }

static void Main() { ... }

// з параметрами:

static тип Main ( string[] args ){/*...*/}

static void Main( string[] args ){/*...*/}

Параметри, що розділяються пропусками, задаються при запуску програми з командного рядка після імені виконуваного файлу програми. Вони передаються в масив args.

Якщо метод повертає значення, воно має бути цілого типу, якщо не повертає, він повинен описуватися як void. В цьому випадку оператор повернення з Main можна не вказувати, а середовище, що викликало, автоматично набуде нульового значення, що означає успішне завершення. Ненульове значення зазвичай означає аварійне завершення, наприклад:

static int Main( string[] args )

{

if (... /* все пропало */ ) return 1;

if (.../* абсолютно все пропало */) return 100;

}

Повертаєме значення аналізується в командному файлі, з якого запускається програма. Зазвичай це робиться для того, щоб можна було прийняти рішення, чи виконувати командний файл далі. У лістингу 7.2 наводиться приклад методу Main, який виводить свої аргументи і чекає натиснення будь-якої клавіші.

Лістинг 7.2. Параметри методу Main

using System;

namespace ConsoleApplication1

{

class Program

{

static void Main(string[] args)

{

foreach (string arg in args) Console.WriteLine(arg);

Console.Read();

}

}

}

Нехай виконуваний файл програми має ім'я Consoleapplication1.exe і викликається з командного рядка:

d:\cs\consoleapplicationl\bin\debug\consoleapplicationl.exe one two three

Тоді на екран буде виведено:

one

two

three

Для запуску програми з командного рядка можна скористатися командою Выполнить меню Пуск

7.5. Індексатори

Індексатором є різновид властивості. Якщо у класу є приховане поле, що є масивом, то за допомогою індексатора можна звернутися до елементу цього масиву, використовуючи ім'я об'єкту і номер елементу масиву в квадратних дужках. Іншими словами, індексатор - це індекс для об'єктів.

Синтаксис індексатора аналогічний синтаксису властивості:

атрибути специфікатори тип 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, виникне виключення.

Результат роботи програми:

1

2

4

8

16

32

64

128

256

512

1024

2048

4096

Мова С# допускає використання багатовимірних індексаторів. Вони застосовуються для контролю за занесенням даних в багатовимірні масиви. Крім того, вони використовуються при вибірці даних з багатовимірних масивів, оформлених у вигляді класів. Наприклад:

int[,] а;

Якщо усередині класу оголошений такий двовимірний масив, то заголовок індексатора повинен мати вигляд

public int this[int i, int j]