C++ для начинающих

public:

explicit length_error( const string &what_arg );

};

class domain_error : public logic_error { // вне допустимой области

public:

explicit domain_error( const string &what_arg );

};

}

Функция может возбудить исключение invalid_argument, если получит аргумент с некорректным значением; в конкретной ситуации, когда значение аргумента выходит за пределы допустимого диапазона, разрешается возбудить исключение out_of_range, а length_error используется для оповещения о попытке создать объект, длина которого превышает максимально возможную.

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

namespace std {

class runtime_error : public exception { // ошибка времени выполнения

public:

explicit runtime_error( const string &what_arg );

};

class range_error : public runtime_error { // ошибка диапазона

public:

explicit range_error( const string &what_arg );

};

class overflow_error : public runtime_error { // переполнение

public:

explicit overflow_error( const string &what_arg );

};

class underflow_error : public runtime_error { // потеря значимости

public:

explicit underflow_error( const string &what_arg );

};

}

Функция может возбудить исключение range_error, чтобы сообщить об ошибке во внутренних вычислениях. Исключение overflow_error говорит об ошибке арифметического переполнения, а underflow_error – о потере значимости.

Класс exception является базовым и для класса исключения bad_alloc, которое возбуждает оператор new(), когда ему не удается выделить запрошенный объем памяти (см. раздел 8.4), и для класса исключения bad_cast, возбуждаемого в ситуации, когда ссылочный вариант оператора dynamic_cast не может быть выполнен (см. раздел 19.1).

Переопределим оператор operator[] в шаблоне Array из раздела 16.12 так, чтобы он возбуждал исключение типа range_error, если индекс массива Array выходит за границы:

#include stdexcept

#include string

template class elemType

class Array {

public:

// ...

elemType& operator[]( int ix ) const

{

if ( ix 0 || ix = _size )

{

string eObj =

"ошибка: вне диапазона в ArrayelemType::operator[]() ";

throw out_of_range( eObj );

}

return _ia[ix];

}

// ...

private:

int _size;

elemType *_ia;

};

Для использования предопределенных классов исключений в программу необходимо включить заголовочный файл . Описание возбужденного исключения содержится в объекте eObj типа string. Эту информацию можно извлечь в обработчике с помощью функции-члена what():

int main()

{

try {

// функция main() такая же, как в разделе 16.2

}

catch ( const out_of_range &excep ) {

// печатается:

// ошибка: вне диапазона в ArrayelemType::operator[]()

cerr excep.what() "\n ";

return -1;

}

}

В данной реализации выход индекса за пределы массива в функции try_array() приводит к тому, что оператор взятия индекса operator[]() класса Array возбуждает исключение типа out_of_range, которое перехватывается в main().

Упражнение 19.5

Какие исключения могут возбуждать следующие функции:

#include stdexcept

(a) void operate() throw( logic_error );

(b) int mathErr( int ) throw( underflow_error, overflow_error );

(c) char manip( string ) throw( );

Упражнение 19.6

Объясните, как механизм обработки исключений в C++ поддерживает технику программирования"захват ресурса – это инициализация; освобождение ресурса – это уничтожение".

Упражнение 19.7

Исправьте ошибку в списке catch-обработчиков для данного try-блока:

#include stdexcept

int main() {

try {

// использование функций из стандартной библиотеки

}

catch( exception ) {