代码之家 › 专栏 › 技术社区 › ma1169

宏:不应忽略void值

c89 macros gcc c

ma1169 · 技术社区 · 1 年前

我试图制作一个返回布尔值的简单断言宏,但我总是得到一个void函数。

#define FALSE 0
#define TRUE !FALSE

#define CASSERT(predicate) \
 ({ \
    if((predicate)) \
    { \
        (TRUE); \
    }else\
    { \
        __debugbreak(); \
       (FALSE); \
    }})

我想这样使用它

if(!CASSERT(X==Y)){}

这就是我得到的错误

error: void value not ignored as it ought to be

error: could not convert '<statement>' from 'void' to 'bool'

我尝试了这段代码的一些变体,但似乎都不起作用!CASSERT的输出是一个空函数!

1 回复 | 直到 1 年前

Chris 1 年前

自己执行文本替换。

if(!CASSERT(X==Y)){}

成为:

if(!{
    if((X==Y)) {
        (TRUE);
    }
    else {
        __debugbreak();
        (FALSE);
    }}) {}

这看起来像有效的C代码吗?它不是,因为有条件陈述不是返回布尔值的表达式。

您可能希望使用条件表达使用逗号运算符对 __debugbreak() 和 FALSE 。类似于:

#define CASSERT(PRED) ((PRED) ? TRUE : (__debugbreak(), FALSE))

您的代码现在将扩展为:

if(!((X==Y) ? TRUE : (__debugbreak(), FALSE))) {}

那个是有效的C代码。

推荐文章

Doohyeon Won · 内联函数上的奇怪现象?[关闭]

1 年前

Stas Badzi · 为什么c++标准库模板类函数在链接时会说未定义引用,如果它们是在头文件中定义的

1 年前

CroCo · 在写入txt文件时,使用Ctrl+d和Ctrl+c终止程序有什么区别

1 年前

Claudio Daffra · 如何修复C中“realloc后可能会使用旧指针[-Use after free]”的警告?

1 年前

MysteryMoose · GCC下故意忽略初始化器警告中的过量元素

1 年前

ikegami Gilles Quénot · 关节手术中常见的关节转换

1 年前

Ken P · 如何利用[*]printf格式类型规范警告?

1 年前

fghoussen · 在C结构体中,为什么打包、对齐似乎会进行填充?

1 年前

adversarr · 全局变量何时导出到可执行文件?

1 年前

Alex · 为什么C有时可以覆盖内存?致命的glibc错误:sysmalloc中的malloc断言失败

1 年前