确切地说，双字符串技巧是如何工作的？

Question

至少某些C预处理程序可让您将宏的值（而不是其名称）通过一个类似于函数的宏传递给另一个对其进行字符串化的宏：#define STR1(x) #x#define STR2(x) STR1(x)#define THE_ANSWER 42#define THE_ANSWER_STR STR2(THE_ANSWER) /* "42" */这里的示例用例。这确实有效，至少在GCC和Clang（都与中-std=c99）中都有效，但是我不确定它在C标准术语下如何工作。C99是否可以保证这种行为？如果是这样，C99如何保证？如果不是，行为在什么时候从C定义变为GCC定义？

Answer 1

是的，有保证。

之所以可以使用它，是因为宏的参数本身是宏扩展的，除非宏参数名称出现在宏主体中且带有字符串标识符＃或令牌标记##。

6.10.3.1/1：

...确定了调用类似函数的宏的参数后，将进行参数替换。替换列表中的参数，除非在＃或##预处理令牌之前或在##预处理令牌之后（请参见下文），否则在扩展其中包含的所有宏之后，将用相应的参数替换...

因此，如果这样做，STR1(THE_ANSWER)则会得到“ THE_ANSWER”，因为STR1的参数未进行宏扩展。然而，STR2的参数是当它代入STR2的定义中，其因此给出STR1的参数宏扩展42，与“42”的结果。

Answer 2

正如史蒂夫（Steve）所指出的那样，这是有保证的，并且自C89标准以来一直得到保证-该标准是将宏中的＃和##运算符整理成代码的标准，并强制递归扩展args中的宏，然后且仅当且仅当主体不对参数应用＃或##。在这方面，C99与C89相同。