Работа с исключительными ситуациями (exceptions)

Замените последнюю версию строки описания объекта o строкой.

object o = new object ();

и вновь активизируйте приложение командой Debug. Start Debugging.

Возникает ошибка времени выполнения (runtime error) типа «Object must be of type String», вызванная тем, что фактическим параметром метода CompareTo оказался объект, «не сводимый к строке». В этом случае метод CompareTo создает (throw) экземпляр класса исключительной ситуации (сокращенно, ИС) типа System. ArgumentException — наследника корневого класса System.Exception. Среда прерывает выполнение кода, сообщая, что эта исключительная ситуация осталась без реакции со стороны кода (unhandled).

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

string s = «b» ;

object o = new object ();

try.

{.

C.WriteLine (s.CompareTo (o));

}.

catch (Exception e).

{.

C.WriteLine (e);

}.

C.ReadLine ();

Внутрь «блока попытки» try { } помещен вызов метода CompareTo, который может создать (throw) исключительную ситуацию (этот факт указывается в описании метода в справочной системе).

При возникновении исключительной ситуации управление передается вверх по стеку в ближайший «блок обнаружения» catch (Exception e){}. В блок catch программист помещает операторы, реагирующие на обнаруженное исключение. При этом экземпляр созданного объекта (в данном случае объекта класса ArgumentException) передается переменной e того же типа или типа предка (в данном случае типа Exception). При перемещении вверх по стеку, информация о маршруте перемещения накапливается в свойстве Message объекта e.

Оператор C. WriteLine (e) (сокращенная запись от WriteLine (e.Message); попробуйте) печатает сообщение, перенесенное объектом e.

System.ArgumentException: Object must be of type String.

at System.String.CompareTo (Object value).

at StringTestProject.StringTest.Main (String[] args) in.

далее следует конкретный маршрут к исполняемому модулю StringTest и номер строки кода.

Можно написать код, который должен выполняться после потенциального источника ИС вне зависимости от того, возникла ИС или нет. Для этого после блока catch следует открыть еще один блок, озаглавив его служебным словом finally. Наберите в предыдущем примере сразу после блока catch (перед C. ReadLine ();) код.

finally { C. WriteLine («Always done»); }.

Проверьте его работу при возникновении ИС и, когда ошибка не возникает (к примеру, замените строку с объявлением объекта o строкой object o = «c» ;).

Источником исключительной ситуации являлся в данном случае метод CompareTo, и созданный им объект типа System. ArgumentException принял сообщение (Message) Object must be of type String, напечатанное в первой строке текста.

Если добавить в «блок попытки» try перед строкой C. WriteLine (s.CompareTo (o));

оператор вида.

if (!(o is string)).

throw new ArgumentException («Object is not of type String»);

то до входа в метод CompareTo дело не дойдет (проверьте).

Примерно такой оператор находится внутри метода CompareTo, и именно так создается экземпляр объекта исключительной ситуации нужного типа.

Оператор if, использованный в последнее строке, относится к условным операторам языка C#. Вслед за служебным словом if в круглых скобках располагается выражение, возвращающее логическое значение true или false. Далее находится оператор (или блок операторов {}), выполняющийся по значению true.

Класс String, реализовав интерфейс IComparable, делает свои объекты сравнимыми по определенным характеристикам.