Бьерн Страуструп. Язык программирования С++ Второе дополненное издание


 Другие точки зрения на особые ситуации



Pdf көрінісі
бет169/256
Дата11.07.2022
өлшемі2,87 Mb.
#37591
1   ...   165   166   167   168   169   170   171   172   ...   256
Байланысты:
Бьерн Страуструп. Язык программирования С . М Бином, 2011

9.1.2 Другие точки зрения на особые ситуации 
"Особая ситуация" - одно из тех понятий, которые имеют разный смысл для разных людей. В С++ 
механизм особых ситуаций предназначен для обработки ошибок. В частности, он предназначен для 
обработки ошибок в программах, состоящих из независимо создаваемых компонентов. 
Этот механизм рассчитан на особые ситуации, возникающие только при последовательном выполнении 
программы (например, контроль границ массива). Асинхронные особые ситуации такие, например, как 
прерывания от клавиатуры, нельзя непосредственно обрабатывать с помощью этого механизма. В 
различных системах существуют другие механизмы, например, сигналы, но они здесь не 
рассматриваются, поскольку зависят от конкретной системы. 
Механизм особых ситуаций является конструкцией с нелокальной передачей управления и его можно 
рассматривать как вариант оператора return. Поэтому особые ситуации можно использовать для целей, 
никак не связанных с обработкой ошибок ($$9.5). Все-таки основным назначением механизма особых 
ситуаций и темой этой главы будет обработка ошибок и создание устойчивых к ошибкам программ. 
9.2 Различение особых ситуаций 
Естественно, в программе возможны несколько различных динамических ошибок. Эти ошибки можно 
сопоставить с особыми ситуациями, имеющими различные имена. Так, в классе Vector обычно 
приходится выявлять и сообщать об ошибках двух видов: ошибки диапазона и ошибки, вызванные 
неподходящим для конструктора параметром: 
class Vector { 
int* 
p; 
int 
sz; 
public: 
enum { max = 32000 }; 
class Range { }; // 
особая ситуация индекса 
class Size { }; // особая ситуация "неверный размер" 
Vector(int 
sz); 
int& 
operator[](int 
i); 
// 
... 
}; 
Как было сказано, операция индексации запускает особую ситуацию Range, если ей задан выходящий 
из диапазона значений индекс. Конструктор запускает особую ситуацию Size, если ему задан 
недопустимый размер вектора: 
Vector::Vector(int sz) 

if (sz<0 || max// 
... 

Пользователь класса Vector может различить эти две особые ситуации, если в проверяемом блоке (т.е. в 
блоке оператора try) укажет обработчики для обеих ситуаций: 
void f() 

try 

use_vectors(); 

catch (Vector::Range) { 
// 
... 

catch (Vector::Size) { 


Бьерн Страуструп.
Язык программирования С++ 
 
236 
// 
... 


В зависимости от особой ситуации будет выполняться соответствующий обработчик. Если управление 
дойдет до конца операторов обработчика, следующим будет выполняться оператор, который идет 
после списка обработчиков: 
void f() 

try 

use_vectors(); 

catch (Vector::Range) { 
// исправить индекс и 
// попробовать опять: 
f(); 

catch (Vector::Size) { 
cerr << "Ошибка в конструкторе Vector::Size"; 
exit(99); 

// сюда мы попадем, если вообще не было особых ситуаций 
// или после обработки особой ситуации Range 

Список обработчиков напоминает переключатель, но здесь в теле обработчика операторы break не 
нужны. Синтаксис списка обработчиков отличен от синтаксиса вариантов case переключателя частично 
по этой причине, частично потому, чтобы показать, что каждый обработчик определяет свою область 
видимости (см. $$9.8). 
Не обязательно все особые ситуации перехватывать в одной функции: 
void f1() 

try 

f2(v); 

catch (Vector::Size) { 
// 
... 


void f2(Vector& v) 

try 

use_vectors(); 

catch (Vector::Range) { 
// 
... 


Здесь f2() перехватит особую ситуацию Range, возникающую в use_vectors(), а особая ситуация Size 
будет оставлена для f1(). 
С точки зрения языка особая ситуация считается обработанной сразу при входе в тело ее обработчика. 
Поэтому все особые ситуации, запускаемые при выполнении этого обработчика, должны 
обрабатываться в функциях, вызвавших ту функцию, которая содержит проверяемый блок. Значит в 
следующем примере не возникнет бесконечного цикла: 
try { 
// 
... 


Бьерн Страуструп.
Язык программирования С++ 
 
237 

catch (input_overflow) { 
// 
... 
throw 
input_overflow(); 

Здесь input_overflow (переполнение при вводе) - имя глобального класса. 
Обработчики особых ситуаций могут быть вложенными: 
try { 
// 
... 

catch (xxii) { 
try 

// сложная реакция 

catch (xxii) { 
// ошибка в процессе сложной реакции 


Однако, такая вложенность редко бывает нужна в обычных программах, и чаще всего она является 
свидетельством плохого стиля. 


Достарыңызбен бөлісу:
1   ...   165   166   167   168   169   170   171   172   ...   256




©emirsaba.org 2024
әкімшілігінің қараңыз

    Басты бет