В заголовочных файлах все идентификаторы объявляются в пространстве имен std.

Одно из преимуществ новой схемы выбора имен заключается в том, что она позволяет легко отличить старый заголовочный файл для строковых функций char* от стандартного заголовочного файла С++ для работы с классом string:

linclude <string> Класс string языка С++

linclude <cstring> Функции ctiar* языка С

Впрочем, новая схема именования заголовочных файлов вовсе не означает, ЧТО файлы стандартных заголовков не имеют расширений с точки зрения операционной системы. Правила обработки команд include для стандартных заголовочных файлов определяются реализацией. Скажем, системы программирования С++ могут добавлять расширения и даже использовать стандартные объявления без загрузки файла. Но на практике большинство систем просто включает заголовок из файла, имя которого точно совпадает с именем, указанным в команде include. Следовательно, в большинстве систем стандартные заголовочные файлы С++ пе имеют расширений. Помните, что требование об отсутствии расширения относится только к стандартным заголовочным файлам. В общем случае рекомендуется снабжать заголовочные файлы расширениями, чтобы упростить их идентификацию в файловой системе.

Для сохранения совместимости с С оставлена поддержка «старых» стандартных заголовочных файлов С. Если потребуется, вы можете использовать команду

#include <stdlib.h>

В этом случае идентификаторы объявляются как в глобальной области видимости, так и в пространстве имен std. На практике все выглядит так, словно идентификаторы объявлены в пространстве имен std, после чего была выполнена директива using (см. с. 33).

Спецификация заголовочных файлов С++ «старого» формата (например, <iostream.h>) в стандарте отсутствует; кстати, это решение неоднократно менялось в процессе стандартизации. Таким образом, старые заголовочные файлы официально не поддерживаются. Вероятно, на практике большинство поставщиков будут предоставлять их для обратной совместимости. Однако изменения в заголовках не ограничиваются введением пространства имен std, поэтому в общем случае следует либо использовать старые имена заголовочных файлов, либо переключиться на новые стандартизированные имена.

Обработка ошибок и исключений

Стандартная библиотека С++ неоднородна. Она содержит программный код из множества разных источников, отличающихся по стилю проектирования и реализации. Типичным примером таких различий является обработка ошибок и исключений. Одни части библиотеки - например, строковые классы - поддерживают подробную обработку ошибок. Они проверяют все возможные проблемы, которые могут возникнуть в работе программы, и генерируют исключение в случае ошибки. Другие компоненты - например, стандартная библиотека шабло-

нов STL и массивы valarray - оптимизируются по скорости, поэтому они редко проверяют логические ошибки и выдают исключения только в случае ошибок времени выполнения.

Стандартные классы исключений

Все исключения, генерируемые языком или библиотекой, происходят от общего предка - базового класса exception. Этот класс является корнем иерархического дерева исключений, изображенного на рис. 3.1. Стандартные классы исключений делятся на три категории:

О исключения языковой поддержки;

О исключения стандартной библиотеки С++;

О исключения внешних ошибок.

•xcaption -

bad alloc

bad cast

bad typeid

logicarror

domain error

i nva 1 id argumen t

lan9th arror

ou t o £ r ang*

los bas«::failure

runtiiM «rror

b adaxcapti on

rang« arror

overflow arror

underflow error

Рис 3.1. Иерархия стандартных исключений

Классы исключений языковой поддержки

Исключения языковой поддержки используются на уровне языка С++, поэтому их правильнее было бы отнести к базовому языку, нежели к библиотеке. Эти исключения генерируются при неудачных попытках вьшолнения некоторых операций.

О Исключение класса Ьас1 а11ос генерируется при неудачном выполнении глобального оператора new (кроме версии new с запретом исключений). Вероятно, это самое важное исключение, поскольку в любой нетривиальной программе оно может возникнуть в любой момент.

О Исключение класса bad cast генерируется оператором dynamic cast, если преобразование типа по ссылке во время выполнения завершается неудачей. Оператор dynamic cast описан на с. 35.

О Исключение класса bad typeid генерируется оператором typeid, предназначенным для идентификации типов во время выполнения. Если аргументом typeid является ноль или null-указатель, генерируется исключение.

О Исключение класса bad exception предназначено для обработки непредвиденных исключений. В его обработке задействована функция unexpecbed(), которая вызывается при возникновении исключений, ие входящих в спецификацию исключений соответствующей функции (спецификации исключений рассматриваются на с. 32). Пример:

class El class Е2

void f() throw(El) {

throw ElO: throw E2():

Исключение типа E2 нарушает спецификацию исключений функции f(). В этом случае будет вызвана функция unexpected(), которая обычно передает управление функции terminateO для завершения программы. Но при включении в спецификацию исключений класса bad exception функция unexpected() обычно перезапускает исключение этого типа:

class El class Е2

void f() throw(El,std::bad exception)

Генерирует исключения типа El или

bad exception для всех остальных типов исключений

throw Е1С); Генерирует исключение типа Е1

throw Е2(): Вызывает функцию unexpectedC). } которая генерирует bad exception

Итак, если спецификация исключений содержит класс bad exception, то функция unexpectedO может заменить исключением bad exceptlon любое исключение, не входящее в спецификацию.

Классы исключений стандартной библиотеки

Классы исключений стандартной библиотеки С++ обычно являются производными от класса logic error. К категории логических ошибок относятся ошибки, которые (по крайней мере, теоретически) можно предотвратить, например, до-

Поведение функции unexpecced() можно переопределить. Тем не менее функция никогда не генерирует исключения, не указанные в спецификации исключений (если она есть).