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

宏:不应忽略void值

c89 macros gcc c

ma1169 · 技术社区 · 2 年前

我试图制作一个返回布尔值的简单断言宏,但我总是得到一个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 回复 | 直到 2 年前

Chris 2 年前

自己执行文本替换。

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代码。

推荐文章

Aidan · 为什么在将最后一个索引分配给空终止符(\0)后,我无法释放char缓冲区

1 年前

Chris · 用目的地捕捉信号

1 年前

MaPo · Linux,设置锁定ICMP_过滤器选项

1 年前

KevInSol · 在FreeBSD的配置阶段,从源代码构建PHP时找不到libjpeg

1 年前

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

1 年前

MaSc. H. · 大小与阵列大小

1 年前

Fulmineo · 我的C代码运行良好,但在结束前崩溃(0xC0000374)

1 年前

Mehan Alavi · TCP Socket-打印字符串中所有不在C中的字符不起作用

1 年前

Bobby · 复合字面值总是左值吗?

1 年前

9-Pin · C: 嵌套结构的堆栈内存分配

1 年前