在枚举中实现接口时，为什么 Eclipse 会在接口方法被覆盖之前自动放置一个分号？

Question

我有一个interface和一个enum

我正在enum实现interface

我使用eclipse作为我的 IDE

以下是我的interface文件 -

ITrafficSignal.java -->

public interface ITrafficSignal {
    public void showAction();
}

以下是我的enum文件 -

ETrafficSignal.java -->

public enum ETrafficSignal implements ITrafficSignal {
    ;

    @Override
    public void showAction() {

    }
}

在这里; 在第 2 行中， eclipse会自动放置

如果我删除; ，然后在正在implemented的method中 -

public void showAction()

在keyword void下方有一条红线，错误显示 -

Multiple markers at this line 
- implements ITrafficSignal.showAction
- Syntax error on token "void", volatile expected

我无法理解这一点。

Answer 1

这只是枚举类型的语法。 来自Java 语言规范的§8.9 枚举类型：

 EnumDeclaration: {ClassModifier} enum TypeIdentifier [Superinterfaces] EnumBody

EnumBody的语法是：

 EnumBody: { [EnumConstantList] [,] [EnumBodyDeclarations] } EnumConstantList: EnumConstant {, EnumConstant} EnumConstant: {EnumConstantModifier} Identifier [( [ArgumentList] )] [ClassBody] EnumConstantModifier: Annotation

最后EnumBodyDeclarations的语法是：

 EnumBodyDeclarations: ; {ClassBodyDeclaration}

如您所见，上面表明枚举主体声明必须以分号 ( ; ) 开头;将其与枚举常量分开。 与EnumConstantList不同，分号不是可选的¹ 。 这意味着如果有枚举主体声明，则必须存在分号，而不管是否声明了任何枚举常量，尽管我个人认为没有常量的枚举类型有什么意义。

---

^{1. 整个EnumBodyDeclarations是可选的，但是，这意味着如果没有主体声明，则可以省略分号。}