使用static_assert检查传递给宏的类型

Question

我很遗憾地从我的库的原始版本中遗留了几个宏,这些宏使用了一些非常疯狂的C.特别是,我有一系列宏,希望将某些类型传递给它们.有可能做一些事情:

static_assert(decltype(retval) == bool);

如何？有没有聪明的选择？

是的我知道宏很糟糕.我知道C++不是C等.

Update0

这是一些相关的代码和源文件.欢迎提出建议.原来的问题仍然是一样的.

Answer 1

我发现这是最干净的,使用@ UncleBens建议:

#include <type_traits>

static_assert(std::is_same<decltype(retval), bool>::value, "retval must be bool");