2. Проверяемые и непроверяемые блоки и выражения

У нас остались еще нерассмотренными две операции высшего приоритета - checked и unchecked. Начну с определения. Блок или выражение называется проверяемым (непроверяемым), если ему предшествует ключевое слово checked (unchecked). В проверяемых блоках контролируется вычисление арифметических операций и возникает исключительная ситуация, если, например, при вычислениях происходит переполнение разрядной сетки числа. В непроверяемых блоках такая исключительная ситуация будет проигнорирована, и вычисления продолжатся с неверным результатом.

Слегка модифицируем выше приведенный пример:

byte b1 = 100, b2 = 200, b3;

//b3 = b1 + b2;

b3 = (byte)(b1 + b2);

Если в предыдущем примере с байтами все вычисления были корректны, то теперь результат вычисления b3 просто не верен. При сложении был потерян старший разряд со значением 256, и b3 вместо 300 получит значение 44 из диапазона, допустимого для типа byte. Плохо, когда при выполнении программы возникает исключительная ситуация и программа не может далее нормально выполняться. Но еще хуже, когда программа завершает свою работу, выдавая неправильные результаты. Ложь хуже отказа. Кто виноват в возникшей ситуации? Программист, поскольку именно он разрешил опасную операцию, не позаботился о ее контроле и обработке исключительной ситуации в случае ее возникновения. Программист должен знать, что по умолчанию вычисления выполняются в режиме unchecked. А потому, если нет полной уверенности в возможности проведения преобразования, запись опасных преобразований должна сопровождаться введением проверяемых выражений, охраняемых блоков и сопровождающих их обработчиков исключительных ситуаций. Вот как может выглядеть корректно построенный код:

public void Days()

{

byte hotDays = 0, coldDays = 0, hotAndCold = 0;

const string HOW_HOT =

"Сколько жарких дней в этом году? (выше +25 градусов)";

const string HOW_COLD =

"Сколько холодных дней в этом году? (ниже -25 градусов)";

const string HOW_HOT_AND_COLD =

"В этом году жарких и холодных дней было ";

const string MESSAGE_ERROR =

"Данные не соответствуют типу в методе Days!";

try

{

Console.WriteLine(HOW_HOT);

hotDays = byte.Parse(Console.ReadLine());

Console.WriteLine(HOW_COLD);

coldDays = byte.Parse(Console.ReadLine());

hotAndCold = checked((byte)(hotDays + coldDays));

Console.WriteLine(HOW_HOT_AND_COLD +

hotAndCold.ToString());

}

catch (OverflowException)

{

Console.WriteLine(MESSAGE_ERROR);

}

}

В нормальной ситуации типа byte достаточно для задания числа дней в году, температура которых превосходит средние значения. Но данные вводит пользователь, он может ошибаться, он может вводить данные для Северного или Южного полюса. Поэтому все преобразования помещены в охраняемый блок, вычисления суммарного числа дней помещены в проверяемый блок, предусмотрен обработчик исключительной ситуации.