Справочное руководство по C++

Если функция, имеющая спецификацию-особой-ситуации, запускает неуказанную особую ситуацию, то вызывается функция

void unexpected();

Она в свою очередь вызывает функцию, которая была задана как параметр при последнем обращении к set_unexpected():

typedef void(*PFV)();

PFV set_unexpected(PFV);

Функция, которая была задана в предыдущем вызове set_unexpected(), будет возвращаемым значением текущего вызова. Это помогает пользователю реализовать алгоритм восстановления стека. По умолчанию unexpected() вызывает terminate(). Поскольку по умолчанию terminate() вызывает abort(), результатом будет непосредственное и точное обнаружение ошибки.

R.15.7 Особые ситуации и правила доступа

Для формального параметра операции catch действуют такие же правила доступа, как и для формального параметра функции, в которой задана операция catch.

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

R.16 Препроцессорная обработка

Реализация языка C++ включает препроцессор с возможностями макроподстановки, условной трансляции и включения указанных файлов.

Для передачи заданий препроцессору служат строки, начинающиеся с символа # (перед ним могут идти пробелы и символы горизонтальной табуляции). Такие строки называются командами, и их синтаксис определяется независимо от остального языка. Команды могут находиться в любом месте программы, и их действие продолжается (независимо от правил областей видимости С++) до конца данной единицы трансляции (§R.2).

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

К лексемам препроцессора относятся: лексемы самого языка (§R.2.1), имя файла, которое используется в команде #include и вообще любой символ, отличный от обобщенного пробела и несовпадающий ни с какой из лексем препроцессора.

R.16.1 Фазы препроцессорной обработки

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

Перечислим их.

При необходимости символы, зависящие от системы символы, обозначающие конец строки, заменяются на стандартный символ конца строки. Аналогичной замене подлежат все зависящие от системы символы. Определенные последовательности символов (триграфы) заменяются на эквивалентный им отдельный символ (§R.16.2).

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

Входной текст разбивается на лексемы препроцессора и последовательность обобщенных пробелов. Каждый комментарий заменяется на один пробел. Входной текст не должен кончаться посреди лексемы или комментария.

Выполняются команды препроцессора, и производятся макроподстановки (§R.16.3, §R.16.4, §R.16.5, §R.16.6, §R.16.7 и §R.16.8).

В символьных константах и строках литералов комбинации специальных символов заменяются на свои эквиваленты (§R.2.5.2).

Сливаются соседние строки литералов.

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

R.16.2 Триграфные последовательности

Прежде чем начнется какая-либо иная препроцессорная обработка, каждое вхождение триграфной последовательности заменяется на один символ в соответствии с приведенной ниже таблицей.

??=	#
??/	\
??'	^
??(	[
??)	[
??!	|

Например, строка

??=define arraycheck(a,b) a??(b??) ??!??! b??(a??)

преобразуется в

#define arraycheck(a,b) a[b] || b[a]

R.16.3 Макроопределение и макроподстановка

Команда вида

#define идентификатор строка-лексем

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

#define SIDE 8

описание

char chessboard[side][side];

после макроподстановки примет вид

char chessboard[8][8];