我有两个宏FOO2和FOO3:
#define FOO2(x,y) ...
#define FOO3(x,y,z) ...
我想定义一个新的宏FOO，如下所示:
#define FOO(x,y) FOO2(x,y)
#define FOO(x,y,z) FOO3(x,y,z)
但这不起作用，因为宏不会在参数数量上过载.
在不修改FOO2和FOO3的情况下，有没有办法定义一个宏FOO(使用__VA_ARGS__或其他方式)，以获得调度FOO(x,y)到FOO2和FOO(x,y,z)到FOO3的相同效果？
简单到:
#define GET_MACRO(_1,_2,_3,NAME,...) NAME
#define FOO(...) GET_MACRO(__VA_ARGS__, FOO3, FOO2)(__VA_ARGS__)
因此，如果您有这些宏，它们将按所述方式展开:
FOO(World, !) // expands to FOO2(World, !)
FOO(foo,bar,baz) // expands to FOO3(foo,bar,baz)
如果你想要第四个:
#define GET_MACRO(_1,_2,_3,_4,NAME,...) NAME
#define FOO(...) GET_MACRO(__VA_ARGS__, FOO4, FOO3, FOO2)(__VA_ARGS__)
FOO(a,b,c,d) // expands to FOO4(a,b,c,d)
当然，如果定义FOO2、FOO3和FOO4，输出将被定义的宏的输出所取代.