3.10.2 Проблемы с приоритетом операторов

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

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

#define ceil_div(x, y) (x + y - 1) / y

целью которого является деление с округлением вверх. (Одно из применений этой операции — вычисление количества int объектов, необходимых для размещения определенного числа char объектов.) Затем предположим, что он используется следующим образом:

a = ceil_div (b & c, sizeof (int));
     → a = (b & c + sizeof (int) - 1) / sizeof (int);

Это не делает того, что предполагалось. Правила приоритета операторов языка C делают его эквивалентным этому:

a = (b & (c + sizeof (int) - 1)) / sizeof (int);

Что мы хотим, так это это:

a = ((b & c) + sizeof (int) - 1)) / sizeof (int);

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

#define ceil_div(x, y) ((x) + (y) - 1) / (y)

дает желаемый результат.

Непреднамеренное группирование может возникнуть и другим способом. Рассмотрим sizeof ceil_div(1, 2). Это выглядит как выражение языка C, которое вычислило бы размер типа ceil_div (1, 2), но на самом деле оно означает нечто совершенно иное. Вот что из этого получается:

sizeof ((1) + (2) - 1) / (2)

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

Скобки вокруг всего определения макроса предотвращают такие проблемы. Итак, вот рекомендуемый способ определения ceil_div:

#define ceil_div(x, y) (((x) + (y) - 1) / (y))

Далее: Поглощение точки с запятой, Предыдущее: Неправильное вложение, Наверх: Ловушки макросов [Содержание][Индекс]