Quiero tener una sola llamada de macro que admita múltiples punteros de función, y cada puntero de función es llamado por una segunda macro que es una declaración de función.
quiero dos macros en el formulario
#define FUNCTION_DEF(func) extern int func(void); #define FUNCTION_DEFS(...) (???)que se llama así
FUNCTION_DEFS( myFunc1, myFunc2, otherFunc1, otherFunc2, defaultFunc )que se expande en
FUNCTION_DEF(myFunc1) FUNCTION_DEF(myFunc2) FUNCTION_DEF(otherFunc1) FUNCTION_DEF(otherFunc2) FUNCTION_DEF(defaultFunc) En otras palabras, esta única llamada a FUNCTION_DEFS se expande en declaraciones de función de todos los argumentos variados.
Actualmente solo me estoy saltando el primer paso y llamando a FUNCTION_DEF en cada puntero de función, sin embargo, una solución a esto sería excelente.
es posible?
Gracias a @Vality por presentarme X-Macro. Encontré esta publicación " Uso de X-Macros en el mundo real ", que era exactamente lo que necesitaba.
No creo que lo que desea exactamente sea posible con el preprocesador C estándar. Sin embargo, se puede lograr una solución similar con macros X.
Para hacer el equivalente de su código usándolos, primero definiría la lista de funciones como una macro X:
#define FUNCTION_LIST_A \ X(myFunc1) \ X(myFunc2) \ X(otherFunc1) \ X(otherFunc2) \ X(defaultFunc)Luego, para instanciar estas funciones con una macro específica, definiría la macro para realizar en cada función:
#define X(name) FUNCTION_DEF(name) FUNCTION_LIST_A #undef XQue luego se expandirá a:
FUNCTION_DEF(myFunc1) FUNCTION_DEF(myFunc2) FUNCTION_DEF(otherFunc1) FUNCTION_DEF(otherFunc2) FUNCTION_DEF(defaultFunc)Esperemos que esto sea útil y cercano a lo que desea. Es cierto que la sintaxis es significativamente diferente, pero si lo que desea lograr es aplicar una función o macro elegida a una lista completa de datos (en este caso, punteros de función), esta es la forma más idiomática que conozco de hacerlo usando el preprocesador c .
Hay muchas maneras de hacer esto. La más simple es predefinir una versión del bucle para cada longitud posible (basándose en versiones más pequeñas), y simplemente elegir la correcta según la cantidad de argumentos para iterar:
#define M_NARGS(...) M_NARGS_(__VA_ARGS__, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0) #define M_NARGS_(_10, _9, _8, _7, _6, _5, _4, _3, _2, _1, N, ...) N #define M_CONC(A, B) M_CONC_(A, B) #define M_CONC_(A, B) A##B #define M_ID(...) __VA_ARGS__ #define M_FOR_EACH(ACTN, ...) M_CONC(M_FOR_EACH_, M_NARGS(__VA_ARGS__)) (ACTN, __VA_ARGS__) #define M_FOR_EACH_0(ACTN, E) E #define M_FOR_EACH_1(ACTN, E) ACTN(E) #define M_FOR_EACH_2(ACTN, E, ...) ACTN(E) M_FOR_EACH_1(ACTN, __VA_ARGS__) #define M_FOR_EACH_3(ACTN, E, ...) ACTN(E) M_FOR_EACH_2(ACTN, __VA_ARGS__) #define M_FOR_EACH_4(ACTN, E, ...) ACTN(E) M_FOR_EACH_3(ACTN, __VA_ARGS__) #define M_FOR_EACH_5(ACTN, E, ...) ACTN(E) M_FOR_EACH_4(ACTN, __VA_ARGS__) //...etc #define FUNCTION_DEF(func) extern int func(void); #define FUNCTION_DEFS(...) M_FOR_EACH(FUNCTION_DEF, __VA_ARGS__)También podría idear una solución más general utilizando técnicas recursivas tradicionales, pero eso generalmente requiere una biblioteca de soporte (como [1] , [2] ) para proporcionar el mecanismo, ya que las macros definidas directamente no admiten la recursividad.
Esto se debe a que todos los bucles en el preprocesador deben tener un límite superior predeterminado, una consecuencia de la ausencia de recursividad macro directa: puede codificar ese límite en su implementación de bucle en casos simples como el código anterior, o puede tener la recursividad -driver subyacente a sus operadores de construcción de bucle contienen el límite en su lugar, y proporcionan N iteraciones a las construcciones que las solicitan (la ventaja de este último es que le permite centralizar y luego olvidarse del límite siempre que sea lo suficientemente alto, p. ej. Order-PP tiene un límite en los miles de millones de iteraciones que nunca alcanzará en la práctica).