根据参数数量重载宏

我有两个宏FOO2 and 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 and FOO3，有什么方法可以定义宏FOO (using __VA_ARGS__或其他）以获得与调度相同的效果FOO(x,y) to FOO2, and FOO(x,y,z) to 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 and FOO4，输出将被定义的宏的输出替换。