В FAQ есть пример, объясняющий разницу между inline и #define. Код находится здесь, а ссылка: https://www.parashift.com/c++-faq/inline-vs-macros.html
Пробовал с Visual C++, и unsafe(), и unsafe(f()) не увеличивали i дважды. В примере нет ошибки?
Основная идея #define заключается в том, что это просто директива препроцессора, а это означает, что это:
#define unsafe(i) ( (i) >= 0 ? (i) : -(i) )
предварительно обработает ваш код перед его компиляцией и заменит оператор
unsafe(x++);
со следующим
((x++) >= 0 ? (x++) : -(x++));
Каждый раз, когда вычисляется x++, x увеличивается.
Одна из возможных причин, по которой у вас возникают проблемы с правильным получением этого примера кода, может заключаться в том, что вы компилируете свой код с оптимизацией, которая оптимизирует весь неиспользуемый/ненужный код.
Если вы нигде не используете свой x, то он считается неиспользуемым и, следовательно, не включается в скомпилированный код.
Только что проверил пример, проверьте ответ Эрика Гопака для объяснения:
// A macro that returns the absolute value of i
#define unsafe(i) \
((i) >= 0 ? (i) : -(i))
// An inline function that returns the absolute value of i
inline
int safe(int i)
{
return i >= 0 ? i : -i;
}
int countCalls = 0;
int f()
{
return countCalls++;
};
int main()
{
int x = 0;
int ans = 0;
ans = unsafe(x++); // Error! x is incremented twice
ans = unsafe(f()); // Danger! f() is called twice
// x = 2
// countCalls = 2
ans = safe(x++); // Correct! x is incremented once
ans = safe(f()); // Correct! f() is called once
// x = 3
// countCalls = 3
return 0;
}
ans = unsafe(x++);, ans будет иметь значение 0. В точке ans = unsafe(f()); ans будет иметь значение 1. Короче говоря, второе приращение ans первого Функция unsafe() "зафиксирована" во второй функции unsafe() 08.12.2013 
