GCC与Clang对未终止宏调用的处理差异：谁符合C11标准？

测试代码 #

h2.h #

/* h2.h */
#define F()
F(

t10.c #

/* t10.c */
#include "h2.h"
)
int x; /* 修复"warning: ISO C requires a translation unit to contain at least one declaration"警告 */

编译结果 #

GCC 编译输出 #

$ gcc t10.c -std=c11 -pedantic -Wall -Wextra -c
In file included from t10.c:1:
h2.h:2:3: error: unterminated argument list invoking macro "F"
    2 | F(
      |   ^
t10.c:2:1: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before ‘)’ token
    2 | )
      | ^

Clang 编译输出 #

$ clang t10.c -std=c11 -pedantic -Wall -Wextra -c
<nothing>

核心疑问 #

GCC与Clang谁的处理是正确的？这段代码是否会触发未定义行为（UB）？

基于C11标准的分析 #

初始分析更新 #

根据C11标准的相关条款：

5.1.1.2 翻译阶段，第1条：
A #include预处理指令会递归地将指定头文件或源文件从第1阶段处理到第4阶段。

6.10.3 宏替换，第10条：
被替换的预处理标记序列由匹配的)预处理标记终止，会跳过中间匹配的左右括号预处理标记对。

按照上述条款，头文件h2.h会被完整处理到第4阶段，但此时宏调用F(没有匹配的)，违反了宏替换的语义规则。最初认为语义违反不要求编译器产生诊断信息的理解并不准确。

约束条款确认 #

C11标准6.10.3宏替换第4条存在明确约束：

必须存在一个)预处理标记来终止宏调用。

这属于约束违反，根据C标准的诊断规则，编译器必须对此产生诊断信息。

结论 #

从C11标准的约束要求来看，GCC的处理是正确的——它检测到宏调用未终止的约束违反并输出了诊断信息；而Clang未产生诊断，不符合标准要求。

这段代码属于约束违反，编译器必须给出诊断，但约束违反本身并不直接等同于未定义行为（UB）；不过如果编译器在未诊断的情况下继续处理，后续的代码行为可能会进入未定义状态。

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