Чтобы обеспечить принудительную проверку переполнения для целого блока операторов, контекст
checked
можно определить так:
try
{
checked
{
byte sum = (byte)Add(b1, b2);
Console.WriteLine("sum = {0}", sum);
}
}
catch (OverflowException ex)
{
Console.WriteLine(ex.Message);
}
В
любом случае интересующий код будет автоматически оцениваться на предмет возможных условий переполнения, и если они обнаружатся, то сгенерируется исключение, связанное с переполнением.
Настройка проверки переполнения на уровне проекта
Если создается приложение, в котором никогда не должно возникать молчаливое переполнение, то может обнаружиться, что в контекст ключевого слова
checked
приходится помещать слишком много строк кода. В качестве альтернативы компилятор C# поддерживает флаг
/checked
. Когда он указан, все присутствующие в коде арифметические операции будут оцениваться на предмет переполнения, не требуя применения ключевого слова
checked
. Если переполнение было обнаружено, тогда сгенерируется исключение времени выполнения. Чтобы установить его для всего проекта, добавьте в файл проекта следующий код:
Настройка проверки переполнения на уровне проекта (Visual Studio)
Для активизации флага
/checked
в Visual Studio откройте окно свойств проекта. В раскрывающемся списке Configuration (Конфигурация) выберите вариант All Configurations (Все конфигурации), перейдите на вкладку Build (Сборка) и щелкните на кнопке Advanced (Дополнительно). В открывшемся диалоговом окне отметьте флажок Check for arithmetic overflow (Проверять арифметическое переполнение), как показано на рис. 3.3. Включить эту настройку может быть удобно при создании отладочной версии сборки. После устранения всех условий переполнения в кодовой базе флаг
/checked
можно отключить для последующих построений (что приведет к увеличению производительности приложения).
На заметку! Если вы не выберете в списке вариант All Configurations, тогда настройка будет применена только к конфигурации, выбранной в текущий момент (т.е Debug (Отладка) или Release (Выпуск)).
Использование ключевого слова unchecked
А теперь предположим, что проверка переполнения и потери значимости включена в масштабах проекта, но есть блок кода, в котором потеря данных приемлема. Как с ним быть? Учитывая, что действие флага
/checked
распространяется на всю арифметическую логику, в языке C# имеется ключевое слово
unchecked
, которое предназначено для отмены генерации исключений, связанных с переполнением, в отдельных случаях. Ключевое слово
unchecked
используется аналогично
checked
, т.е. его можно применять как к единственному оператору, так и к блоку операторов:
// Предполагая, что флаг /checked активизирован, этот блок
// не будет генерировать исключение времени выполнения.
unchecked
{
byte sum = (byte)(b1 + b2);
Console.WriteLine("sum = {0} ", sum);
}
Подводя
итоги по ключевым словам
checked
и
unchecked
в С#, следует отметить, что стандартное поведение исполняющей среды .NET Core предусматривает игнорирование арифметического переполнения и потери значимости. Когда необходимо обрабатывать избранные операторы, должно использоваться ключевое слово
checked
. Если нужно перехватывать ошибки переполнения по всему приложению, то придется активизировать флаг
/checked
. Наконец, ключевое слово
unchecked
может применяться при наличии блока кода, в котором переполнение приемлемо (и, следовательно, не должно приводить к генерации исключения времени выполнения).
Неявно типизированные локальные переменные
Вплоть до этого места в главе при объявлении каждой локальной переменной явно указывался ее тип данных:
static void DeclareExplicitVars
{
// Явно типизированные локальные переменные
// объявляются следующим образом:
// типДанных имяПеременной = начальноеЗначение;
int myInt = 0;
bool myBool = true;
string myString = "Time, marches on...";
}
В то время как многие согласятся с тем, что явное указание типа данных для каждой переменной является рекомендуемой практикой, язык C# поддерживает возможность неявной типизации локальных переменных с использованием ключевого слова
var
. Ключевое слово
var
может применяться вместо указания конкретного типа данных (такого как
int
,
bool
или
string
). Когда вы поступаете подобным образом, компилятор будет автоматически выводить лежащий в основе тип данных на основе начального значения, используемого для инициализации локального элемента данных.
Чтобы прояснить роль неявной типизации, создайте новый проект консольного приложения по имени
ImplicitlyTypedLocalVars
и добавьте его в свое решение. Обновите код в
Program.cs
, как показано ниже:
using System;
using System.Linq;
Console.WriteLine("***** Fun with Implicit Typing *****");
Добавьте следующую функцию, которая демонстрирует неявные объявления:
static void DeclareImplicitVars
{
// Неявно типизированные локальные переменные
// объявляются следующим образом:
// var имяПеременной = начальноеЗначение;
var myInt = 0;
var myBool = true;
var myString = "Time, marches on...";
}
На заметку! Строго говоря,
var
не является ключевым словом языка С#. Вполне допустимо объявлять переменные, параметры и поля по имени
var
, не получая ошибок на этапе компиляции. Однако когда лексема
var
применяется в качестве типа данных, то в таком контексте она трактуется компилятором как ключевое слово.