为什么不需要分号，但允许在类定义的末尾使用分号？

Question

我正在尝试从C转换到Java。

我想知道的是，在C中，在类定义之后需要分号（；），但在Java中则不是。

也就是说，在C中：

class Person {
    public:
    string name;
    int number;
}; // Note this semicolon

但在Java中：

class Person {
    public String name;
    public int number;
} // Semicolon is not required

那很好，我理解。

然而，我的问题是：

当我在类定义的末尾添加分号时，Java也可以工作，例如：

class Person {
    public String name;
    public int number;
}; // Now this semicolon is confusing me!

我已经编译并执行了为Java显示的两个程序片段，它们都有效。有人能解释为什么会这样吗？Java中类定义末尾的分号代表什么？

如果这个问题质量不高，我很抱歉，但我真的需要对此进行澄清。我希望Java方面的专家能帮助我。

我已经在类定义和其他相关问题中看到了分号。

提前谢谢。

Answer 1

Java添加这个只是为了像你这样从C切换的人！

在Java中，一个分号是一个几乎可以在任何地方编写的声明。它的唯一目的是简化这些语言的过渡。

例如，以下Java也是正确的：

;;;;;;;;;;
class X{
    ;;;;;;;;;;;;;;
} ;;;;;;;;;;;;;;;

分号被简单地视为不起任何作用的空声明。

以下引用规范第7.6段：

额外“；”出现在编译单元中类型声明级别的标记对编译单元的含义没有影响。Java编程语言中只允许使用零散的分号，作为对习惯于放置“；”的C程序员的让步在类声明之后。它们不应该在新的Java代码中使用。

所以如你所见，这真的只适合像你这样的人：）。

您甚至可以使用一行分号作为良好的视觉分隔。然而，我强烈建议不要这样做。但这可能有助于吹牛。E、 g.：

class X {
   // Member variables
   private int i;

   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   // Constructors
   X(){}

   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   // Methods
   void foo(){}    

}

Answer 2

在早期，允许这样做是C/C程序员更熟悉Java的方式之一。这种熟悉对Java的采用很重要。

下面是它在语法上的工作方式。

根据JLS 7.3，在顶级类之后，它可以工作，因为编译单元包含以下序列：

CompilationUnit:
 PackageDeclaration(opt) ImportDeclarations(opt) TypeDeclarations(opt)

根据JLS 7.6，类型声明为以下任一项：

TypeDeclaration:
   ClassDeclaration
   InterfaceDeclaration
   ;

根据JLS 8.1.6，在嵌套在其他类中的成员类之后，它可以工作，因为分号可以是类成员声明：

ClassMemberDeclaration:
    FieldDeclaration
    MethodDeclaration
    ClassDeclaration    
    InterfaceDeclaration
    ;

根据JLS 14.6，在本地类之后，在方法内部，它可以工作，因为分号可以是空语句：

EmptyStatement:
    ;

Answer 3

我已经编译并执行了为Java显示的两个程序片段，它们都可以工作。有人能解释为什么会这样吗？

它是允许的，因为Java语法说它是允许的；见JLS 7.6。

Java中类定义末尾的分号代表什么？

没有什么它是可选的“语法噪音”。

JLS解释如下：

在编译单元中类型声明级别出现的额外"；"标记对编译单元的含义没有影响。在Java编程语言中允许使用迷路分号，这仅是对习惯于将"；"放在类声明之后的C程序员的让步。它们不应用于新的Java代码。

（请注意，这不是“空语句”。空语句（JLS 14.6）出现在允许使用语句的语法上下文中。空语句的存在可能会改变代码的含义；e、 g.<代码>如果（a==b）；c（） 与<代码>相对 ）