Макросы и встраиваемые функции

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

#define max(aa, bb) (aa>bb?aa:bb)

int main()
{
int a = 0;
int b = 1;

int c = max(a++, b++);
cout << a << endl << b << endl << c << endl;
}

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

int c = a++ > b++ ? a++ : b++;

(b увеличится 2 раза)

2. Макросы разворачивает предпроцессор, тело встроенной функции вставляет в место вызова компилятор.

3. Встроенные функции более безопасны в плане типов передаваемых аргументов, т.к. это проверяется еще на этапе компиляции. Макросы могут получить в качестве аргумента (-ов) значения совершенно неподходящего типа (при этом ошибки предпроцессора не будет и компиляция пройдет успешно), что может вызвать undefined behavoir, макрос может вернуть некорректный результат или могут произойти другие нежелательные, но не всегда очевидные последствия.

4. Макросы [i]всегда[/i] разворачиваются предпроцессором, в том время как компилятор делает функцию с inline директивой встроенной в зависимости от своей внутренней логики.

5. Встраиваемые функции всегда передают аргументы по значению. Если аргумент - выражение, то перед передачей оно всегда вычисляется и передается уже результат этого выражения. Функция func(3 + 5) передаст в качестве аргумента 5, в то время как макросы не всегда производят вычисления выражений в качестве аргументов.

#define square(x) x*x
...
int y =  square(2+3)

Будет заменено на int y = 2 + 3*2 + 3

6. Встраиваемые функции учитывают пространство имен, в то время как макросы не различают границ пространства имен, они доступны везде. Макросы не могут определяться внутри класса (т.е. принадлежать ему), встраиваемые функции - могут.