考虑以下程序(请参见此处的现场演示)。

#include

int main(void)

{

int ;  // Missing variable name

puts("Surprise");

}

我的编译器gcc 4.8.1发出以下警告：

[Warning] useless type name in empty declaration [enabled by default]

为什么编译正常？ 我应该不会出现编译器错误？ 当我将其编译为C ++程序时，g ++ 4.8.1给出以下错误：

[Error] declaration does not declare anything [-fpermissive]

@Nawaz：语言规范是否明确指出？

如果编译器省略了该空声明的任何指令，它将毫无用处，Id会感到惊讶。

C ++标准明确指出：" [dcl.dcl] / 5在简单声明中，仅当声明类(第9条)或枚举(7.2)时，才可以省略可选的init-declarator-list。 ，当decl-specifier-seq包含类说明符，带有类键(9.1)的详尽类型说明符或枚举说明符时。"我不太熟悉C标准，无法引用章节。

"产生警告"不是"编译良好"。

谁想写int;并编译他的代码？我不大惊小怪。

可以省略未使用参数的名称，这会抑制未使用参数的警告。这是同一件事的局部变量等效项。我不希望它进行干净的编译，绝对值得警告。看起来像错字。

好吧，您可以同时定义多个本地(int a, b, c;)，对吗？ int ;看起来就像是同一件事的特例，声明了0个本地变量：D

@Luaan：...而且这种特殊情况在C和C ++中都被标准明确禁止。

用-Werror重新编译

C标准说

A declaration other than a static_assert declaration shall declare at least a declarator (other than the parameters of a function or the members of a structure or union), a tag, or the members of an enumeration.

C ++说

In a simple-declaration, the optional init-declarator-list can be omitted only when declaring a class (Clause 9) or enumeration.

违反任何一种语言都需要进行诊断。这些标准不涉及编译器错误或警告。警告是诊断。

您能否澄清该标准是否要求翻译在某些违规情况下失败？ 可以将"错误"定义为会产生诊断和故障的违规行为，而"警告"则是会产生诊断且没有故障的违规行为。

@tepples不，该标准仅需要诊断。 它不需要(但允许)无效程序被拒绝。

这意味着例如 struct { int a; };声明一个struct成员，但这还不够。

@ n.m .：因此在这里需要结构名称。 对？

标签或声明符都是必需的。 标签是struct a { ... }。 声明符是struct { ...} a。 声明符可以是变量名或typedef名称(如果有typedef关键字)。

您的代码在C和C ++中都是非法的(即错误，格式错误，违反约束的代码)。在一种语言中得到"警告"而在另一种语言中得到"错误"的原因仅仅是您的编译器和编译器设置的怪癖。毕竟，两种语言都没有真正正式地区分"警告"和"错误"。在默认模式下，GCC在C模式下恰好允许(主要是出于历史原因)。

在GCC中使用-pedantic-errors，C代码中也会出现"错误"。 (请注意，-pedantic-errors并不会简单地将所有"警告"变成"错误"。它试图仅将实际违反约束的情况报告为"错误"。)

声明的语法定义为(省略init-declarator-list和init-declarator)：

C11 6.7 Declarations

declaration:

declaration-specifiers init-declarator-list opt ;

static_assert-declaration

declaration-specifiers:

storage-class-specifier declaration-specifiers opt

type-specifier declaration-specifiers opt

type-qualifier declaration-specifiers opt

function-specifier declaration-specifiers opt

alignment-specifier declaration-specifiers opt

请注意，声明说明符是递归定义的，但是每个带有opt的声明说明符都是可选的。

另外，以下第6条规定：

The declaration specifiers consist of a sequence of specifiers that indicate the linkage,

storage duration, and part of the type of the entities that the declarators denote. The initdeclarator-list is a comma-separated sequence of declarators, each of which may have additional type information, or an initializer, or both. The declarators contain the identifiers (if any) being declared.

注意单词(如果有)。