如何编写具有不同数量的信息参数的 C++ 断言宏？

我正在尝试写一个宏dbgassert与标准相似assert。除了什么assert是吗，我想要dbgassert打印任意数量的附加参数（包含调试信息）。

到目前为止我所拥有的内容如下所列，改编自这个答案。但我的代码中的可变参数模板或宏存在问题。如果我至少使用一个附加参数（OK 行），那么dbgassert按预期工作。但如果我不给出额外的参数，那么编译就会失败（问题行）。

我对可变参数模板编程有一些经验（例如如何打印元组），但我以前没有使用过可变参数宏。

有人可以解释一下编写这个可变参数宏组合的正确方法是什么吗？

顺便说一句，有人可以解释一下#EX宏观上的魔法？它显示了表达式并且在 gcc4.8.1 上适用于我。是否得到普遍支持？

Thanks,

Code:

//corrected reserved identifier issue and assumption issues per comments
#include <cassert>
#include <iostream>
using namespace std;

template <typename ...Args>
void realdbgassert(const char *msg, const char *file, int line, Args ... args) {
  cout << "Assertion failed! \nFile " << file << ", Line " << line << endl 
       << "  Expression: " << msg << endl;
  std::abort();
}

#define dbgassert(EX,...) \
  (void)((EX) || (realdbgassert (#EX, __FILE__, __LINE__, __VA_ARGS__),0))

int main() {
  dbgassert(1>2,"right","yes"); //OK
  dbgassert(1>2,"right"); //OK.
  //dbgassert(1>2); //Problem. compile error: expected primary-expression before ')' token
                  //#define dbgassert(EX,...) (void)((EX) || (realdbgassert (#EX, __FILE__, __LINE__, __VA_ARGS__)^,0))
}

代码的原始版本。

#include <cassert>
#include <sstream>
using namespace std;

#ifdef __cplusplus
extern "C" {
#endif
extern void __assert (const char *msg, const char *file, int line);
#ifdef __cplusplus
};
#endif

template <typename ...Args>
void _realdbgassert(const char *msg, const char *file, int line, Args ... args) {
    stringstream os;
    //... do something
    __assert(msg,file,line);
}
#define dbgassert(EX,...) (void)((EX) || (_realdbgassert (#EX, __FILE__, __LINE__, __VA_ARGS__),0))

int main() {
  dbgassert(1==0,"right"); //Problem line: undefined reference to `__assert'
} 

你的问题是价值__VA_ARGS__在问题案例中它是空的。所以，当预处理器扩展时realdbgassert(#EX, __FILE__, __LINE__, __VA_ARGS__)，结果是一个未完成的参数列表realdbgassert("1>2", "foo.c", 42, )。请注意，由于空扩展，参数列表未正确终止__VA_ARGS__.

要解决这个问题，您需要使用某种技巧。最好的解决办法是调整环境，以便__VA_ARGS__包括最后一个无条件参数，并将其与函数调用末尾的可选参数一起传递。这是最好的，因为它是标准 C。

据我所知，另一个修复是该语言的 gcc 扩展：参见thisgcc 文档页面以获取更详细的信息，但您可以通过添加双##在...前面__VA_ARGS__:

#define dbgassert(EX,...) \
  (void)((EX) || (realdbgassert (#EX, __FILE__, __LINE__, ## __VA_ARGS__),0))

Ps:
The #是预处理器的字符串化运算符：它将宏参数的值转换为字符串文字，i。 e.而不是粘贴1>2它粘贴"1>2".