C预处理器字符串化：命令行与代码内宏定义的差异

问题场景与核心矛盾 #

项目中通过#ifdef UPPERCASE_FILENAME_C包裹单个文件内的独立函数，需要用预处理器技巧判断该宏是否已定义，间接判断对应代码是否被编译。

原方案依赖字符串化后的sizeof值做判断：

#define STRINGIZE(x)  __STRINGIZE(x)
#define __STRINGIZE(x) ""#x""
#define MP_HAS(x)        (sizeof(STRINGIZE(x##_C)) == 1u )

逻辑为：若目标宏已定义，字符串化后为空串（sizeof=1）；未定义时字符串化后为完整标识符（sizeof>1）。但存在兼容性问题：

• 代码内通过#define FOOT_C（无值）定义时，逻辑正常；
• 命令行通过gcc -DFOOT_C定义时，预处理器默认给宏赋值为1，字符串化后变为"1"（sizeof=2），导致判断失效。临时解决方法是显式指定空值gcc -DFOOT_C=""，但不够便捷。

解决方案：修改宏定义统一行为 #

通过调整预处理器宏的展开逻辑，让无论宏是代码内空定义还是命令行隐式定义（值为1），最终字符串化结果都为空串，从而统一sizeof判断逻辑。

修改后的完整宏定义：

#define STRINGIZE(x) __STRINGIZE(x)
#define __STRINGIZE(x) #x

// 辅助宏：若目标宏已定义，替换为空；否则保留原标识符
#define _MP_EXPAND_IF_DEFINED(x) _MP_EXPAND_IF_DEFINED_##x
#define _MP_EXPAND_IF_DEFINED_##x 

#define MP_HAS(x) (sizeof(STRINGIZE(_MP_EXPAND_IF_DEFINED(x##_C))) == 1u)

测试验证 #

使用以下测试代码验证：

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

#ifdef DEFINE_IT
#define FOOT_C
#endif

#define STRINGIZE(x) __STRINGIZE(x)
#define __STRINGIZE(x) #x

#define _MP_EXPAND_IF_DEFINED(x) _MP_EXPAND_IF_DEFINED_##x
#define _MP_EXPAND_IF_DEFINED_##x 

#define MP_HAS(x) (sizeof(STRINGIZE(_MP_EXPAND_IF_DEFINED(x##_C))) == 1u)

int main(void) {
    printf("FOOT_C is %sdefined\n", MP_HAS(FOOT) ? "" : "not ");
    printf("sizeof(stringized) = %zu\n", sizeof(STRINGIZE(_MP_EXPAND_IF_DEFINED(FOOT_C))));
    exit(EXIT_SUCCESS);
}

编译测试：

1. 代码内定义时：gcc -DDEFINE_IT sizeoftest.c -o sizeoftest，输出FOOT_C is defined，sizeof(stringized) = 1；
2. 命令行隐式定义时：gcc -DFOOT_C sizeoftest.c -o sizeoftest，输出FOOT_C is defined，sizeof(stringized) = 1；
3. 未定义时：gcc sizeoftest.c -o sizeoftest，输出FOOT_C is not defined，sizeof(stringized)为大于1的值。

原理说明 #

核心利用预处理器的宏展开规则：

• 当x##_C（如FOOT_C）已定义时，_MP_EXPAND_IF_DEFINED(x##_C)会匹配到对应的_MP_EXPAND_IF_DEFINED_x##_C宏，该宏被定义为空，因此字符串化后得到空串（sizeof=1）；
• 当x##_C未定义时，_MP_EXPAND_IF_DEFINED(x##_C)无法匹配到对应宏，会保留原标识符字符串，字符串化后长度大于1，从而触发未定义的判断逻辑。

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