为何未定义的宏可通过#if编译？如何区分宏是否带值定义？

以下代码可以无错误编译：

//#define FOO
#if FOO
    sdjlfs
#endif

int main(){
    return 0;
}

但取消第一行的注释后，代码会编译失败：

#define FOO
#if FOO
    sdjlfs
#endif

int main(){
    return 0;
}

报错信息为：

error: #if with no expression
    2 | #if FOO
      |        ^

疑问点：

1. 第一种情况中FOO为何能作为#if的表达式？其值是什么？
2. 如何区分某个宏是“仅被定义但无值”还是“带值定义”？（#ifdef或#if defined(...)无法满足需求，因为它们只能检测宏是否定义，无法区分是否带值；直接嵌套#ifdef FOO后写#if FOO == 1也会在FOO无值时报错）

一、第一种情况的编译逻辑 #

当你注释掉#define FOO时，FOO是未定义的宏。在C预处理阶段，#if指令中遇到未定义的标识符时，会自动将其替换为0。因此#if FOO等价于#if 0，预处理会跳过后续的sdjlfs代码块，自然不会触发编译错误。

二、第二种情况的报错原因 #

当你取消注释#define FOO（没有给宏赋值）时，FOO是已定义但替换列表为空的宏。此时#if FOO展开后会变成#if （空表达式），而#if要求必须跟合法的常量表达式，因此编译器会抛出#if with no expression的错误。

三、区分“仅定义无值”与“带值定义”的方法 #

要实现这种区分，可以借助预处理的字符串化操作符，通过辅助宏来判断宏展开后的内容是否为空，具体实现如下：

代码示例 #

// 辅助宏：将参数转换为字符串
#define STRINGIFY(x) #x

#if defined(FOO)
    // 判断FOO展开后是否为空字符串
    #if STRINGIFY(FOO)[0] == '\0'
        // 分支：FOO仅被定义但无值
        #pragma message "FOO已定义，但无赋值"
    #else
        // 分支：FOO带值定义
        #pragma message "FOO已定义，值为：" STRINGIFY(FOO)
    #endif
#else
    // 分支：FOO未定义
    #pragma message "FOO未定义"
#endif

// 测试用例（可注释/取消注释切换）
// #define FOO          // 仅定义无值
// #define FOO 1        // 带值定义
// （不写则为未定义）

int main() {
    return 0;
}

原理说明 #

• 当FOO仅定义无值时，STRINGIFY(FOO)会被预处理为""（空字符串），STRINGIFY(FOO)[0] == '\0'的判断结果为真；
• 当FOO带值定义时（如#define FOO 1），STRINGIFY(FOO)会被处理为"1"，字符串第一个字符不为空；
• 当FOO未定义时，会进入#else分支。

这种方法在GCC、Clang、MSVC等主流编译器中都能正常工作。

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