Язык программирования C#9 и платформа .NET5
// Логика обработки. ..}}bool IsValid([NotNullWhen(true)] string? line){return !string.IsNullOrEmpty(line) && line.Length >= mark.Length;}}Статические локальные функции (нововведение в версии 8.0)
В версии C# 8 средство локальных функций было усовершенствовано — появилась возможность объявлять локальную функцию как статическую. В предыдущем примере внутри локальной функции
производилась прямая ссылка на переменные из главной функции. Результатом могут стать неожиданные побочные эффекты, поскольку локальная функция способна изменять значения этих переменных.Add()Чтобы увидеть возможные побочные эффекты в действии, создайте новый метод по имени
с таким кодом:AddWrapperWithSideEffeet()static int AddWrapperWithSideEffect(int x, int y){// Здесь должна выполняться какая-то проверка достоверностиreturn Add();int Add(){x += 1;return x + y;}}Конечно, приведенный пример настолько прост, что вряд ли что-то подобное встретится в реальном коде. Для предотвращения ошибки подобного рода добавьте к локальной функции модификатор
. Это не позволит локальной функции получать прямой доступ к переменным родительского метода, генерируя на этапе компиляции исключение CS8421, "A static local function cannot contain a reference to ‘<имя переменной>’" (Статическая локальная функция не может содержать ссылку на ‘<имя переменной>’).staticНиже показана усовершенствованная версия предыдущего метода:
static int AddWrapperWithStatic(int x, int y){// Здесь должна выполняться какая-то проверка достоверностиreturn Add(x,y);static int Add(int x, int y){return x + y;}}Понятие параметров методов
Параметры методов применяются для передачи данных вызову метода. В последующих разделах вы узнаете детали того, как методы (и вызывающий их код) обрабатывают параметры.
Модификаторы параметров для методов
Стандартный способ передачи параметра в функцию — по значению. Попросту говоря, если вы не помечаете аргумент каким-то модификатором параметра, тогда в функцию передается копия данных. Как объясняется далее в главе, то, что в точности копируется, будет зависеть от того, относится параметр к типу значения или к ссылочному типу.
Хотя определение метода в C# выглядит достаточно понятно, с помощью модификаторов, описанных в табл. 4.2, можно управлять способом передачи аргументов методу.
Чтобы проиллюстрировать использование перечисленных ключевых слов, создайте новый проект консольного приложения по имени
. А теперь давайте рассмотрим их роль.FunWithMethodsСтандартное поведение передачи параметров
Когда параметр не имеет модификатора, поведение для типов значений предусматривает передачу параметра по значению, а для ссылочных типов — по ссылке.
На заметку! Типы значений и ссылочные типы рассматриваются позже в главе.
Стандартное поведение для типов значений
По умолчанию параметр типа значения передается функции по значению. Другими словами, если параметр не помечен каким-либо модификатором, то в функцию передается копия данных. Добавьте в класс
следующий метод, который оперирует с двумя параметрами числового типа, передаваемыми по значению:Program// По умолчанию аргументы типов значений передаются по значению.static int Add(int x, int y){int ans = x + y;// Вызывающий код не увидит эти изменения,// т.к. модифицируется копия исходных данных// original data.x = 10000;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 *****
