如何在#pragma message中输出defined(x)的值，无需使用#if代码块？

问题背景 #

出于调试需求，希望输出特定符号是否被定义的信息，但不想通过大量#if defined()代码块降低代码可读性。尝试了多种#pragma message的写法均失败：

• 直接使用defined()运算符

  #pragma message defined(__UNDERLAY__)
  

  编译警告：

  testbed_defines.c:61:9: warning: expected a string after ‘#pragma message’ [-Wpragmas]
     61 | #pragma message defined(__UNDERLAY__)
        |         ^~~~~~~
  

• 添加空字符串

  #pragma message "" defined(__UNDERLAY__)
  

  编译警告：

  testbed_defines.c:61:9: warning: junk at end of ‘#pragma message’ [-Wpragmas]
     61 | #pragma message "" defined(__UNDERLAY__)
        |         ^~~~~~~
  

• 使用连接运算符##

  #pragma message "" ## defined(__UNDERLAY__)
  

  编译错误+警告：

  testbed_defines.c:61:20: error: stray ‘##’ in program
     61 | #pragma message "" ## defined(__UNDERLAY__)
        |                    ^~
  testbed_defines.c:61:9: warning: junk at end of ‘#pragma message’ [-Wpragmas]
     61 | #pragma message "" ## defined(__UNDERLAY__)
        |         ^~~~~~~
  

核心疑问：是否存在无需构造#if代码块就能输出defined(x)值的方法？毕竟使用#if块需要写入0和1这类魔术数字，且defined无法直接在#pragma message中求值。

解决方案 #

defined()是预处理器专用运算符，仅能在#if/#ifdef等条件编译指令中直接解析，无法直接在#pragma message的字符串参数中求值。但可以通过预处理器宏封装的方式，将条件逻辑隐藏在宏内，实现简洁调用的同时避免冗余代码。

方案1：兼容所有C标准的宏封装

定义一个通用宏，把#ifdef/#else的逻辑封装起来，调用时只需传入宏名称：

#define PRINT_DEFINE_STATUS(NAME) \
    #ifdef NAME \
        #pragma message #NAME " is defined: 1" \
    #else \
        #pragma message #NAME " is defined: 0" \
    #endif

使用示例：

PRINT_DEFINE_STATUS(__UNDERLAY__)

编译时会自动输出__UNDERLAY__ is defined: 1（已定义）或__UNDERLAY__ is defined: 0（未定义）。

方案2：GCC兼容的简化写法

利用GCC对预处理器字符串拼接的支持，通过字符串化宏实现更简洁的定义：

#define STRINGIFY(x) #x
#define PRINT_DEFINE(NAME) #pragma message STRINGIFY(NAME) ": " STRINGIFY(defined(NAME))

使用示例：

PRINT_DEFINE(__UNDERLAY__)

编译时会输出类似__UNDERLAY__: 1或__UNDERLAY__: 0的调试信息。

原理说明 #

两种方案本质都是通过预处理器的条件分支，将defined(NAME)的结果（1/0）提前转换成字符串常量，再传递给#pragma message。宏封装的方式既避免了重复编写#if代码块，又保证了代码的可读性。

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