Программирование. Принципы и практика использования C++ Исправленное издание

Интерфейсы средств из стандартной библиотеки определены в заголовках. Некоторые из заголовков, упомянутых в следующей таблице, не входят в стандарт языка C++, принятый ISO в 1998 году. Тем не менее они станут частью следующего стандарта и в настоящее время являются широкодоступными. Такие заголовки обозначены “C++0x”. Для их использования может потребоваться отдельная инсталляция и/или пространство имен, отличающееся от std (например, tr1 или boost). В этом разделе вы узнаете, какие средства могут стать доступными в вашей программе, а также можете угадать, где они определены и описаны.

Для каждого заголовка стандартной библиотеки языка С существует аналогичный заголовочный файл без первой буквы c в имени и с расширением .h, например заголовочный файл <time.h> для заголовка <ctime>. Версии заголовков с окончанием .h определяют глобальные имена, а не имена в пространстве имен std.

Некоторые, но не все средства, определенные в этих заголовках, описаны в следующих разделах и главах основного текста книги. Если вам необходима более полная информация, обратитесь к онлайн-документации или к книге по языку С++ экспертного уровня.

Б.1.2. Пространство имен std

Средства стандартной библиотеки определены в пространстве имен std, поэтому, чтобы использовать их, необходимо указать их явную квалификацию, выполнить объявление using или директиву using.

 std::string s; // явная квалификация
 using std::vector; // объявление using
 vector<int>v(7);
 using namespace std; // директива using
 map<string,double> m;

В этой книге для доступа к пространству имен std мы использовали директиву using. Будьте осторожны с директивами using (см. раздел A.15).

Б.1.3. Стиль описания

Полное описание даже простой операции из стандартной библиотеки, например конструктора или алгоритма, может занять несколько страниц. По этой причине мы используем чрезвычайно лаконичный стиль представления. Рассмотрим пример.

Мы старались выбирать мнемонические идентификаторы, поэтому символы b,e будут обозначать итераторы, задающие начало и конец диапазона; p — указатель или итератор; x — некое значение, полностью зависящее от контекста. В этой системе обозначений отличить функцию, не возвращающую никакого результата, от функции, возвращающей переменную булевого типа, без дополнительных комментариев невозможно, поэтому, если не приложить дополнительных усилий, их можно перепутать. Для операций, возвращающих переменную типа bool, в объяснении обычно стоит знак вопроса.

Если алгоритмы следуют общепринятым соглашениям, возвращая конец входной последовательности для обозначения событий “отказ”, “не найден” и т.п. (раздел Б.3.1), то мы это явно не указываем.

Б.2. Обработка ошибок

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

• Библиотека в стиле языка С состоит из функций, многие из которых для индикации ошибок устанавливают флаг errno (см. раздел 24.8).

• Многие алгоритмы для последовательностей элементов возвращают итератор, установленный на элемент, следующий за последним, отмечая тем самым, что произошла ошибка или искомый элемент не найден.

• Библиотека потоков ввода-вывода для сообщений об ошибках использует состояние каждого потока и может (если пользователь этого потребует) генерировать исключения (см. разделы 10.6 и Б.7.2).

• Некоторые компоненты стандартной библиотеки, такие как vector, string и bitset, при обнаружении ошибок генерируют исключения.

Стандартная библиотека разработана так, чтобы все ее средства удовлетворяли базовым условиям (см. раздел 19.5.3). Иначе говоря, даже если исключение сгенерировано, ни один ресурс (например, память) не будет потерян и ни один инвариант класса из стандартной библиотеки не будет нарушен.

Б.2.1. Исключения

Некоторые средства стандартной библиотеки сообщают об ошибках, генерируя исключения.

< image l:href="#"/>

Эти исключения могут возникнуть в любом коде, явно или неявно использующем указанные средства библиотеки. Если вы уверены, что все использованные средства были использованы правильно и поэтому не могли сгенерировать исключение, то целесообразно всегда в каком-то месте (например, в функции main) перехватывать объекты одного из корневых классов иерархии исключений из стандартной библиотеки (например, exception).

Мы настоятельно рекомендуем не генерировать исключения встроенных типов, например числа типа int или строки в стиле языка C. Вместо этого следует генерировать объекты типов, специально разработанных для использования в качестве исключения. Для этого можно использовать класс, производный от стандартного библиотечного класса exception.

 class exception {
 public:
  exception;
  exception(const exception&);
  exception& operator=(const exception&);
  virtual ~exception;
  virtual const char* what const;
 };

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

Приведенная ниже иерархия стандартных исключений может помочь вам классифицировать исключения.

Можете определить исключение, выведя его из стандартного библиотечного исключения следующим образом:

 struct My_error:runtime_error {
  My_error(int x):interesting_value(x) { }
  int interesting_value;
  const char* what const { return "My_error"; }