Con el mayor respeto a Derek Ledbetter , David Sorkovsky , Syphorlate por sus respuestas, junto con el ingenioso método para detectar macro argumentos vacíos de Jens Gustedt en
https://gustedt.wordpress.com/2010/06/08/detect-empty-macro-arguments/
finalmente salgo con algo que incorpora todos los trucos, para que la solución
- Utiliza solo macros C99 estándar para lograr la sobrecarga de funciones, sin extensión GCC / CLANG / MSVC involucrada (es decir, deglución de coma por la expresión específica
, ##__VA_ARGS__para GCC / CLANG, y deglución implícita por ##__VA_ARGS__para MSVC). Así que siéntase libre de pasar lo que falta --std=c99a su compilador si lo desea =)
- Funciona para cero argumentos , así como para un número ilimitado de argumentos , si lo expande aún más para satisfacer sus necesidades
Funciona razonablemente multiplataforma , al menos probado para
- GNU / Linux + GCC (GCC 4.9.2 en CentOS 7.0 x86_64)
- GNU / Linux + CLANG / LLVM , (CLANG / LLVM 3.5.0 en CentOS 7.0 x86_64)
- OS X + Xcode , (XCode 6.1.1 en OS X Yosemite 10.10.1)
- Windows + Visual Studio , (Visual Studio 2013 Update 4 en Windows 7 SP1 de 64 bits)
Para los perezosos, simplemente salte al último de esta publicación para copiar la fuente. A continuación se muestra la explicación detallada, que con suerte ayuda e inspira a todas las personas que buscan __VA_ARGS__soluciones generales como yo. =)
Así es como funciona. En primer lugar definir la "función" visible para el usuario sobrecargado, lo nombré create, y la definición de función real relacionada realCreate, y las definiciones de macro con diferente número de argumentos CREATE_2, CREATE_1, CREATE_0, como se muestra a continuación:
#define create(...) MACRO_CHOOSER(__VA_ARGS__)(__VA_ARGS__)
void realCreate(int x, int y)
{
printf("(%d, %d)\n", x, y);
}
#define CREATE_2(x, y) realCreate(x, y)
#define CREATE_1(x) CREATE_2(x, 0)
#define CREATE_0() CREATE_1(0)
En MACRO_CHOOSER(__VA_ARGS__)última instancia, la parte se resuelve en los nombres de las definiciones de macro y la segunda (__VA_ARGS__)parte comprende sus listas de parámetros. Entonces, la llamada de un usuario a se create(10)resuelve en CREATE_1(10), la CREATE_1parte proviene de MACRO_CHOOSER(__VA_ARGS__)y la (10)parte proviene del segundo (__VA_ARGS__).
El MACRO_CHOOSERutiliza el truco de que, si __VA_ARGS__está vacía, la siguiente expresión se concatena en una llamada a la macro válida por el preprocesador:
NO_ARG_EXPANDER __VA_ARGS__ () // simply shrinks to NO_ARG_EXPANDER()
Ingeniosamente, podemos definir esta macro llamada resultante como
#define NO_ARG_EXPANDER() ,,CREATE_0
Tenga en cuenta las dos comas, se explicarán pronto. La siguiente macro útil es
#define MACRO_CHOOSER(...) CHOOSE_FROM_ARG_COUNT(NO_ARG_EXPANDER __VA_ARGS__ ())
entonces las llamadas de
create();
create(10);
create(20, 20);
en realidad se expanden a
CHOOSE_FROM_ARG_COUNT(,,CREATE_0)();
CHOOSE_FROM_ARG_COUNT(NO_ARG_EXPANDER 10 ())(10);
CHOOSE_FROM_ARG_COUNT(NO_ARG_EXPANDER 20, 20 ())(20, 20);
Como sugiere el nombre de la macro, más adelante contaremos el número de argumentos. Aquí viene otro truco: el preprocesador solo realiza un simple reemplazo de texto. Infiere el número de argumentos de una llamada de macro simplemente del número de comas que ve entre paréntesis. Los "argumentos" reales separados por comas no necesitan tener una sintaxis válida. Pueden ser cualquier texto. Es decir, en el ejemplo anterior, NO_ARG_EXPANDER 10 ()se cuenta como 1 argumento para la llamada intermedia. NO_ARG_EXPANDER 20y 20 ()se cuentan como 2 argumentos para la última llamada respectivamente.
Si usamos las siguientes macros auxiliares para expandirlas aún más
##define CHOOSE_FROM_ARG_COUNT(...) \
FUNC_RECOMPOSER((__VA_ARGS__, CREATE_2, CREATE_1, ))
#define FUNC_RECOMPOSER(argsWithParentheses) \
FUNC_CHOOSER argsWithParentheses
El seguimiento ,posterior CREATE_1es una solución alternativa para GCC / CLANG, suprimiendo un error (falso positivo) que dice eso ISO C99 requires rest arguments to be usedcuando se pasa -pedantica su compilador. El FUNC_RECOMPOSERes un trabajo en torno a MSVC, o que no se puede contar el número de argumentos (es decir, comas) dentro del paréntesis de las llamadas macro correctamente. Los resultados se resuelven además a
FUNC_CHOOSER (,,CREATE_0, CREATE_2, CREATE_1, )();
FUNC_CHOOSER (NO_ARG_EXPANDER 10 (), CREATE_2, CREATE_1, )(10);
FUNC_CHOOSER (NO_ARG_EXPANDER 20, 20 (), CREATE_2, CREATE_1, )(20, 20);
Como el ojo de águila que puede haber visto, el último único paso que necesitamos es emplear un truco de conteo de argumentos estándar para finalmente elegir los nombres de la versión de macro deseados:
#define FUNC_CHOOSER(_f1, _f2, _f3, ...) _f3
que resuelve los resultados a
CREATE_0();
CREATE_1(10);
CREATE_2(20, 20);
y ciertamente nos da las llamadas de función reales deseadas:
realCreate(0, 0);
realCreate(10, 10);
realCreate(20, 20);
Poniendo todo junto, con una reordenación de las declaraciones para una mejor legibilidad, la fuente completa del ejemplo de 2 argumentos está aquí:
#include <stdio.h>
void realCreate(int x, int y)
{
printf("(%d, %d)\n", x, y);
}
#define CREATE_2(x, y) realCreate(x, y)
#define CREATE_1(x) CREATE_2(x, 0)
#define CREATE_0() CREATE_1(0)
#define FUNC_CHOOSER(_f1, _f2, _f3, ...) _f3
#define FUNC_RECOMPOSER(argsWithParentheses) FUNC_CHOOSER argsWithParentheses
#define CHOOSE_FROM_ARG_COUNT(...) FUNC_RECOMPOSER((__VA_ARGS__, CREATE_2, CREATE_1, ))
#define NO_ARG_EXPANDER() ,,CREATE_0
#define MACRO_CHOOSER(...) CHOOSE_FROM_ARG_COUNT(NO_ARG_EXPANDER __VA_ARGS__ ())
#define create(...) MACRO_CHOOSER(__VA_ARGS__)(__VA_ARGS__)
int main()
{
create();
create(10);
create(20, 20);
//create(30, 30, 30); // Compilation error
return 0;
}
Aunque complicado, feo, agobiante al desarrollador de API, llega una solución para sobrecargar y configurar parámetros opcionales de funciones C / C ++ para nosotros los locos. El uso de las API sobrecargadas resultantes se vuelve muy agradable y agradable. =)
Si existe alguna posible simplificación adicional de este enfoque, hágamelo saber en
https://github.com/jason-deng/C99FunctionOverload
¡De nuevo un agradecimiento especial a todas las personas brillantes que me inspiraron y me llevaron a lograr este trabajo! =)