11

这段代码：

public class Sandbox {
    public enum E {
        VALUE {
            @Override
            public String toString() {
                return "I'm the value";
            }
        };

        @Override
        public String toString() {
            return "I'm the enum";
        }
    }
    public static void main(String[] args) {
        System.out.println(E.VALUE);
    }
}

印刷：

我是价值

但是，这段代码：

public class Sandbox {
    public static final class C {
        @Override
        public String toString() {
            return "I'm a C";
        }
    }

    public static void main(String[] args) {
        System.out.println(new C() {
            @Override
            public String toString() {
                return "I'm anonymous";
            }
        });
    }
}

导致编译错误：

cannot inherit from final HelloWorld.C

为什么可以E.VALUE创建在我看来是匿名E子类的东西，覆盖该toString方法，而使用最终类而不是隐式最终枚举会引发编译时错误？

更具体地说，为什么可以VALUE覆盖任何内容E？我的印象是代码

public enum E {
    VALUE;
}

大致相当于

public static final class E {
    public static final E VALUE = new E();
}

在这种情况下，匿名性质是不允许的。

有什么不同？为什么枚举特别？

4

3 回答 3

16

根据JLS：

枚举类型是隐式最终的，除非它包含至少一个具有类主体的枚举常量。

在您的示例中，VALUE具有类主体，因此E不是隐式最终的。

编辑：这是一个验证声明的快速示例：

import java.lang.reflect.Modifier;

public class Sandbox {
  public enum E {
    VALUE {};
  }

  public enum E2 {
    VALUE;
  }

  public static void main(String[] args) {
    System.out.println(E.class);
    System.out.println(E.VALUE.getClass());
    System.out.println("E.VALUE is subclass of E = " + E.VALUE.getClass().getSuperclass().equals(E.class));
    System.out.println("E modifiers: " + Modifier.toString(E.class.getModifiers()));
    System.out.println("E2 modifiers: " + Modifier.toString(E2.class.getModifiers()));
  }
}

您可以从输出中看到编译器将final修饰符添加到E2但不添加到E：

class Sandbox$E
class Sandbox$E$1
E.VALUE is subclass of E = true
E modifiers: public static
E2 modifiers: public static final

编辑#2： 即使Eis not final并且是 的子类，根据8.1.4VALUE明确地尝试扩展它，例如 with class Foo extends Eor是编译时错误。超类和子类：enum Bar extends E

如果 ClassType 命名类 Enum 或对它的任何调用，则这是一个编译时错误。

于 2013-06-06T19:41:56.483 回答
5

我想如果你比较类和枚举，那么枚举 E 可以比作一个类，枚举值 VALUE 可以比作匿名实例。因此，您的第一个示例可以重写如下：

public class Sandbox {
    public static class E {
        public static final E VALUE = new E() {
            @Override
            public String toString() {
                return "I'm the value";
            }
        };

        @Override
        public String toString() {
           return "I'm the enum";
       }
    }
    public static void main(String[] args) {
        System.out.println(E.VALUE);
    }
}

于 2013-06-06T19:49:08.697 回答
2

如果您考虑到以下几点，您的担忧可能会减少：

没有非私有构造函数的类实际上是最终的，因为不可能在其主体之外声明其子类。enum是否声明了由 an 定义的类是一个次要的技术细节final：在任何一种情况下，它都将是有效的 final。

于 2013-06-06T19:51:22.817 回答