C++预处理字符串化：GCC与MSVC的行为差异原因探究

问题重现 #

以下C++代码中，GCC和MSVC对嵌入预编译指令的宏字符串化处理结果存在明显差异：

#define TO_STRING(...) #__VA_ARGS__
#define QUOTE(...) TO_STRING(__VA_ARGS__)

#define KEY1 "Key1"
#define KEY2 "Key2"
#define KEY3 "Key3"
#define LEN1 32
#define LEN2 32


const char * cNVKeysMetaData = QUOTE(
{
    "Area1":[ 
        {
            "key":KEY1,
            "maxLength":LEN1,
            "type":"s",
            "default":"Hello"
        },
#if defined(TEST)
        {
            "key":KEY2,
            "maxLength":LEN2,
            "type":"s",
            "default":"invalid"
        },
#endif
        {
            "key":KEY3,
            "maxLength":64,
            "type":"s",
            "default":"invalid"
        }
    ]
}
);

#include <iostream>

int main()
{
    std::cout << cNVKeysMetaData << std::endl;
    return 0;
}

GCC输出（未定义TEST时） #

{ "Area1":[ { "key":"Key1", "maxLength":32, "type":"s", "default":"Hello" }, { "key":"Key3", "maxLength":64, "type":"s", "default":"invalid" } ] }

MSVC输出（未定义TEST时） #

{ "Area1":[ { "key":"Key1", "maxLength":32, "type":"s", "default":"Hello" }, #if defined(TEST) { "key":"Key2", "maxLength":32, "type":"s", "default":"invalid" }, #endif { "key":"Key3", "maxLength":64, "type":"s", "default":"invalid" } ] }

差异点：GCC会移除未生效的#if/#endif指令块，而MSVC会保留这些预编译指令的文本，仅替换其中的普通宏（如KEY1、LEN1）。

差异原因分析 #

核心在于预编译指令与宏字符串化的处理优先级差异，且C标准未对此场景做强制规定，属于编译器实现定义的行为：

• GCC处理逻辑：在展开QUOTE宏并执行字符串化（#运算符）之前，会优先扫描并处理宏参数内部的预编译指令。由于TEST未定义，#if分支的代码会被直接剔除，剩下的有效内容再被字符串化，因此最终输出中看不到#if相关文本。
• MSVC处理逻辑：会先将QUOTE宏的参数内容视为普通文本，先完成其中普通宏的替换（如KEY1→"Key1"），但不会解析参数内部的预编译指令，而是直接将这些指令文本和替换后的内容一起进行字符串化，导致输出保留了#if/#endif的原始文本。

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