Preprocesador C: macro macro e identidad de stringize

Question

Quiero saber el motivo detrás de la salida de este código. No pude encontrar una respuesta.

#define f(a,b) a##b 
#define g(a) #a 
#define h(a) g(a) 
void main() 
{ 
    printf("%s %s",h(f(1,2)),g(f(1,2))); 
} 

PS: la salida es 12 f(1,2). Pensé que era 12 12 o f(1,2) f(1,2).

Answer 1

h(f(1,2)) 

f(1,2) está sustituido por a. a no es el tema de un operador # o ## por lo que se amplió a 12. Ahora tiene g(12) que se expande a "12".

g(f(1,2)) 

f(1,2) está sustituido por a. El operador # aplicado a a impide la expansión de macro, por lo que el resultado es literalmente "f(1,2)".

Answer 2

Simplemente haga los reemplazos.

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

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

También debe ver here.