C11 是否说明了空翻译单元？如果是，在哪个部分？

Question

我只找到6.9节翻译单元的语法如下：

translation-unit: external-declaration
                  translation-unit external-declaration

从这个语法来看，似乎至少应该有一个外部声明，这意味着不允许有一个空的翻译单元。但是，我想知道编译器在这种情况下需要做什么。如果有的话，谁能指点我C11中的描述？

Answer 1

鉴于翻译单元的定义，尝试将空源文件视为翻译单元会导致语法错误。

C11 标准的第 5.1.1.3 节（参见 N1570 draft）要求对违反语法规则或约束的翻译单元进行诊断。如果诊断是一个非致命警告并且实现仍然对其进行翻译，则结果行为未定义为遗漏 (4p2)。如果一个实现未能发出诊断消息，则该实现是不合格的（至少在您调用它的模式下），并且标准对此无话可说。

尽管特定实现的行为并未直接回答有关语言标准所说内容的问题，但以下是 gcc 和 clang 对空源文件所做的操作（带有告诉它们尝试符合 C11 的选项）：

$ gcc -c -std=c11 -pedantic-errors empty.c
empty.c:1:0: error: ISO C forbids an empty translation unit [-Wpedantic]
$ clang  -c -std=c11 -pedantic-errors empty.c
empty.c:1:1: error: ISO C requires a translation unit to contain at least one declaration [-Werror,-Wempty-translation-unit]
^
1 error generated.
$

C11 是否说明了空翻译单元？如果是，在哪个部分？

Does C11 says anything about empty translation units? If yes, in which section?

c11