Исключения

Общая информация

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

Для обнаружения ошибки служит механизм исключений и обработки исключительных ситуаций (или обработки исключений). Исключение (и механизм работы с ним) — это и есть то действие, которое сообщает об ошибке. А для получения информации об ошибке служат специальные типы исключений.

Исключение — это событие, которое возникает при появлении нештатной ситуации (ошибки) в процессе исполнения кода программы. Например, ошибка деления чисел на 0, ошибка доступа к файлу, выход индекса за границы массива и т. д. При возникновении ошибки будет выброшено исключение. Когда выбрасывается исключение, работа программы на текущем уровне вложенности прерывается и управление передается на предыдущий уровень по порядку вызова методов языка (по стеку вызовов). Если исключение не обработано на очередном уровне, то ошибка «поднимается» по уровням вложенности вызовов языка до тех пор, пока не достигнет собственно среды исполнения. Если исключение «дошло» до среды исполнения, то это означает следующее:

• Исполнение программы прервано.
• Все данные, которые были сформированы (и не сохранены) до возникновения ошибки, потеряны.
• Пользователь увидит техническое сообщение, которое может не нести никакого прикладного смысла для пользователя.

Чтобы упростить пользователю борьбу с последствиями ошибок, предназначен механизм обработки исключений. Это специальный механизм, который определяет наступление ошибки (выбрасывание исключения) и затем передает управление в специальное место программы, где можно выполнить действия, связанные с ошибкой. Такое место называется обработчик исключений. При этом информация об ошибке поступит в обработчик исключений в виде экземпляра, базовым типом для которого выступает Исключение, тип которого будем называть типом исключения.

Обработка исключений

Для обработки исключений предназначена специальная конструкция обработки исключений попытка - поймать:

попытка
    безопасный-код

[поймать имя-переменной-1: тип-исключения-1
    обработка-исключения-типа-тип-исключения-1]

[поймать имя-переменной-2: тип-исключения-2|тип-исключения-3
    обработка-исключений-с-типом-тип-исключения-2-или-тип-исключения-3]

[поймать имя-переменной-3: Исключение
    обработка-исключений-остальных-типов]

[вконце
    завершающая-секция]

;

Рассмотрим, как работает описанная конструкция. Если в блоке безопасный-код (причем на любом уровне вложенности вызовов от рассматриваемого места), произойдет ошибка, приводящая к выбрасыванию исключения, то:

Как вызвать исключение

Рекомендуемый способ выбрасывания исключения — это применение инструкции выбросить. В качестве параметра данной инструкции выступает экземпляр, описывающий исключение. Тип такого экземпляра является потомком типа Исключение. Этот экземпляр может быть создан с помощью конструктора или получен в обработчике какого-либо исключения. Можно выбрасывать исключения как для стандартных, так и для собственных типов исключений. Стандартное исключение можно создать самостоятельно, если для такого исключения в колонке Конструктор таблицы Типы исключений языка установлена отметка Да.

Объявление типа исключения

Для того чтобы создать новый тип исключения, следует воспользоваться специальной конструкцией, имеющей следующий синтаксис:

исключение имя-типа-исключения
    [[модификатор-обязательности]модификатор имя-поля: тип-поля[ = значение-инициализации]]
    [[модификатор-обязательности]модификатор имя-поля: тип-поля[ = значение-инициализации]]
    [[модификатор-обязательности]модификатор имя-поля: тип-поля[ = значение-инициализации]]
    ...
    [конструктор]
    ...
    [метод]
    [метод]
;

В некотором смысле описание типа исключения подобно описанию структуры: каждый тип исключения может содержать поля с информацией, специфической для этого типа исключения. Кроме полей, созданных разработчиком данного типа исключения, каждый тип исключения содержит некоторый набор предопределенных полей, описание которых приведено в разделе Описание исключения.

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

Кроме того, в исключении можно указывать простые и статические методы.

Рассмотрим пример пользовательского исключения. Допустим, нам необходимо выбросить исключение при ошибке чтения файла. Создадим для этого тип исключения ИсключениеЧтенияФайла, где будет дополнительное поле — имя файла.

исключение ИсключениеЧтенияФайла
    обз пер ИмяФайла: Строка
;

новый ИсключениеЧтенияФайла("Ошибка чтения файла", "path\file.txt")

новый ИсключениеЧтенияФайла("Ошибка чтения файла", "path\file.txt", ФайловаяОшибка)

Описание исключения

Каждое исключение обладает следующими стандартными свойствами:

Поле

Описание

Описание

Тип: Строка. Содержит текстовое представление ошибки, описываемой данным типом исключения

Причина

Тип: Исключение?. Содержит исключение, которое непосредственно послужило причиной возникновения данного исключения

ПодавленныеИсключения

Тип: ЧитаемыйМассив экземпляров типа Исключение. Содержит список подавленных (перехваченных) исключений, который привел к данному.

ПоследовательностьВызовов

Тип: Строка. Текстовое представление стека вызовов начиная от самой первой ошибки

Работа с закрываемыми ресурсами

Если в одной области видимости требуется отслеживать состояние нескольких закрываемых экземпляров, то все эти экземпляры необходимо явно объявить с использованием модификатора исп. При выходе из области видимости «1С:Исполнитель» автоматически закроет все экземпляры, объявленные с таким модификатором.

Инициализация закрываемых экземпляров выполняется в порядке их (экземпляров) объявления. Закрытие экземпляров выполняется в порядке, обратном порядку инициализации. Если при работе с закрываемым ресурсом возможно возникновение перехватываемого исключения, то правильно будет реализовать саму работу в блоке безопасного кода инструкции попытка.

Возможно вложенное использование конструкций обработки исключений.

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

метод ПримерНаЗакрываемыйТип()
    попытка 
        пер Файл = Файлы.Создать(СредаИсполнения.ПолучитьПеременную("temp") + "\\test.txt")
        исп Поток = Файл.ОткрытьПотокЗаписи()
        Поток.Записать("1-я строка\н")
        Поток.Записать("2-я строка\н")
        Поток.Записать("3-я строка\н")
        пер Успех = "Файл записан!"
    поймать Искл: Исключение
        // попадем сюда, если хоть какое-то исключение случилось
        // здесь поток записи уже закрыт
        // переменная Поток здесь уже отсутствует
        пер Ошибка = Искл.ПоследовательностьВызовов + "\н" + Искл.Описание
    вконце
        // попадем сюда в любом случае
        // здесь поток записи уже закрыт!
        // переменная Поток здесь уже отсутствует
        пер Конец = "Файловый поток закрыт, переменная недоступна (выход из области видимости)"
    ;
;

Встроенные типы исключений