检查参数是否在 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__))

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

变量宏很好解释at this blog。