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

Прокрутка стека(stack unwinding). Процесс выхода из функции при передаче исключения и перехода к поиску его обработчика. Локальные объекты, созданные перед передачей исключения, удаляются перед началом поиска соответствующего обработчика.

Пространство имен(namespace). Механизм, используемый для сбора всех имен, определенных в библиотеке или другом фрагменте программы, в единую область видимости. В отличие от других областей видимости языка С++, область видимости пространства имен может быть определена в нескольких частях. Пространство имен может быть открыто, закрыто и открыто вновь, причем в разных частях программы.

Псевдоним пространства имен(namespace alias). Синтаксис создания синонима для пространства имен имеет следующий вид: namespace N1 = N;где N1 — это лишь другое имя пространства имен N. Пространство имен может иметь несколько псевдонимов, причем псевдонимы и реальное имя пространства имен могут использоваться попеременно.

Спецификация noexcept. Ключевое слово, обычно указывающее, передает ли функция исключение. Когда за списком параметров функции следует ключевое слово noexcept, за ним (необязательно) может следовать заключенное в скобки константное выражение, приводимое к типу bool. Если выражение отсутствует или возвращает значение true, функция не передает исключений. Если выражение возвращает значение falseили у функции нет спецификации исключения, она может передать любое исключение.

Спецификация запрета передачи исключения(nonthrowing specification). Спецификация исключения, обещающая, что функция не будет передавать исключений. Если такая функция передаст исключение, то будет вызвана функция terminate(). К спецификаторам запрета передачи исключения относятся спецификатор noexceptбез аргумента или с аргументом, возвращающим значение true, а также throw().

Статический файловый объект(file static). Локальное для файла имя, которое было объявлено с использованием ключевого слова static. В языке С и версиях языка С++, выпущенных до появления стандарта, статические файловые объекты использовались для объявления таких объектов, которые применимы только в одном файле. Применение статических файловых объектов осуждено стандартом С++. Сейчас они заменены безымянными пространствами имен.

Функция terminate(). Библиотечная функция, вызов которой происходит в случае, когда переданное исключение либо так и не обработано, либо если оно было передано в обработчике исключений. Функция terminate()завершает выполнение программы.

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

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

Некоторые приложения нуждаются в специализированном распределении памяти, которое не могут обеспечить стандартные средства управления памятью. Разработчики таких приложений вынуждены вникать в подробности резервирования памяти, например, применения оператора newдля помещения объекта в специфические виды памяти. Для этого они могут перегрузить операторы newи deleteтак, чтобы самостоятельно контролировать распределение памяти.

Хотя говорят, что можно "перегрузить операторы newи delete", перегрузка этих операторов весьма отличается от способа перегрузки других операторов. Чтобы понять, как их можно перегрузить, следует сначала узнать больше о том, как работают выражения newи delete.

Выражение newиспользуется так:

// выражение new

string *sp = new string("a value"); // зарезервировать и

// инициализировать строку

string *arr = new string[10]; // зарезервировать десять строк,

// инициализированных значением по

// умолчанию

Фактически здесь три этапа: сначала выражение вызывает библиотечную функцию operator new()(или operator new[]()). Эта функция резервирует не типизированную область памяти достаточного размера для содержания объекта (или массива объектов) определенного типа. Затем компилятор запускает соответствующий конструктор, чтобы создать объект (объекты) из переданных инициализаторов. И наконец, возвращается указатель на вновь зарезервированный и созданный объект.

Выражение deleteприменяется для удаления динамически созданного объекта:

delete sp; // удалить *sp и освободить память,

// на которую указывает sp

delete [] arr; // удалить элементы массива и освободить память

Здесь два этапа: сначала для объекта, на который указывает указатель sp, или для элементов массива, на который указывает имя arr, выполняется соответствующий деструктор. Затем компилятор освобождает память, вызвав библиотечную функцию operator delete()или operator delete[]()соответственно.

Приложения, которые собираются самостоятельно контролировать распределение памяти, определяют собственные версии функций operator new()и operator delete(). Даже при том, что библиотека содержит определения этих функций, вполне можно определить их собственные версии, и компилятор не пожалуется на двойное определение. Вместо этого компилятор использует пользовательскую версию, а не определенную библиотекой.

При определении глобальных функций operator new()и operator delete()вся ответственность за динамическое распределение памяти ложится на разработчика. Эти функции должны быть корректны, так как являются жизненно важной частью всей программы.

Функции operator new()и operator delete()можно определить в глобальной области видимости или как функции-члены. Когда компилятор встречает выражение newили delete, он ищет соответствующую вызову функцию оператора. Если резервируемый (освобождаемый) объект имеет тип класса, то компилятор ищет сначала в пределах класса, включая все его базовые классы. Если у класса есть функции-члены operator new()и operator delete(), эти функции и используются в выражении newили delete. В противном случае компилятор ищет соответствующую функцию в глобальной области видимости. Если компилятор находит пользовательскую версию функции, он ее и использует для выполнения выражения newили delete. В противном случае используется версия из стандартной библиотеки.