Инкремент в макроподстановке - C (СИ)

Формулировка задачи:

#define max(A, В) ((А) > (В) ? (А) : (В))

Если я пошлю в max i++ и j++ (то есть max(i++, j++) ), то, как я прочитал в книге, это вызовет увеличение i и j дважды. Но я так и не разобрался, почему. Подскажите. Спасибо.

Решение задачи: «Инкремент в макроподстановке»

Листинг программы

#define max(a,b) \
   ({ __typeof__ (a) _a = (a); \
       __typeof__ (b) _b = (b); \
     _a > _b ? _a : _b; })

Объяснение кода листинга программы

Представленный код является определением макроса max для инкремента в макроподстановке.
Макроподстановка используется для инкремента значения переменной _a на единицу.
Значение переменной _b не изменяется.
Результатом работы макроса max будет максимальное значение из двух сравниваемых чисел.
Если _a больше _b, то возвращается _a.
Если _b больше _a, то возвращается _b.
В обоих случаях возвращаемое значение будет максимальным из двух сравниваемых чисел.
Возвращаемое значение будет иметь тип, который будет соответствовать типу переменной _a.
В данном случае, код не выполняет никаких действий, кроме сравнения и возврата значения.
В данном случае, код не зависит от порядка вызова, так как не сохраняет состояние между вызовами.
В данном случае, код не содержит управляющих конструкций, таких как условные операторы или циклы.
В данном случае, код не содержит операторов ввода-вывода.
В данном случае, код не содержит операторов присваивания.
В данном случае, код не содержит операторов арифметических операций, кроме сравнения.
В данном случае, код не содержит операторов логических операций.
В данном случае, код не содержит операторов присваивания.
В данном случае, код не содержит операторов управления потоком.
В данном случае, код не содержит операторов возврата из функции.
В данном случае, код не содержит операторов вызова функций.
В данном случае, код не содержит операторов комментирования.