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