- •11. Инкапсуляция
- •12. Полиморфизм
- •13. Наследование
- •Управление доступом
- •Элементы класса
- •Элементы данных
- •Элементы функции
- •15. Перегрузка функций
- •16. Конструкторы и деструкторы Конструктор
- •Деструктор
- •17. Параметризированные конструкторы
- •18. Дружественные функции
- •19. Inline-функции
- •20. Передача объектов в функции
- •21. Возвращение объектов функциями
- •22. Массивы объектов
- •23. Указатели на объекты
- •24. Указатель this
- •25. Перегрузка операторов
- •26. Ссылки
- •27. Наследование и спецификаторы доступа
- •28. Конструкторы и деструкторы производных классов
- •29. Множественное наследование. Передача параметров в конструктор базового класса
- •30. Указатели и ссылки на производные типы
- •31. Виртуальные функции
- •32. Чисто виртуальные функции и абстрактные типы
- •33. Раннее и позднее связывание
- •35. Создание собственных операторов вставки и извлечения.
- •36. Форматирование ввода-вывода
- •37. Файловый ввод-вывод
- •38. Чтение и запись в текстовые файлы
- •39. Двоичные файлы
- •40. Функции-шаблоны
- •41. Классы-шаблоны
- •42. Использование пространства имён
- •43. Контейнерные классы
- •46. Основы обработки исключений
- •47. Идентификация типа во время исполнения (rtti)
- •49. Виртуальный базовый класс
46. Основы обработки исключений
Обработка исключений
Обработка исключений позволяет упорядочить обработку ошибок времени исполнения. Используя обработку исключений С++, программа может автоматически вызывать код для обработки ошибок тогда, когда такая ошибка возникает.
Основы обработки исключений
Обработка исключений в С++ использует три ключевых слова: try, catch и throw. Те инструкции программы, где ожидается возможность появления исключительных ситуаций, содержится в блоке try. Если в блоке try возникает исключение, т.е. ошибка, то генерируется исключение. Исключение перехватывается, используя catch, и обрабатывается. Ниже это общее описание будет рассмотрено более подробно.
Инструкция, генерирующая исключение, должна исполняться внутри блока try. Вызванные из блока try функции также могут генерировать исключения. Всякое исключение должно быть перехвачено инструкцией catch, которая непосредственно следует за инструкцией try, сгенерировавшей исключение. Общая форма блоков try и catch показано ниже:
try {
// блок try
}
catch (тип1 аргумент) {
// блок catch
}
catch (тип2 аргумент) {
// блок catch
}
…
catch (типN аргумент) {
// блок catch
}
Размеры блока try могут изменяться в больших пределах. Например, блок try может содержать несколько инструкций какой-либо функции, либо же, включать в себя весь код функции main( ), так что вся программа будет охвачена обработкой исключений.
Когда исключение сгенерировано, оно перехватывается соответствующей инструкцией catch, обрабатывающей это исключение. Одному блоку try может отвечать несколько инструкций catch. Какая именно инструкция catch исполняется, зависит от типа исключения. Это означает, что если тип данных, указанных в инструкции catch, соответствует типу данных исключения, то только эта инструкция catch и будет исполнена. Когда исключение перехвачено, аргумент получает её значение. Перехваченным может быть любой тип данных, включая созданные программистом классы. Если никакого исключения не сгенерировано, то инструкции catch выполняться не будут.
Общая форма записи инструкции throw имеет вид:
throw исключение;
Инструкция throw должна выполняться либо внутри блока try, либо в функции, вызванной из блока try. В приведённом выше выражении исключение обозначает сгенерированное значение.
Если генерируется исключение, для которого отсутствует подходящая инструкция catch, может произойти аварийное завершение программы.
Пример
// обработка простого исключения
#include <iostream>
using namespace std;
int main()
{
cout << "Start\n";
try { // начало блока try
cout << "Inside try block\n";
throw 100; // генерация исключения
cout << "This will no execute";
}
catch (int i) { // перехват ошибки
cout << "Caught an exception -- value is: ";
cout << i << "\n";
}
cout << "End";
getchar();
return 0;
}
Программа выведет на экран:
Start
Inside try block
Caught an exeption –– value is: 100
End
Блок try содержит три инструкции. За ним следует инструкция catch(int i), обрабатывающая исключения целого типа. В блоке try будут выполняться только две инструкции: первая и вторая – throw. Как только исключение было сгенерировано, управление передаётся инструкции catch, а блок try прекращает своё исполнение. Таким образом, инструкция после инструкции throw никогда не выполняется.
Обычно код в инструкции catch пытается исправить ошибку путём выполнения подходящих действий. Если ошибку удалось исправить, то выполнение продолжается с инструкции, непосредственно следующей за catch. Однако иногда не удаётся справится с ошибкой, и блок catch завершает программу путём вызова функции exit() или abort().
Как отмечалось выше, тип исключения должен соответствовать указанному в инструкции типу.
Пример
// данный пример не будет работать
#include <iostream>
using namespace std;
int main()
{
cout << "Start\n";
try { // начало блока try
cout << "Inside try block\n";
throw 100; // генерация исключения
cout << "This will no execute";
}
catch (double i) { // не будет работать для int
cout << "Caught an exception -- value is: ";
cout << i << "\n";
}
cout << "End";
getchar();
return 0;
}
Эта программа выдаст следующий результат:
Start
Inside try block
в отдельном окне, в зависимости от способа запуска
Unhandled exception at …in try.exe: MicrosoftC++ exception:
int at memory location …
Исключение может также быть сгенерировано из функции, вызванной изнутри блока try. В качестве примера:
#include <iostream>
using namespace std;
void Xtest(int test)
{
cout << "Inside Xtest, test is: " << test << "\n";
if (test) throw test;
}
int main()
{
cout << "Start\n";
try {// начало блока try
cout << "Inside try blok\n";
Xtest(0);
Xtest(1);
Xtest(2);
}
catch (int i) {// перехват ошибки
cout << "Caught an exception -- value is: ";
cout << i << "\n";
}
cout << "End";
getchar();
return 0;
}
Эта программа выдаст следующий результат:
Start
Inside try block
Inside Xtest, test is: 0
Inside Xtest, test is: 1
Caught an exception – value is: 1
End
Блок try может быть локализован в какой-то функции. В таком случае всякий раз при входе в функцию начинается обработка исключений.
Пример
#include <iostream>
using namespace std;
void Xhandler(int test)
{
try {
if (test) throw test;
}
catch (int i) {
cout << "Caught exception #: " << i << "\n";
}
}
int main()
{
cout << "Start\n";
Xhandler(1);
Xhandler(2);
Xhandler(0);
Xhandler(3);
cout << "End";
getchar();
return 0;
}
Эта программа выдаст на экран следующий текст
Start
Caught exception #: 1
Caught exception #: 2
Caught exception #: 3
End
Как видно, сгенерировано три исключения. После каждого исключения функция возвращает управление в функцию main. При каждом новом вызове функции возвращается обработка исключений.