Язык программирования C#9 и платформа .NET5 - Эндрю Троелсен
Шрифт:
Интервал:
Закладка:
y = 88888;
return ans;
}
Числовые данные относятся к категории типов значений. Следовательно, в случае изменения значений параметров внутри контекста члена вызывающий код будет оставаться в полном неведении об этом, потому что изменения вносятся только в копию первоначальных данных из вызывающего кода:
Console.WriteLine("***** Fun with Methods *****n");
// Передать две переменные по значению.
int x = 9, y = 10;
Console.WriteLine("Before call: X: {0}, Y: {1}", x, y);
// Значения перед вызовом
Console.WriteLine("Answer is: {0}", Add(x, y));
// Результат сложения
Console.WriteLine("After call: X: {0}, Y: {1}", x, y);
// Значения после вызова
Console.ReadLine();
Как видно в показанном далее выводе, значения х и у вполне ожидаемо остаются идентичными до и после вызова метода Add(), поскольку элементы данных передавались по значению. Таким образом, любые изменения параметров, производимые внутри метода Add(), вызывающему коду не видны, т.к. метод Add() оперирует на копии данных.
***** Fun with Methods *****
Before call: X: 9, Y: 10
Answer is: 19
After call: X: 9, Y: 10
Стандартное поведение для ссылочных типов
Стандартный способ, которым параметр ссылочного типа отправляется функции, предусматривает передачу по ссылке для его свойств, но передачу по значению для него самого. Детали будут представлены позже в главе после объяснения типов значений и ссылочных типов.
На заметку! Несмотря на то что строковый тип данных формально относится к ссылочным типам, как обсуждалось в главе 3, он является особым случаем. Когда строковый параметр не имеет какого-либо модификатора, он передается по значению.
Использование модификатора out (обновление в версии 7.0)
Теперь мы рассмотрим выходные параметры. Перед покиданием области видимости метода, который был определен для приема выходных параметров (посредством ключевого слова out), им должны присваиваться соответствующие значения (иначе компилятор сообщит об ошибке). В целях демонстрации ниже приведена альтернативная версия метода AddUsingOutParam(), которая возвращает сумму двух целых чисел с применением модификатора out (обратите внимание, что возвращаемым значением метода теперь является void):
// Значения выходных параметров должны быть
// установлены внутри вызываемого метода.
static void AddUsingOutParam(int x, int y, out int ans)
{
ans = x + y;
}
Вызов метода с выходными параметрами также требует использования модификатора out.Однако предварительно устанавливать значения локальных переменных, которые передаются в качестве выходных параметров, вовсе не обязательно (после вызова эти значения все равно будут утрачены). Причина, по которой компилятор позволяет передавать на первый взгляд неинициализированные данные, связана с тем, что вызываемый метод обязан выполнить присваивание. Чтобы вызвать обновленный метод AddUsingOutParam(), создайте переменную типа int и примените в вызове модификатор out:
int ans;
AddUsingOutParam(90, 90, out ans);
Начиная с версии C# 7.0, больше нет нужды объявлять параметры out до их применения. Другими словами, они могут объявляться внутри вызова метода:
AddUsingOutParam(90, 90, out int ans);
В следующем коде представлен пример вызова метода с встраиваемым объявлением параметра out:
Console.WriteLine("***** Fun with Methods *****");
// Присваивать начальные значения локальным переменным, используемым
// как выходные параметры, не обязательно при условии, что они
// применяются в таком качестве впервые.
// Версия C# 7 позволяет объявлять параметры out в вызове метода.
AddUsingOutParam(90, 90, out int ans);
Console.WriteLine("90 + 90 = {0}", ans);
Console.ReadLine();
Предыдущий пример по своей природе предназначен только для иллюстрации; на самом деле нет никаких причин возвращать значение суммы через выходной параметр. Тем не менее, модификатор out в C# служит действительно практичной цели: он позволяет вызывающему коду получать несколько выходных значений из единственного вызова метода:
// Возвращение множества выходных параметров.
static void FillTheseValues(out int, out string b, out bool c)
{
a = 9;
b = "Enjoy your string.";
c = true;
}
Теперь вызывающий код имеет возможность обращаться к методу FillTheseValues(). Не забывайте, что модификатор out должен применяться как при вызове, так и при реализации метода:
Console.WriteLine("***** Fun with Methods *****");
FillTheseValues(out int i, out string str, out bool b);
Console.WriteLine("Int is: {0}", i); // Вывод целочисленного значения
Console.WriteLine("String is: {0}", str); // Вывод строкового значения
Console.WriteLine("Boolean is: {0}", b); // Вывод булевского значения
Console.ReadLine();
На заметку! В версии C# 7 также появились кортежи, представляющие собой еще один способ возвращения множества значений из вызова метода. Они будут описаны далее в главе.
Всегда помните о том, что перед выходом из области видимости метода, определяющего выходные параметры, этим параметрам должны быть присвоены допустимые значения. Таким образом, следующий код вызовет ошибку на этапе компиляции, потому что внутри метода отсутствует присваивание значения выходному параметру:
static void ThisWontCompile(out int a)
{
Console.WriteLine("Error! Forgot to assign output arg!");
// Ошибка! Забыли присвоить значение выходному параметру!
}
Отбрасывание параметров out (нововведение в версии 7.0)
Если значение параметра out не интересует, тогда в качестве заполнителя можно использовать отбрасывание. Отбрасывания представляют собой временные фиктивные переменные, которые намеренно не используются. Их присваивание не производится, они не имеют значения и для них может вообще не выделяться память. Отбрасывание способно обеспечить выигрыш в производительности, а также сделать код более читабельным. Его можно применять с параметрами out, кортежами (как объясняется позже в главе), сопоставлением с образцом (см. главы 6 и 8) или даже в качестве автономных переменных.
Например, если вы хотите получить значение для int в предыдущем примере, но остальные два параметра вас не волнуют, тогда можете написать такой код:
// Здесь будет получено значение только для а;
// значения для других двух параметров игнорируются.
FillTheseValues(out int a, out _, out _);
Обратите внимание, что вызываемый метод по-прежнему выполняет работу, связанную с установкой значений для всех трех параметров; просто последние два параметра отбрасываются, когда происходит возврат из вызова метода.
Модификатор out в конструкторах и инициализаторах
