Параметри-значення

Методи

Метод - це функціональний елемент класу, який реалізує обчислення або інші дії, що виконуються класом або екземпляром. Методи визначають поведінку класу.

Методом є закінчений фрагмент коду, до якого можна звернутися по імені. Він описується один раз, а викликатися може стільки разів, скільки необхідно. Один і той же метод може обробляти різні дані, передані йому як аргументів.

Синтаксис методу:

[ атрибути ] [ специфікатори ] тип імя_метода ([ параметри ])

тіло методу

Розглянемо основні елементи опису методу. Перший рядок є заголовком методу. Тілом методу є блок - послідовність операторів у фігурних дужках.

При описі методів можна використовувати специфікатори 1-7 з таблиці 5.2, що мають ті ж самі значення, що і для полів, а також специфікатори virtual, sealed, override, abstract і extern, які будуть розглянуті в міру необхідності. Найчастіше для методів задається специфікатор доступу public, адже методи складають інтерфейс класу - те, з чим працює користувач, тому вони мають бути доступні.

Статичні (static) методи, або методи класу, можна викликати, не створюючи екземпляр об'єкту. Саме таким чином використовується метод Main.

Параметри використовуються для обміну інформацією з методом. Параметр є локальною змінною, яка при виклику методу набуває значення відповідного аргументу. Зона дії параметра - весь метод.

Наприклад, щоб обчислити значення синуса для дійсної величини х, ми передаємо її як аргумент в метод Sin класу Math, а щоб вивести значення цієї змінної на екран, ми передаємо її у метод Writeline класу Console:

double х = 0.1;

double у = Math.Sin(x);

Console.WriteLine(x);

При цьому метод Sin повертає в точку свого виклику дійсне значення синуса, яке привласнюється змінній y, а метод Writeline нічого не повертає.

Параметри, що описуються в заголовку методу, визначають множину аргументів, які можна передавати в метод. Список аргументів при виклику начебто накладається на список параметрів, тому вони повинні відповідати один одному. Правила відповідності детально розглядаються в наступних розділах.

Для кожного параметра повинні задаватися його тип і ім'я. Наприклад, заголовок методу Sin виглядає таким чином:

public static double Sin(double а):

Ім’я методу укупі з кількістю, типами і специфікаторами його параметрів є сигнатурою методу. У класі не повинно бути методів з однаковими сигнатурами.

У лістингу 5.2 в клас Demo додані методи установки і набуття значення поля у. Крім того, статичне поле s закрите, тобто визначено за умовчанням як private, а для його отримання використовується метод Gets.

Як видно з лістингу 5.2, методи класу мають безпосередній доступ до його закритих полів. Метод, описаний із специфікатором static, повинен звертатися тільки до статичних полів класу. Зверніть увагу на те, що статичний метод викликається через ім'я класу, а звичайний через ім'я екземпляра. При виклику методу з іншого методу того ж класу ім'я класу/екземпляра можна не указувати.

Лістинг 5.2. Прості методи

using System;

namespace ConsoleApplicationl

{

class Demo

{

public int a = 1;

public const double с = 1.66;

static string s = "Demo";

double y;

public double Gety() // метод отримання поля у

{

return y;

}

public void Sety(double y_) // метод установки поля у

{

y = y_;

}

public static string Gets () // метод отримання поля s

{

return s;

}

}

class Classl

{

static void Main()

{

Demo x = new Demo();

x. Sety (0.12); // виклик метода установки поля у

Console.WriteLine (x.Gety()); // виклик метода отримання поля у

Console.WriteLine (Demo.Gets()); // виклик метода отримання поля s

}

}

}

5.3.1. Параметри методів

Розглянемо детальніше, яким чином метод обмінюється інформацією з кодом, що викликав його. При виклику методу виконуються наступні дії:

1. Обчислюються вирази, що стоять на місці аргументів.

2. Виділяється пам'ять під параметри методу відповідно до їх типу.

