实现格式化打印，当它没有参数时可以不做任何事情

Question

我想实现一个名为PRINT 的宏，它获取零个或多个参数，并执行以下操作：

1. 如果它得到零参数 - 什么也不做。
2. 如果它得到一个或多个参数 - 像 printf 一样操作。

正如您在下面的代码中看到的那样，我成功地实现了它，但仅以在我们得到零参数的情况下使用空字符串调用 printf 为代价。

有没有一种方法可以在不调用 printf 的情况下处理零参数的情况（当您只想什么都不做时打印一些东西效率不高）？

#include <stdio.h>

#define PRINT(...) printf("" __VA_ARGS__);

int main(){
    PRINT();
    PRINT("print\n");
    PRINT("print number: %d\n", 7);
    return 0;
}   

输出：

print
print number: 7  

Answer 1

gcc 和 clang 都将完全消除对 printf 的调用，如果它被传递一个空格式字符串。这种优化可能相当普遍。

在 gcc.godbolt.org 上查看 here 和 here 进行反汇编。

总之，不用担心。

Answer 2

如果您确实想将空参数列表的检查外包给宏，那么可能是这样的：

#define HAS_ARGS(...) (sizeof( (char[]){#__VA_ARGS__} ) > 1)

#define PRINT(...) (HAS_ARGS(__VA_ARGS__) ? printf("" __VA_ARGS__) : (void)0)

这依赖于在空字符串 = null 终止符的情况下获得大小为 1 的复合文字。示例：

#include <stdio.h>

#define HAS_ARGS(...) (sizeof( (char[]){#__VA_ARGS__} ) > 1)

#define PRINT(...) (HAS_ARGS(__VA_ARGS__) ? printf("" __VA_ARGS__) : (void)0)

int main (void)
{
  int i = 5;
  PRINT("%d\n", i);
  PRINT();
}

Answer 3

解决办法是：

#define Argument1(a,...)    Argument2(a
#define Argument2(a, b,...) b
#define TestEmpty()         ,
#define PRINT(...)          Argument1(TestEmpty __VA_ARGS__ (),), printf(__VA_ARGS__);,)

对于此源文本：

Test 0: PRINT()
Test 1: PRINT("Hello, world.\n")
Test 2: PRINT("Result is %d.\n", result)
Test 3: PRINT("%d = %g.\n", 3, 3.)

预处理的结果是：

Test 0:
Test 1: printf("Hello, world.\n");
Test 2: printf("Result is %d.\n", result);
Test 3: printf("%d = %g.\n", 3, 3.);

这要求PRINT 的参数不能以带括号的项目开头，这对于这个特定问题似乎是可以接受的。此处的代码不是在可能存在括号时检测空参数的通用解决方案。

解释：

• 在准备替换 PRINT 时，替换了 __VA_ARGS__。 TestEmpty 此时不会被替换，因为它后面没有括号。
• 然后PRINT被替换，结果被重新扫描。
• Argument1 被识别为替换。为此，会处理其参数。
• 此时，如果__VA_ARGS__ 为空，我们就有了标记TestEmpty ()，它们被, 替换。否则，TestEmpty <some tokens> () 仍然存在。请注意，如果存在TestEmpty ()，则它扩展为的, 是Argument1 的第一个参数。它不是参数分隔符，因为 Argument1 的参数已被识别。
• 然后Argument1 被替换，生成Argument2(,（如果__VA_ARGS 为空）或Argument2(TestEmpty，可能后面跟着额外的令牌（否则）。
• 根据__VA_ARGS__ 是否为空，结果为Argument2(,, printf();,) 或Argument2(TestEmpty <some tokens>, printf(<some tokens>);,)。
• 现在重新扫描标记以进行进一步替换，因此 , 现在将被识别为参数分隔符。
• 最后，Argument2 被替换为空令牌列表或printf(<some tokens>);。