2.6 Вычисленные включения

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

#if SYSTEM_1
# include "system_1.h"
#elif SYSTEM_2
# include "system_2.h"
#elif SYSTEM_3
…
#endif

что быстро становится утомительным. Вместо этого препроцессор предоставляет возможность использовать макрос для имени заголовочного файла. Это называется вычисленным включением. Вместо того, чтобы писать имя заголовочного файла в качестве непосредственного аргумента ‘#include’, вы просто помещаете имя макроса вместо него:

#define SYSTEM_H "system_1.h"
…
#include SYSTEM_H

SYSTEM_H будет расширен, и препроцессор будет искать system_1.h, как если бы ‘#include’ было написано таким образом изначально. SYSTEM_H может быть определен вашим Makefile с помощью параметра -D.

Вы должны быть осторожны при определении макроса. ‘#define’ сохраняет токены, а не текст. Препроцессор не знает, что макрос будет использоваться как аргумент ‘#include’, поэтому он генерирует обычные токены, а не имя заголовочного файла. Это вряд ли вызовет проблемы, если вы используете включения в двойных кавычках, которые достаточно близки к строковым константам. Однако, если вы используете угловые скобки, у вас могут возникнуть проблемы.

Синтаксис вычисленного включения фактически немного более общий, чем указанный выше. Если первый символ, отличный от пробела, после ‘#include’ не ‘"’ или ‘<’, то вся строка макро-расширяется как текстовый фрагмент.

Если расширение приводит к единственной строковой константе, то содержимое этой строковой константы является файлом, который должен быть включен. CPP не повторно анализирует строку на вложенные кавычки, но также не обрабатывает обратные слэши в строке. Следовательно,

#define HEADER "a\"b"
#include HEADER

ищет файл с именем a\"b. CPP ищет файл в соответствии с правилами для включений в двойных кавычках.

Если расширение приводит к потоку токенов, начинающемуся с токена ‘<’ и содержащему токен ‘>’, то токены между ‘<’ и первым ‘>’ объединяются для формирования имени файла, который нужно включить. Любые пробелы между токенами сводятся к одному пробелу; затем любой пробел после начального ‘<’ сохраняется, но конечный пробел перед закрывающим ‘>’ игнорируется. CPP ищет файл в соответствии с правилами для включений в угловых скобках.

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

Эти правила являются поведенческими, определенными реализацией в соответствии со стандартом C. Чтобы свести к минимуму риск различной интерпретации вычисленных включений различными компиляторами, мы рекомендуем использовать только один макрос типа объекта, который расширяется до строковой константы. Это также минимизирует путаницу для людей, читающих вашу программу.