Console.WriteLine("*** Создание и испытание автомобиля ***");
Car myCar = new Car("Zippy", 20);
myCar.CrankTunes(true);
for (int i = 0; i ‹ 10; i++) myCar.Accelerate(10);
Console.ReadLine();
}
Тогда мы увидим вывод, подобный показанному на рис. 6.1.
Рис. 6.1. Объект Car в действии
Генерирование исключений
Теперь, когда тип Car функционирует, продемонстрируем простейший способ генерирования исключений. Текущая реализация Accelerate() выводит сообщение об ошибке, когда значение скорости объекта Car становится выше заданного предела.
Модифицируем этот метод так, чтобы он генерировал исключение при попытке пользователя увеличить скорость автомобиля выше предусмотренных его создателем пределов. Для этого нужно создать и сконфигурировать экземпляр класса System.Exception, установив значение доступного только для чтения свойства Message с помощью конструктора класса. Чтобы отправить соответствующий ошибке объект вызывающей стороне, используйте ключевое слово C# throw. Вот как может выглядеть соответствующая модификация метода Accelerate().
// Теперь, если пользователь увеличит скорость выше maxSpeed,
// генерируется исключение.
public void Accelerate(int delta) {
if (carIsDead) Console.WriteLine("{0} не работает…", petName);
else {
currSpeed += delta;
if (currSpeed ›= maxSpeed) {
carIsDead = true;
currSpeed = 0;
// Используйте ключевое слово "throw",
// чтобы генерировать исключение.
throw new Exception(string.Format("{0} перегрелся!", petName));
} else Console.WriteLine("=› CurrSpeed = {0}', currSpeed);
}
}
Прежде чем выяснить, как вызывающая сторона должна обрабатывать это исключение, отметим несколько интересных моментов. Во-первых, при генерировании исключения только от вас зависит, что следует считать исключительной ситуацией и когда должно быть сгенерировано соответствующее исключение. Здесь мы предполагаем, что при попытке в программе увеличить скорость автомобиля, который уже перестал функционировать, должен генерироваться тип System.Exception, сообщающий, что метод Accelerate() не может продолжить свою работу.
В качестве альтернативы можно реализовать такой метод Accelerate(), который автоматически выполнит восстановление без генерирования исключения. Вообще говоря, исключения должны генерироваться только тогда, когда выявляются экстремальные ситуации (например, не найден необходимый файл, нет возможности соединиться с базой данных и т.п.). Решение о том, что именно должно вызывать появление исключений, должно приниматься разработчиком, и вы, как разработчик, должны всегда помнить об этом. Для наших примеров мы предполагаем, что увеличение скорости нашего обреченного автомобиля выше допустимого предела является вполне серьезной причиной для генерирования исключения.
Обработка исключений
Ввиду того, что теперь метод Accelerate() может генерировать исключение, вызывающая сторона должна быть готова обработать такое исключение. При вызове метода, способного генерировать исключение, вы должны использовать блок try/catch. Приняв исключение, вы можете вызвать члены типа System.Exception и прочитать подробную информацию о проблеме. Что вы будете делать с полученными данными, зависит, в основном, от вас. Вы можете поместить соответствующую информацию в файл отчета, записать ее в журнал регистрации событий Windows, отправить ее по электронной почте администратору системы или показать сообщение с описанием проблемы конечному пользователю. Здесь мы просто выводим информацию в окно консоли.
// Обработка сгенерированного исключения.
static void Main(string[] args) {
Console.WriteLine("*** Создание и испытание автомобиля ***");
Car myCar = new Car("Zippy", 20);
myCar.CrankTunes(true);
// Превышение допустимого максимума для скорости,
// чтобы генерировать исключение.
try {
for (int i = 0; i ‹ 10; i++) myCar.Accelerate(10);
} catch(Exception e) {
Console.WriteLine("n*** Ошибка! ***");
Console.WriteLine("Метод: {0}", e.TargetSite);
Console.WriteLine("Сообщение: {0}", e.Message);
Console.WriteLine("Источник: {0}", е.Source);
}
// Ошибка обработана, выполняется следующий оператор.
Console.WriteLine("n*** Выход из обработчика исключений ***");
Console.ReadLine();
}
Блок try представляет собой набор операторов, которые могут генерировать иcключения в ходе их выполнения. Если обнаруживается исключение, поток выполнения программы направляется подходящему блоку catch. С другой стороны, если программный код в рамках блока try не генерирует исключений, блок catch полностью пропускается, и все проходит "тихо и спокойно". На рис. 6.2 показан вывод этой программы.
Как видите, после обработки исключения приложение может продолжать свою работу, начиная с оператора, следующего за блоком catch. В некоторых случаях исключение может оказаться достаточно серьезным для того, чтобы прекратить выполнение приложения. Но в большинстве случаев оказывается возможным исправить ситуацию в рамках программной логики обработчика исключений, чтобы приложение продолжило свою работу (хотя и с возможными ограничениями функциональности, если, например, не удается установить соединение с удаленным источником данных).
Рис. 6.2. Визуализация ошибок в рамках структурированной обработки исключений
Конфигурация состояния исключений
В настоящий момент конфигурация нашего объекта System.Exception задается в методе Accelerate(), где устанавливается значение, приписываемое свойству Message (через параметр конструктора). Но, как следует из табл. 6.1, класс Exception предлагает ряд дополнительных членов (TargetSite, StackTrace, HelpLink и Data), которые могут оказаться полезными в процессе дальнейшего анализа возникшей проблемы. Чтобы усовершенствовать наш пример, давайте рассмотрим содержимое указанных членов.
Свойство TargetSite
Свойство System.Exception.TargetSite позволяет выяснить дополнительную информацию о методе, генерирующем данное исключение. Как показано в предыдущем варианте метода Main(), при выводе значения TargetSite демонстрируется возвращаемое значение, имя и параметры метода, генерирующего данное исключение. Но TargetSite возвращает не просто строку, а строго типизированный объект System.Reflection.MethodBase. Этот тип содержит подробную информацию о методе, породившем проблему, и том классе, который определяет данный метод. Для иллюстрации обновим предыдущую логику catch так, как показано ниже.
static void Main(string[] args) {
…
// В действительности TargetSite возвращает объект MethodBase.
catch(Exception e) {
Console.WriteLine("n*** Ошибка! ***");
Console.WriteLine("Имя члена: {0}", е.TargetSite);
Console.WriteLine("Класс, определяющий метод: {0}", е.TargetSite.DeclaringType);
Console.WriteLine("Тип члена: {0}", е.TargetSite.MemberType);
Console.WriteLine("Сообщение: {0}", e.Message);
Console.WriteLine("Источник: {0}", e.Source);
}
Console.WriteLine("n*** Выход из обработчика исключений ***");
myCar.Accelerate(10); // Это не ускорит автомобиль.
Consolе.ReadLine();
}
На этот раз вы используете свойство MethodBase.DeclaringType, чтобы определить абсолютное имя класса, сгенерировавшего ошибку (в данном случае это класс SimpleException.Car), и свойство MemberType объекта MethodBase, чтобы идентифицировать тип породившего исключение члена (в том смысле, свойство это или метод). На рис. 6.3 показан обновленный вывод.
Рис 6.3. Получение информации о целевом объекте
Свойство StackTrace
Свойство System.Exception.StackTrace позволяет идентифицировать серию вызовов, которые привели к исключительной ситуации. Вы не должны устанавливать значение StackTrace, поскольку это делается автоматически в момент создания исключения. Для иллюстрации предположим, что мы снова обновили программный код catch.
catch (Exception e) {
…
Console.WriteLine(''Стек {0}", e.StackTrace);
}
Если выполнить программу теперь, то вы обнаружите, что на консоль будет выведен след стека (для вашего приложения номера строк и названия папок, конечно же, могут быть другими).
Стек: at SimpleException.Car.Accelerate(Int32 delta)
in с:myаррsexceptionscar.cs: line 65
at Exceptions.App.Main()
in с:myappsexceptionsapp.cs: line 21
Строка, возвращаемая из StackTrace, сообщает последовательность вызовов, которые привели к генерированию данного исключения. Обратите внимание на то, что здесь последняя из возвращенных строк идентифицирует первый вызов в последовательности, а строка с наивысшим номером идентифицирует проблемный член. Эта информация может быть полезной при отладке приложения, поскольку вы получаете возможность "пройти" путь до источника ошибки.
