具有零参数的可变参数宏

Question

我正在开发一个调用宏，

#define CALL(f,...) FN(f)->call((ref(new LinkedList()), __VA_ARGS__))

当调用它时，它

CALL(print,2,3,4,5);

会将 2 3 4 5 添加到链接列表中（为此而被重载），并调用 print ，它需要一个按预期工作的链接列表，但是有一些调用不这样做需要参数，

CALL(HeapSize);

它仍然需要一个链表，但一个空链表，上面不起作用，我试图想出一个可以使用任何一种风格的宏？

编辑：挖掘 gcc 文档我发现在 VA_ARGS 之前添加 ## 会删除 , 当没有参数但我无法嵌套宏时，

CALL(print,CALL(HeadSize));

这会导致 CALL not Defined 错误，如果我将称其有效

Answer 1

至于更新的问题，通过使用辅助宏 VA_ARGS 像
接下来，参数将按预期扩展。

#define VA_ARGS(...) , ##__VA_ARGS__
#define CALL(f,...) FN(f)->call((ref(new LinkedList()) VA_ARGS(__VA_ARGS__)))

Answer 2

如果您使用 gcc/g++，有一种方法：

#define CALL(f,...) FN(f)->call((ref(new LinkedList()), ## __VA_ARGS__))

来自 精细手册：

[...] 如果变量参数被省略或为空，则“##”运算符会导致预处理器删除其前面的逗号。

所以 gcc 有一个专门针对您面临的问题的扩展/黑客。

Answer 3

__VA_OPT__ (c++2a) 应该更可靠，例如：
来自http://www.open-std。 org/jtc1/sc22/wg21/docs/papers/2016/p0306r2.html

VA_OPT 的规范用例用于可选分隔符：

#define LOG(msg, ...) printf(msg __VA_OPT__(,) __VA_ARGS__)

Answer 4

如果您使用的是 GCC，它有一个扩展名可以吞掉 __VA_ARGS__ 前面的逗号。请参阅：http://gcc.gnu.org/onlinedocs/cpp/Variadic-Macros .html。

Answer 5

只需将 f 作为 ... 的一部分，然后使用单独的宏在需要 f 的位置提取第一个参数即可。

Answer 6

这些答案的一个共同主题是我们需要针对 GCC 的 hack。一种方法是使用标记粘贴##__VAR_ARGS__，但粘贴的参数不是宏扩展，这意味着宏不能嵌套。但是，如果您无论如何都要做一些 GCC 特定的事情，那么为什么不使用老式的 GCC 扩展：

 #define VARARG_FOO(ZeroOrMoreArgs...) \
     printf("VARARG_FOO: " ZeroOrMoreArgs)

ZeroOrMoreArgs 简单地替换为所有参数（如果有）、逗号等。这包括递归宏扩展。

• 然后 VARARG_FOO() 扩展为 printf("VARARG_FOO: ")
• 并且 VARARG_FOO("I iz %d", 42) 扩展为 printf("VARARGFOO: " "I iz %d", 42)

最后

 #define NEST_ME "I tawt I taw a puddy tat"
 VARARG_FOO("The evil one says %s", NEST_ME); 

将扩展为

 printf("VARARG_FOO: " "The evil one says %s", "I tawt I taw a puddy tat");

优点：

• 您可以嵌套宏调用，同时具有零个或多个参数。

缺点：

• ##__VA_ARGS__ hack 在标准 C 程序中可能是无害的，因为它们总是至少有一个逗号。 （我还没想过这是否属实）。
• 根据 @ScootMoonen 的说法，##__VA_ARGS__ hack 是 MSVC 的未记录扩展。

Answer 7

不幸的是，这无法做到。您需要定义一个单独的宏来执行此调用。

当 VA_ARGS 没有被替换时，你最终会得到无效的参数，你最终会得到一个浮动的 ,

#define CALL0(f) FN(f)->call((ref(new LinkedList())))