4.2.2 Если

Директива ‘#if’ позволяет проверить значение арифметического выражения, а не просто существование макроса. Ее синтаксис следующий:

#if expression

controlled text

#endif /* expression */

expression — это целочисленное выражение языка C, которому наложены строгие ограничения. Оно может содержать

• Целочисленные константы.
• Символьные константы, которые интерпретируются так же, как и в обычном коде.
• Арифметические операторы сложения, вычитания, умножения, деления, побитовые операции, сдвиги, сравнения и логические операции (&& и ||). Последние две подчиняются обычным правилам короткого замыкания стандартного языка C.
• Макросы. Все макросы в выражении раскрываются до фактического вычисления значения выражения.
• Использование оператора defined, который позволяет проверить, определен ли макрос посредине ‘#if’.
• Идентификаторы, которые не являются макросами, все они считаются равными нулю. Это позволяет записать #if MACRO вместо #ifdef MACRO, если известно, что макрос MACRO, при определении, всегда будет иметь ненулевое значение. Макросы-функции, используемые без скобок вызова функции, также обрабатываются как ноль.

  В некоторых контекстах этот сокращенный вариант нежелателен. Опция -Wundef заставляет GCC выводить предупреждение всякий раз, когда он встречает идентификатор, который не является макросом в ‘#if’.

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

Препроцессор вычисляет значение expression. Все вычисления проводятся в самом широком целочисленном типе, известном компилятору; на большинстве машин, поддерживаемых GCC, это 64 бита. Это не то же самое правило, что компилятор использует для вычисления значения константного выражения, и в некоторых случаях может давать разные результаты. Если значение окажется ненулевым, ‘#if’ успешно выполняется, и управляемый текст включается; в противном случае он пропускается.

Далее: Определён, Предыдущее: Если-определено, Вверх: Условный синтаксис [Оглавление][Индекс]