Стенли Липпман - Язык программирования C++. Пятое издание

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

// гипотетический класс исключения для приложения книжного магазина

class out_of_stock: public std::runtime_error {

public:

explicit out_of_stock(const std::string &s):

std::runtime_error(s) { }

};

class isbn_mismatch: public std::logic_error {

public:

explicit isbn_mismatch(const std::string &s):

std::logic_error(s) { }

isbn_mismatch(const std::string &s,

const std::string &lhs, const std::string &rhs):

std::logic_error(s), left(lhs), right(rhs) { }

const std::string left, right;

};

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

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

Классы исключений книжного магазина представляют даже более специализированный слой. Класс out_of_stockпредставляет проблему времени выполнения, специфическую для данного приложения. Он используется для оповещения о нарушении порядка выполнения. Класс исключения isbn_mismatchпредставляет собой более специализированную форму класса logic_error. В принципе программа может обнаружить несоответствие ISBN, вызвав функцию isbn().

Собственные классы исключений применяются точно так же, как и классы стандартной библиотеки. Одна часть программы передает объект одного из этих классов, а другая получает и обрабатывает его, устраняя проблему. Например, для перегруженного оператора суммы класса Sales_itemможно создать класс исключения isbn_mismatch, передаваемого в случае обнаружения ошибки несовпадения ISBN.

// передает исключение, если isbn объектов не совпадают

Sales_data&

Sales_data::operator+=(const Sales_data& rhs) {

if (isbn() != rhs.isbn())

throw isbn_mismatch("wrong isbns", isbn(), rhs.isbn());

units_sold += rhs.units_sold;

revenue += rhs.revenue;

return *this;

}

Обнаружив эту ошибку, использующий оператор +=код сможет передать соответствующее сообщение об ошибке и продолжить работу.

// применение исключения в приложении книжного магазина

Sales_data item1, item2, sum;

while (cin >> item1 >> item2) { // прочитать две транзакции

try {

sum = item1 + item2; // вычислить их сумму

// использовать сумму

} catch (const isbn_mismatch &e) {

cerr << e.what() << ": left isbn(" << e.left

<< ") right isbn (" << e.right << ")" << endl;

}

}

Упражнение 18.9. Определите описанные в этом разделе классы исключений приложения книжного магазина и перепишите составной оператор присвоения класса Sales_dataтак, чтобы он передавал исключение.

Упражнение 18.10. Напишите программу, использующую оператор суммы класса Sales_dataдля объектов с разными ISBN. Напишите две версии программы: способную обрабатывать исключении и не обрабатывающую их. Сравните поведение программ, чтобы ознакомиться с тем, что происходит при отсутствии обработки исключения.

Упражнение 18.11. Почему так важно, чтобы функция what()не передавала исключений?

В больших программах обычно используют библиотеки от независимых разработчиков. В таких библиотеках обычно определено множество глобальных имен классов, функций и шаблонов. Когда приложение использует библиотеки от многих разных поставщиков, некоторые из этих имен почти неизбежно совпадут. Библиотеки, помещающие имена в глобальное пространство имен, вызывают загромождение пространства имен (namespace pollution).