Java中的枚举和自限定类型的泛型

Java中所有的enum都继承自Java.lang.Enum类，而Enum类的定义如下：

public abstract class Enum<E extends Enum<E>> implements Comparable<E>, Serializable {
    // ...
}

从定义可以看到，Enum类使用了自限定类型的泛型。

自限定的类型参数有和意义呢？它可以保证泛型参数必须与正在被定义的类相同（或有相同的基类），例如：

public class Test {
    public static void main(String[] args) {
        MyEnum1 enum1 = new MyEnum1();
        MyEnum1 enum11 = new MyEnum1();

        MyEnum2 enum2 = new MyEnum2();
        MyEnum2 enum22 = new MyEnum2();

        MyEnum3 enum3 = new MyEnum3();
        MyEnum3 enum33 = new MyEnum3();

        enum1.compareTo(enum11);
        enum2.compareTo(enum22);
        enum3.compareTo(enum2);

    }
}

abstract class AbsEnum<E extends AbsEnum<E>> implements Comparable<E> {}


class MyEnum1 extends AbsEnum<MyEnum1> {
    @Override
    public int compareTo(MyEnum1 o) {
        return 0;
    }
}

class MyEnum2 extends AbsEnum<MyEnum2> {
    @Override
    public int compareTo(MyEnum2 o) {
        return 0;
    }
}

class MyEnum3 extends AbsEnum<MyEnum2> {
    @Override
    public int compareTo(MyEnum2 o) {
        return 0;
    }
}

AbsEnum是一个使用自限定类型的基类，AbsEnum要求所有继承自AbsEnum的子类的泛型参数必须时AbsEnum的子类。这样就相当于给泛型提供了一个边界。

所以，当我们定义了一个泛型类的时候

public enum Month {
    JAN, FEB, MAR;
}

编译器做的事就是把这个enum编译成Enum类的子类，使用反编译工具可得到：

final class Month extends java.lang.Enum<Month> {
    public static final Month JAN;
    public static final Month FEB;
    public static final Month Mar;
}

如此就保证了Month这个枚举类的实例只能和Month的实例进行比较（如上例的MyEnum1和MyEnum2），而不会出现两个不同的枚举类进行比较（如上例的MyEnum3）