c11 - 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.
$