 |
Перенаправление исключительных ситуаций
|
|
|
|
Иногда возникает положение, при котором необходимо обработать исключительную ситуацию сначала на более низком уровне вложенности блока try, а затем передать ее на более высокий уровень для продолжения обработки. Для того чтобы сделать это, нужно использовать throw без аргументов. В этом случае исключительная ситуация будет перенаправлена к следующему подходящему обработчику (подходящий обработчик не ищется ниже в текущем списке - сразу осуществляется поиск на более высоком уровне). Приводимый ниже пример демонстрирует организацию такой передачи. Программа содержит вложенный блок try и соответствующий блок catch. Сначала происходит первичная обработка, затем исключительная ситуация перенаправляется на более высокий уровень для дальнейшей обработки.
#include<iostream.h>
void func(int i)
{ try{
if(i) throw "Error";
}
catch(char *s) {
cout<<s<<"- выполняется первый обработчик"<<endl;
throw;
}
}
void main()
{ try{
func(1);
}
catch(char *s) {
cout<<s<<"- выполняется второй обработчик"<<endl;
}
}
Результат выполнения программы:
Error - выполняется первый обработчик
Error - выполняется второй обработчик
Если ключевое слово trow используется вне блока catch, то автоматически будет вызвана функция terminate(), которая по умолчанию завершает программу.
Исключительная ситуация, генерируемая оператором new
Следует отметить, что некоторые компиляторы поддерживают генерацию исключений в случае ошибки выделения памяти посредством оператора new, в частности исключения типа bad_alloc. Оно может быть перехвачено и необходимым образом обработано. Ниже в программе рассмотрен пример генерации и обработки исключительной ситуаций bad_alloc. Искусственно вызывается ошибка выделения памяти и перехватывается исключительная ситуация.
|
|
|
#include <new>
using std::bad_alloc;
#include <iostream.h>
void main()
{ double *p;
try{
while(1) p=new double[100]; // генерация ошибки выделения памяти
}
catch(bad_alloc exept) { // обработчик xalloc
cout<<"Возникло исключение"<<exept.what()<<endl;
}
}
В случае если компилятором не генерируется исключение bad_alloc, то можно это исключение создать искусственно:
#include <new>
using std::bad_alloc;
#include <iostream.h>
void main()
{ double *p;
bad_alloc exept;
try{
if(!(p=new double[100000000])) // память не выделена p==NULL
throw exept; // генерация ошибки выделения памяти
}
catch(bad_alloc exept) { // обработчик bad_alloc
cout<<"Возникло исключение "<<exept.what()<<endl;
}
}
Результатом работы программы будет сообщение:
Возникло исключение bad allocation
Оператор new появился в языке C++ еще до того, как был введен механизм обработки исключительных ситуаций, поэтому первоначально в случае ошибки выделения памяти этот оператор просто возвращал NULL. Если требуется, чтобы new работал именно так, надо вызвать функцию set_new_handler() с параметром 0. Кроме того, с помощью set_new_handler() можно задать функцию, которая будет вызываться в случае ошибки выделения памяти. Функция set_new_handler (в заголовочном файле new) принимает в качестве аргумента указатель на функцию, которая не принимает никаких аргументов и возвращает void.
#include<new>
#include<iostream>
using namespace std;
void newhandler()
{ cout << "The new_handler is called: ";
throw bad_alloc();
return;
}
main()
{ char* ptr;
set_new_handler (newhandler);
try {
ptr = new char[~size_t(0)/2];
delete[ ] ptr;
}
catch(bad_alloc &ba) {
cout << ba.what() << endl;
}
}
Результатом работы функции является:
The new_handler is called: bad allocation
В new.h так же определена функция _set_new_handler, аргументом которой является указатель на функцию возвращающую значение типа int и получающую аргумент типа size_t, указывающий размер the amount of space to be allocated.
#include <new.h>
#include <iostream.h>
int error_alloc(size_t) // size_t unsigned integer результат sizeof operator.
{ cout << "ошибка выделения памяти" <<endl;
|
|
|
return 0;
}
void main(void)
{
_set_new_handler(error_alloc);
int *p = new int[10000000000];
}
Результатом работы функции является:
ошибка выделения памяти
В случае, если память не выделяется и не задается никакой функции-аргумента для set_new_handler, оператор new генерирует исключение bad_alloc.
Генерация исключений в конструкторах
Механизм обработки исключительных ситуаций очень удобен для обработки ошибок, возникающих в конструкторах. Так как конструктор не возвращает значения, то соответственно нельзя возвратить некий код ошибки и приходится искать альтернативу. В этом случае наилучшим решением является генерация и обработка исключительной ситуации. При генерации исключения внутри конструктора процесс создания объекта прекращается. Если к этому моменту были вызваны конструкторы базовых классов, то будет обеспечен и вызов соответствующих деструкторов. Рассмотрим на примере генерацию исключительной ситуации внутри конструктора. Пусть имеется класс В, производный от класса А и содержащий в качестве компоненты-данного объект класса local. В конструкторе класса В генерируется исключительная ситуация.
#include<iostream.h>
Class local
{ public:
local() { cout<<"Constructor of local"<<endl; }
~local() { cout<<"Destructor of local"<<endl; }
};
Class A
{ public:
A() { cout<<"Constructor of A"<<endl; }
~A() { cout<<"Destructor of A"<<endl; }
};
Class B: public A
{ public:
local ob;
B(int i)
{ cout<<"Constructor of B"<<endl;
if(i) throw 1;
}
~B() { cout<<"Destructor of B"<<endl; }
};
void main()
{ try {
B ob(1);
}
catch(int) {
cout<<"int exception handler";
}
}
Результат выполнения программы:
Constructor of A
Constructor of local
Constructor of B
Destructor of local
Destructor of A
int exception handler
В программе при создании объекта производного класса В сначала вызываются конструкторы базового класса А, затем класса local, который является компонентом класса В. После этого вызывается конструктор класса В, в котором генерируется исключительная ситуация. Видно, что при этом для всех ранее созданных объектов вызваны деструкторы, а для объекта самого класса В деструктор не вызывается, так как конструирование этого объекта не было завершено.
Если в конструкторах выполнялось динамическое выделение памяти, то при генерации исключительной ситуации выделенная память автоматически освобождена не будет, об этом необходимо заботиться самостоятельно, иначе возникнут утечки памяти.
|
|
|
|
|
|
