如何在C语言中实现简易自定义断言宏

你当前的实现思路存在根本性偏差，先明确两个核心事实：

1. C预处理器的#if指令仅能识别预处理阶段可计算的整数常量表达式（如宏展开后的字面量、简单整数运算），完全不具备解析普通C表达式语义、判断编译期常量结果的能力，更没有直接向stdout/stderr输出内容的功能——预处理器的唯一输出是预处理后的C代码文本。
2. 标准<assert.h>从来不是靠预处理指令实现编译期校验，编译期检查和运行期检查是两套完全独立的机制，宏只是做了统一封装。

标准<assert.h>的核心实现逻辑 #

• 编译期校验能力：从C11标准开始，编译期断言由编译器内置关键字_Static_assert（对应标准宏static_assert）实现，触发时直接由编译器输出诊断信息并终止编译，完全不依赖运行时IO，也不需要预处理器参与判断。C11之前的实现通常用“声明大小为负的数组”的技巧触发编译错误，本质也是靠编译器的语义检查，和预处理器无关。
• 运行期校验能力：传统assert宏仅负责运行时检查，展开后为一段分支逻辑：对传入表达式求值，若结果为0则向stderr打印断言失败的表达式文本、源文件名、行号、所在函数名（分别靠预定义宏__FILE__/__LINE__/__func__在预处理阶段字符串化拼接），随后调用abort()终止程序。
• 开关控制：如果编译时定义了NDEBUG宏，assert会直接展开为空语句((void)0)，不生成任何检查代码，供发布版本关闭断言用。

你当前宏写法的明确错误 #

• 预处理指令（#if/#endif等）是行级解析的，必须单独成行，不能写在宏的替换列表（即你写的反斜杠续行段）里，且C预处理指令为全小写，你写的#IF本身就是语法错误。
• 试图靠预处理器判断任意C表达式的真假、输出信息，完全超出了预处理器的能力边界，思路从根源上不成立。

可正常工作的自定义断言宏参考实现 #

以下实现兼容C11及之后的标准，同时支持编译期常量的静态校验和运行期表达式检查：

#include <stdio.h>
#include <stdlib.h>

#ifdef NDEBUG
// 发布版本关闭所有断言
#  define MY_ASSERT(expr) ((void)0)
#else
#  define MY_ASSERT(expr) do { \
    /* 编译期常量场景走静态断言，非编译期常量跳过静态检查 */ \
    _Static_assert(__builtin_constant_p(expr) ? (expr) : 1, \
        "Assertion failed at compile time: " #expr); \
    /* 运行时检查逻辑 */ \
    if (!(expr)) { \
        fprintf(stderr, "Assertion failed: %s\nFile: %s, Line: %d, Function: %s\n", \
            #expr, __FILE__, __LINE__, __func__); \
        abort(); \
    } \
} while(0)
#endif

关键实现说明：

• 用do { ... } while(0)包裹多行逻辑是C语言宏的标准写法，可避免宏展开后和周边if/else产生语法歧义。
• __builtin_constant_p是主流编译器（GCC/Clang/MSVC）均支持的内置判断函数，用于识别传入表达式是否为编译期可求值常量，自动切换静态/动态检查逻辑。
• 预处理器运算符#可将传入的宏参数字符串化，用于直接输出失败的表达式原文。
• 如果需要兼容C11之前的标准，可以移除_Static_assert相关逻辑，改用旧版编译期断言技巧：typedef char __assert_compile_fail[(expr) ? 1 : -1];，该写法会在表达式为假时尝试声明大小为-1的数组，触发编译器报错，缺点是无法自定义灵活的错误提示。

不要试图在预处理器阶段实现通用C表达式检查，所有编译期语义校验能力都来自编译器本身，宏仅做逻辑封装，标准库实现也不例外。

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