Порядок оценки макроса

Возможный дубликат:
# и ## в макросах

почему вывод второго printf равен f (1,2), каков порядок вычисления макроса?

#include <stdio.h>
#define f(a,b) a##b
#define g(a) #a
#define h(a) g(a)

int main()
{
  printf("%s\n",h(f(1,2)));
  printf("%s\n",g(f(1,2)));
  return 0;
}

output 12 
       f(1,2)

Ответ 1

От http://gcc.gnu.org/onlinedocs/cpp/Argument-Prescan.html#Argument-Prescan

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

Значение:

f объединяет свой аргумент и поэтому его аргумент не расширяется
h не строит или не конкатенирует его аргумент, и поэтому его аргумент расширяется.
g строит свой аргумент, поэтому его аргумент не расширяется

h(f(1,2)) -> g(12) -> "12"

g(f(1,2)) -> "f(1,2)"

Ответ 2

Аргумент заменяется макросом до того, как он будет заменен в списке замещения, кроме тех случаев, когда он отображается как операнд # (stringize) или ## (concatenate).

В вашем макросе h параметр a не является аргументом одного из этих двух операторов, поэтому аргумент заменяется макросом и затем заменяется на список заметок. То есть аргумент f(1,2) заменяется макросом на 1##2, а затем на 12, а затем он заменяется на g(12), который (опять) заменяется макросом, становясь "12".

Когда вы вызываете g напрямую, параметр a является аргументом оператора #, поэтому его аргумент не заменяется макросом перед подстановкой: f(1,2) заменяется непосредственно в списке заметок, что дает "f(1,2)".

Ответ 3

Я не уверен, что порядок оценки является значимым термином для макросов C или С++, поскольку расширение макроса происходит во время компиляции

Что касается того, почему второй вывод f(1,2) is, так это потому, что макросы являются текстовой заменой. Когда g(f(1,2)) разворачивается, аргументом g является последовательность токенов f(1,2) и которые становятся стрицированными.

Подумайте о компиляторе C. В контексте второго printf он читает токен g, признает, что он является макросом при лексинге и времени синтаксического анализа, а затем расширяет этот вызов макроса. Компилятор в основном делает: если текущий токен - это имя макроса, затем расширяйте его при лексинге кода. Макрообъем происходит только тогда, когда это возможно (так что для макроса с аргументами требуется левая скобка) и выполняется как можно скорее.