检查参数是否在 C 中的可变参数宏中传递

Question

为了更清晰的错误处理，我使用了一个宏(它使用了 C99 和 GCC 扩展)；行为就像标准的 assert:

#define A(cond, msg, ...) ({ \
        if (!(cond)) { \
                if (msg) \
                        say(msg, ##__VA_ARGS__); \
                else \
                        say("Error at file %s, function %s, line %u: %s", \
                                __FILE__, __func__, __LINE__, #cond); \
                A_RETURN(); \
        } \
})

其中 say 是格式化输出。并像这样使用它:

#undef A_RETURN
#define A_RETURN() ({ fclose(f); free(p); return false; })

A(foo() != FOO_ERROR, 0);
A(bar() != BAR_ERROR, "bar failed");

当我没有特定的错误信息时，我必须写A(cond, 0)。但在这种情况下，我只想写 A(cond) 。如何为此行为修改我的 A 宏？ IE。我需要一种方法来检查 msg 参数是否未传递给宏。

Answer 1

来自 suggested question 的帮助我的意思是您可以像这样修改您的宏。

#define A() .... //your macro

#define A_CALC_ARG_IMPL(_1,N,...) N
#define A_CALC_ARG(...) A_CALC_ARG_IMPL(__VA_ARGS__,0)

#define A_NEW(...) A(cond, A_CALC_ARG(__VA_RGS__))

所以你的新A_NEW宏调用将扩展为 A(cond, 0)如果你没有通过 msg .

Variadic 宏解释得很好 at this blog .