C++ 的语法翻译单位

Question

长期以来，我的理解是，C++ 翻译单元，在预处理器运行后，是一系列声明（让我提醒一下，任何定义也是声明）。

很多人对这种说法提出异议，但没有人给出反例。但我自己发现这个例子让我很困扰：

int x;       //declaration

;            // ??? EMPTY DECLARATION?

int main()   //dec
{            //la
}            //ration

这个可以用 MSVC 和在线 comeau 编译得很好。我知道该标准定义了空声明，但我从未听说过空声明。所以，我看到三个选项：

• 我的理解是正确的，标准定义了一个空声明
• 我的理解是正确的，但标准没有定义空声明，并且上述翻译格式不正确
• 我的理解不正确，即 C++ TU 不是一系列声明

请帮助我消除我的疑虑。谢谢

Answer 1

您的理解是正确的，标准（或至少 Stroustrup）确实定义了一个空声明。

编辑：看来这个答案是错误的（据我所知，标准上有一个语义规则 - 但书上没有 - 它禁止 decl-specified-seq 和 init-declarator-list 同时为空）。请参阅查尔斯·贝利的回答。

---

n 《C++ 编程语言》，附录 A，A.4 节：

程序是翻译单元的集合(...)。 翻译单元，通常称为源文件，是一系列声明：

translation-unit:
   declaration-seq_opt

opt表示产生式是可选的。在此规则中，意味着空的翻译单元是有效的。

A.7 节：

declaration-seq:
    declaration
    declaration-seq declaration

declaration:
    block-declaration
    (...)

block-declaration:
    simple-declaration
    (...)

simple-declaration:
    decl-specified-seq_opt init-declarator-list_opt ;

所以 declaration-seq 是至少一个 declaration 的序列。除其他外，声明可以是块声明，它又生成简单声明。由于 decl-specified-seq 和 init-declarator-list 非文字都是可选的，因此 ; 是有效的声明。

Answer 2

C++0x（当前草案）中允许在文件范围（以及命名空间范围和其他允许声明的地方）使用空声明，并且它只是一个分号。它是一个独立的语法实体。

在 C++03 中，仅需要声明的地方不允许使用单独的分号。尽管看起来简单声明可能能够减少到只有一个分号，但明确的规则不允许这样做。

7 [dcl.dcl] / 3

在简单声明中，可选的init-declarator-list仅在声明类（第9条）或枚举（7.2）时可以省略，即当decl -specifier-seq 包含一个类说明符、一个带有类键的详细类型说明符 (9.1) ，或枚举说明符。

简而言之，这意味着只有在不省略 decl-specifier-seq 时才能省略 init-declarator-list 。