3. Кожному з параметрів зіставляється відповідний аргумент (аргументи ніби накладаються на параметри і заміщають їх).

4. Виконується тіло методу.

5. Якщо метод повертає значення, воно передається в точку виклику; якщо метод має тип void, управління передається на оператора, наступного після виклику.

При цьому перевіряється відповідність типів аргументів і параметрів і при необхідності виконується їх перетворення. При невідповідності типів видається діагностичне повідомлення. Лістинг 5.3 ілюструє цей процес.

Лістинг 5.3. Передача параметрів методу

using System;

namespace ConsoleApplicationl

{

class Class1

{

static int Max(int a, int b)

{

if (a>b) return a;

return b;

}

static void Main()

{

int a = 2, b = 4;

int x = Max(a, b); // виклик методу Max

Console.WriteLine(x); // результат: 4

short tl =3, t2 = 4;

int у = Max(tl, t2); // виклик методу Max

Console.WriteLine(у); // результат: 4

int z = Max(a + tl, tl / 2 * b); // виклик методу Max

Console.WriteLine(z); // результат: 5

}

}

}

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

Головна вимога при передачі параметрів полягає в тому, що аргументи при виклику методу повинні записуватися в тому ж порядку, що і в заголовку методу, і повинне існувати неявне перетворення типу кожного аргументу до типу відповідного параметра.

Кількість аргументів повинна відповідати кількості параметрів. На імена ніяких обмежень не накладаються: імена аргументів можуть як збігатися, так і не збігатися з іменами параметрів.

Існують два способи передачі параметрів: за значенням і по посиланню.

При передачі за значенням метод отримує копії значень аргументів, і оператори методу працюють з цими копіями. Доступу до початкових значень аргументів у методу немає, а отже, немає і можливості їх змінити.

При передачі по посиланню (за адресою) метод отримує копії адреси аргументів, він здійснює доступ до елементів пам'яті за цими адресами і може змінювати початкові значення аргументів, модифікуючи параметри.

Для обміну даними між функціями, що викликаються, передбачено чотири параметри:

§ параметри-значення;

§ параметри-посилання - описуються за допомогою ключового слова ref;

§ вихідні параметри - описуються за допомогою ключового слова out;

§ параметри-масиви - описуються за допомогою ключового слова params.

Ключове слово стоїть перед описом типу параметра. Якщо воно відсутнє, параметр вважається за параметр-значення. Параметр-масив може бути тільки один і повинен знаходитися останнім в списку, наприклад:

public int Calculate(int a, ref int b, out int c, params int[] d)...

Параметри-масиви будуть розглянуті в розділі 7, а зараз розглянемо решту типів параметрів.

Параметр-значення описується в заголовку методу таким чином:

тип ім’я

Приклад заголовка методу, що має один параметр-значення цілого типу:

void Р(int х)

Ім'я параметра може бути довільним. Параметр х є локальною змінною, яка набуває свого значення із функції при виклику методу. У метод передається копія значення аргументу.

Механізм передачі наступний: з елементу пам'яті, в якій зберігається змінна, береться її значення і копіюється в спеціальну область пам'яті (область параметрів). Метод працює з цією копією, отже, доступу до осередку, де зберігається сама змінна, не має. Після закінчення роботи методу область параметрів звільняється. Таким чином, для параметрів-значень використовується, як ви здогадалися, передача за значенням. Зрозуміло, що цей спосіб годиться тільки для величин, які не повинні змінитися після виконання методу, тобто для його початкових даних.

При виклику методу на місці параметра, переданого за значенням, може знаходитися вираз, а також, звичайно, його окремі випадки - змінна або константа. Повинне існувати неявне перетворення типу виразу до типу параметра.

Наприклад, нехай в функції описані змінні і їм до виклику методу привласнені значення:

int x = 1;

sbyte с = 1;

ushort у = 1;

Тоді наступні виклики методу Р будуть синтаксично правильними:

Р(х); Р(c); Р(у); Р(200); Р(х / 4 + 1);

Дата добавления: 2014-12-27