Методы локальные и сжатые до выражений

В версии C# 7.0 введены еще два вида методов, которые в ряде случаев существенно упрощают программирование. Это локальные методы и методы, сжатые до выражений.

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

При определении локального метода запрещено снабжать его модификатором static. Но если охватывающий метод является статическим, то и все его локальные методы также статические. Локальный метод имеет доступ ко всем локальным переменным и к параметрам охватывающего метода. В дополнение отметим, что локальный метод может быть рекурсивным и может быть определен как асинхронный.

Пример иллюстративной программы с локальными методами.

// 09₀₂.cs — Локальные методы using System; class Program {.

static void MainQ.

{

double Sring (double Rl, double R2).

{

double Rmax = Math. Max (Rl, R2); double Rmin = Math. Min (Rl, R2);

}

double Scircle (double R).

{

return Math. PI * R * R;

}

double A = 10, a = 4;

Console.WriteLine («Площадь кольца = {0:F4}», Sring (A, a));

} }

Результат выполнения программы:

Площадь кольца = 263,8938.

В приведенном коде программы охватывающим является метод Main (), в котором определены два локальных метода: SringO и ScircleQ. Первый из названных локальных методов вычисляет площадь кругового кольца, а второй — площадь круга. Большее из значений параметров R1 и R2 метода SringO служит радиусом внешнего круга кольца, меньшее определяет радиус внутренней границы кольца. В теле метода SringO дважды выполняется обращение к локальному методу Scircle (). Остальное тривиально. В метод Main0 декларированы две вещественные переменные (double А=10, а=4), которые используются в качестве аргументов метода SringO;

Упростить декларацию метода в тех случаях, когда в его теле всего один оператор, позволяет синтаксис методов, сжатых до выражений. Объявление метода, сжатого до выражения, имеет следующий вид:

тип_возвращаемого_значения имя_метода (спецификация_параметров) => выражение;

Если тип возвращаемого значения отличен от void, то «выражение» в приведенной конструкции интерпретируется как оператор «return выражение;». Если тип «возвращаемого значения» определен как void, то значение выражения никак не учитывается (игнорируется), а интерес представляет только побочный эффект его вычисления.

В качестве примера декларации методов, сжатых до выражений, можно было бы изменить объявления локальных методов SringO и Scircle () из предыдущей программы (в этом случае тело метода SringO пришлось бы преобразовать, чтобы в нем остался только один оператор return).

Приведем другую программу с методами, сжатыми до выражений, где вычисляется длина гипотенузы по длинам катетов прямоугольного треугольника.

// 09₆₃.cs — методы_} сжатые до выражений using System; class Program {.

static void Print (string st, double z) =>

Console.WriteLine (st + «= {0}», z); static void MainQ {.

double Hypotenuse (double x, double y) =>

Math.Sqrt (x * x + у * у);

double a = 3, b = 4;

Print («KaTeT A», a);

Print («KaTeT B» j b);

Print ('TMnoTeHy3a", Hypotenuse (a, b));

} }

Результат выполнения программы:

Катет, А = 3.

Катет В = 4.

Гипотенуза = 5.

В программе определены два метода, сжатые до выражений: Print () и Hypotenuse (). Метод PrintQ декларирован как статический, принадлежащий классу Program. Первый параметр метода Print () типа string определяет название результата, выводимого с помощью обращения к методу Console. WriteLine () из метода Print (). Второй параметр метода Print () имеет тип double. Он определяет выводимое значение (числовой результат).

Метод Hypotenuse () локализован в статическом методе Main (). Его назначение — вычислить по длинам катетов, значения которых заданы параметрами (double х, double у), (и вернуть) длину гипотенузы.

В методе Main () декларированы две локальные вещественные переменные (double а = 3, b = 4), играющие роль катетов прямоугольного треугольника. С помощью обращений к методу Print () выводятся сведения о катетах и длина гипотенузы (см. результаты выполнения программы). Обратите внимание, что в третьем обращении вещественный параметр метода Print () заменен вызовом метода Hypotenuse (), аргументы которого — локальные вещественные переменные охватывающего метода.

Отметим, что методы, сжатые до выражений, не обязательно должны быть локальными или статическими методами. Особых ограничений на них не наложено. Например, метод, сжатый до выражения, может быть конструктором в декларации класса. Единственное требование — тело метода должно состоять из единственного оператора.