为何Java中final枚举类允许声明抽象方法？

这确实是Java里一个容易让人困惑的语法细节，我来给你掰扯清楚背后的逻辑：

首先要纠正一个常见的误解：你写的枚举类并不总是被编译成final类。Java编译器会根据枚举类的内容做特殊处理：

• 如果你的枚举类里既没有抽象方法，也没有任何带类体（比如ADD { ... }）的枚举常量，编译器才会把它编译成final类，确保它不能被继承。
• 但如果枚举类里声明了抽象方法，或者有带类体的常量，编译器会自动把这个枚举类处理成非final类——这样它的子类（就是那些枚举常量对应的匿名内部类）才能合法存在。

举个直观的例子，比如我们定义一个带抽象方法的枚举：

enum CalculatorOperation {
    ADD {
        @Override
        public int compute(int a, int b) {
            return a + b;
        }
    },
    MULTIPLY {
        @Override
        public int compute(int a, int b) {
            return a * b;
        }
    };

    // 声明抽象方法
    public abstract int compute(int a, int b);
}

这里的ADD和MULTIPLY本质上是CalculatorOperation的匿名内部子类实例，它们各自实现了compute方法。编译器正是通过把枚举类设为非final，才允许这些子类存在，进而实现每个枚举常量的个性化行为。

这种设计其实是Java为枚举提供的一种优雅的多态实现方式，相当于把策略模式和枚举结合起来——每个枚举常量可以作为一个策略实现，而枚举类本身作为策略的抽象定义。

另外还要注意：虽然编译器会把带抽象方法的枚举类变成非final，但我们自己仍然不能显式继承枚举类，因为枚举类默认继承了java.lang.Enum，而Java不支持多继承，这就保证了枚举类型的安全性，不会被随意扩展。

内容的提问来源于stack exchange，提问作者1 JustOnly 1