编写布尔返回值断言宏遇错误：void value not ignored as it ought to be

你写的CASSERT宏因使用GNU扩展语句表达式({ ... })时内部结构问题，导致整个宏的返回值被识别为void类型，无法在条件判断中当作布尔值使用，从而触发编译错误。

问题根源 #

原宏内部的if是复合语句，本身没有返回值，因此整个语句表达式的结果类型为void，无法直接用于if(!CASSERT(...))这类需要布尔值的场景。

修正方案 #

方案一：显式存储结果并返回

通过定义变量保存断言结果，最后将变量作为语句表达式的返回值：

#define FALSE 0
#define TRUE !FALSE

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

方案二：逗号表达式+条件运算符（更简洁）

利用逗号表达式先执行调试断点，再返回布尔值，结合条件运算符实现断言逻辑：

#define FALSE 0
#define TRUE !FALSE

#define CASSERT(predicate) \
({ \
    (predicate) ? (TRUE) : (__debugbreak(), FALSE); \
})

注意事项 #

• 两种方案均依赖GNU C扩展的语句表达式特性，仅适用于GCC、Clang等支持该扩展的编译器；若需标准C兼容，需改用其他实现方式。
• __debugbreak()是编译器内置函数，不同编译器写法可能不同（如GCC可替换为__builtin_trap()），需根据使用环境调整。

内容的提问来源于stack exchange，提问作者ma1169