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

最新推荐文章于 2025-05-03 14:17:35 发布

染墨凉声绝

最新推荐文章于 2025-05-03 14:17:35 发布

阅读量8.2k

点赞数 1

CC 4.0 BY-SA版权

分类专栏： java 文章标签：枚举泛型

本文链接：https://blog.youkuaiyun.com/daibang2182/article/details/81736953

java 专栏收录该内容

2 篇文章

订阅专栏

本文详细解析了Java中枚举的实现机制，介绍了枚举如何继承自Java.lang.Enum类，并通过自限定类型的泛型确保枚举实例只能与同类型的枚举进行比较，避免不同枚举类之间的错误比较。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

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）