Язык программирования C#9 и платформа .NET5 - Троелсен Эндрю. Страница 66

{

  byte sum = (byte)(b1 + b2);

  Console.WriteLine("sum = {0} ", sum);

}

Подводя итоги по ключевым словам

checked
и
unchecked
в С#, следует отметить, что стандартное поведение исполняющей среды .NET Core предусматривает игнорирование арифметического переполнения и потери значимости. Когда необходимо обрабатывать избранные операторы, должно использоваться ключевое слово
checked
. Если нужно перехватывать ошибки переполнения по всему приложению, то придется активизировать флаг
/checked
. Наконец, ключевое слово
unchecked
может применяться при наличии блока кода, в котором переполнение приемлемо (и, следовательно, не должно приводить к генерации исключения времени выполнения).

Неявно типизированные локальные переменные

Вплоть до этого места в главе при объявлении каждой локальной переменной явно указывался ее тип данных:

static void DeclareExplicitVars()

{

<b>  // Явно типизированные локальные переменные</b>

<b>  // объявляются следующим образом:</b>

<b>  // типДанных имяПеременной = начальноеЗначение;</b>

  int myInt = 0;

  bool myBool = true;

  string myString = &quot;Time, marches on...&quot;;

}

В то время как многие согласятся с тем, что явное указание типа данных для каждой переменной является рекомендуемой практикой, язык C# поддерживает возможность неявной типизации локальных переменных с использованием ключевого слова

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

Чтобы прояснить роль неявной типизации, создайте новый проект консольного приложения по имени

ImplicitlyTypedLocalVars
и добавьте его в свое решение. Обновите код в
Program.cs
, как показано ниже:

using System;

using System.Linq;

Console.WriteLine(&quot;***** Fun with Implicit Typing *****&quot;);

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

static void DeclareImplicitVars ()

{

<b>  // Неявно типизированные локальные переменные</b>

<b>  // объявляются следующим образом:</b>

<b>  // var имяПеременной = начальноеЗначение;</b>

  var myInt = 0;

  var myBool = true;

  var myString = &quot;Time, marches on...&quot;;

}

На заметку! Строго говоря,

var
не является ключевым словом языка С#. Вполне допустимо объявлять переменные, параметры и поля по имени
var
, не получая ошибок на этапе компиляции. Однако когда лексема
var
применяется в качестве типа данных, то в таком контексте она трактуется компилятором как ключевое слово.

В таком случае, основываясь на первоначально присвоенных значениях, компилятор способен вывести для переменной

myInt
тип
System.Int32
, для переменной
myBool
— тип
System.Boolean
, а для переменной
myString
— тип
System.String
. В сказанном легко убедиться за счет вывода на консоль имен типов с помощью рефлексии. Как будет показано в главе 17, рефлексия представляет собой действие по определению состава типа во время выполнения. Например, с помощью рефлексии можно определить тип данных неявно типизированной локальной переменной. Модифицируйте метод
DeclareImplicitVars()
:

static void DeclareImplicitVars()

{

  // Неявно типизированные локальные переменные,

  var myInt = 0;

  var myBool = true;

  var myString = &quot;Time, marches on...&quot;;

  // Вывести имена лежащих в основе типов.

  Console.WriteLine(&quot;myInt is a: {0}&quot;, myInt.GetType().Name);

                    // Вывод типа myInt

  Console.WriteLine(&quot;myBool is a: {0}&quot;, myBool.GetType().Name);

                    // Вывод типа myBool

  Console.WriteLine(&quot;myString is a: {0}&quot;, myString.GetType().Name);

                    // Вывод типа myString

}

На заметку! Имейте в виду, что такую неявную типизацию можно использовать для любых типов, включая массивы, обобщенные типы (см. главу 10) и собственные специальные типы. В дальнейшем вы увидите и другие примеры неявной типизации. Вызов метода

DeclareImplicitVars()
в операторах верхнего уровня дает следующий вывод:

***** Fun with Implicit Typing *****

myInt is a: Int32

myBool is a: Boolean

myString is a: String

Неявное объявление чисел

Неявное объявление Как утверждалось ранее, целые числа по умолчанию получают тип

int
, а числа с плавающей точкой — тип
double
. Создайте новый метод по имени
DeclareImplicitNumerics
и поместите в него показанный ниже код, в котором демонстрируется неявное объявление чисел: