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))

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