Preprocessor token expansion

Question

Mi modelo mental de cómo funciona el preprocesador es aparentemente incompleto, y esto me está volviendo loco.

Quiero concatenar dos tokens, pero el segundo token debe expandirse primero.

#define ANSWER 42 

#define FOO foo_ ## ANSWER 

Aquí, FOO se expande a foo_ANSWER, pero quiero que sea foo_42. Por lo tanto, definir una macro MERGE con la esperanza de que esto de alguna manera expandir los argumentos antes de la concatenación:

#define MERGE(x, y) x ## y 

#define BAR MERGE(bar_, ANSWER) 

Pero BAR todavía se expande a bar_ANSWER en lugar de bar_42. Así defino otra macro HELPER:

#define HELPER(x, y) MERGE(x, y) 

#define BAZ HELPER(baz_, ANSWER) 

Y ahora BAZ se expande con éxito a baz_42. Por el momento, esto me parece mágico.

¿Alguien me puede explicar este comportamiento? ¿Cómo funcionan las reglas de expansión exactamente?

Answer 1

Leer la respuesta a su pregunta here:

El problema es que cuando se tiene un reemplazo macro , el preprocesador única ampliará las macros forma recursiva si ni el stringizing operador # ni el token -pasting operador ## se le aplican. Por lo tanto, tiene que utilizar algunas capas extra de indirección , puede utilizar el operador de red en pegar con un argumento recursiva ampliado

Answer 2

concatenación de emergencia no se expande macros cuando se realiza la concatenación [ref].

Para superar esto, utiliza un nivel de direccionamiento indirecto y obtiene el preprocesador para expandir las macros antes de la concatenación.

#define STEP1(x, y) STEP2(x, y) // x and y will be expanded before the call to STEP2 
#define STEP2(x, y) x ## y   // x and y will not be expanded, just pasted