#define foo 1 ## ## 2 是否会触发C11标准下的未定义行为？

先说结论：#define foo 1 ## ## 2确实属于C标准定义的未定义行为，你基于C11规范的推断方向是对的，但咱们可以把细节拆解得更清楚些。

从C11规范出发的分析 #

根据C11标准6.10.3.3节（预处理连接操作符）的明确规定：

替换列表中（非来自参数的）每个##预处理标记都会被删除，其前后的预处理标记会被连接。[...]若结果不是有效的预处理标记，则行为未定义。

你的代码里，宏替换列表的预处理标记序列是：1、##、##、2。按照规范的处理逻辑，预处理阶段会逐个处理每个##：

• 第一个##需要连接它前后的标记——也就是前面的1（整数常量预处理标记）和后面的##（预处理操作符标记）。但这两个标记连接后的结果1##完全不是有效的预处理标记（有效标记包括标识符、关键字、常量、字符串字面量、标点符号等），此时就已经触发了未定义行为。
• 一旦触发未定义行为，标准就不再约束后续的处理逻辑了——哪怕编译器最终输出了看似正常的结果，也不代表它符合规范。

为什么GCC编译后输出12？ #

你用gcc -std=c11 -Wall -Wpedantic编译没有警告，还输出了12，这只是GCC对这种未定义行为的特定实现选择：

• GCC可能在内部处理时忽略了多余的##，只保留了一个来连接1和2，最终生成了合法的整数常量12。但这完全是编译器自己的“宽容”处理，不是标准要求的“预期输出”。
• 换个编译器（比如Clang）或者不同版本的GCC，结果可能完全不一样——比如抛出编译错误、输出奇怪的数值，甚至程序崩溃，这些都属于未定义行为的正常表现。

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