Java:枚举类也就这么回事

倾然丶 夕夏残阳落幕 提交于 2020-02-22 21:29:53

一、前言

本篇博客是对JDK1.5的新特性枚举的一波小小的总结,主要是昨天在看一部分面试题的时候,遇到了枚举类型的题目,发现自己有许多细节还需要加强,做起来都模棱两可,是时候总结一波了。

二、源自一道面试题

不多bb,直接开门见山,我遇到这样一道也许很简单的题目:

enum AccountType
{
    SAVING, FIXED, CURRENT;
    private AccountType()
    {
        System.out.println(“It is a account type”);
    }
}
class EnumOne
{
    public static void main(String[]args)
    {
        System.out.println(AccountType.FIXED);
    }
}

问打印的结果是啥?正确答案如下:

It is a account type
It is a account type
It is a account type
FIXED

至于结果为啥是这个,且看我慢慢总结。

三、枚举的由来

存在即合理。

我贼喜欢这句圣经,每次我一解释不了它为什么出现的时候,就不自觉地用上这句话。

枚举一定有他存在的价值,在一些时候,我们需要定义一个类,这个类中的对象是有限且固定的,比如我们一年有四个季节,春夏秋冬。

在枚举被支持之前,我们该如何定义这个Season类呢?可能会像下面这样:

public class Season {
    //private修饰构造器,无法随意创建对象
    private Season(){}
    //final修饰提供的对象在类外不能改变
    public static final Season SPRING = new Season();
    public static final Season SUMMER = new Season();
    public static final Season AUTUMN = new Season();
    public static final Season WINTER = new Season();
}

在定义上,这个Season类可以完成我们的预期,它们各自代表一个实例,且不能被改变,外部也不能随便创建实例。

但,通过自定义类实现枚举的效果有个显著的问题:代码量非常大。

于是,JDK1.5,枚举类应运而生。

四、枚举的定义形式

enum关键字用以定义枚举类,这是一个和classinterface关键字地位相当的关键字。也就是说,枚举类和我们之前使用的类差不太多,且enum和class修饰的类如果同名,会出错。

有一部分规则,类需要遵循的,枚举类也遵循:

  • 枚举类也可以定义成员变量、构造器、普通和抽象方法等。
  • 一个Java源文件最多只能定义一个public的枚举类,且类名与文件名相同。
  • 枚举类可以实现一个或多个接口。

也有一部分规则,枚举类显得与众不同:

  • 枚举类的实例必须在枚举类的第一行显式列出,以逗号分隔,列出的实例系统默认添加public static final修饰。
  • 枚举类的构造器默认私有,且只能是私有,可以重载。
  • 枚举类默认final修饰,无法被继承。
  • 枚举类都继承了java.lang.Enum类,所以无法继承其他的类。
  • 一般情况下,枚举常量需要用枚举类.枚举常量的方式调用。

知道这些之后,我们可以用enum关键字重新定义枚举类:

public enum Season{
    //定义四个实例
    SPRING,SUMMER,AUTUMN,WINTER;
}

需要注意的是,在JDK1.5枚举类加入之后,switch-case语句进行了扩展,其控制表达式可以是任意枚举类型,且可以直接使用枚举值的名称,无需添加枚举类作为限定。

五、Enum类里有啥?

Enum类是所有enum关键字修饰的枚举类的顶级父类,里头定义的方法默认情况下,是通用的,我们来瞅它一瞅:

public abstract class Enum<E extends Enum<E>> extends Object implements Comparable<E>, Serializable

我们可以发现,Enum其实是一个继承自Object类的抽象类(Object类果然是顶级父类,不可撼动),并实现了两个接口:

  • Comparable:支持枚举对象的比较。
  • Serializable:支持枚举对象的序列化。

1、唯一的构造器

    protected Enum(String name, int ordinal) {
        this.name = name;
        this.ordinal = ordinal;
    }

官方文档这样说的:程序员不能去调用这个构造器,它用于编译器响应enum类型声明发出的代码,关于这一点,我们后面体会会更加深刻一些。

2、重要的方法们

关于Object类中的方法,这边就不赘述了,主要提一提特殊的方法。

public final String name()

返回这个枚举常量的名称。官方建议:大多数情况,最好使用toString()方法,因为可以返回一个友好的名字。而name()方法以final修饰,无法被重写。

public String toString()

源码上看,toString()方法和name()方法是相同的,但是建议:如果有更友好的常量名称显示,可以重写toString()方法。

public final int ordinal()

返回此枚举常量的序号(其在enum声明中的位置,其中初始常量的序号为零)。

大多数程序员将不需要这种方法。它被用于复杂的基于枚举的数据结构中,如EnumSet和EnumMap。

public final int compareTo(E o)

这个方法用于指定枚举对象比较顺序,同一个枚举实例只能与相同类型的枚举实例进行比较。

    public final int compareTo(E o) {
        Enum<?> other = (Enum<?>)o;
        Enum<E> self = this;
        if (self.getClass() != other.getClass() && // optimization
            //getDeclaringClass()方法返回该枚举常量对应Enum类的类对象
            self.getDeclaringClass() != other.getDeclaringClass())
            throw new ClassCastException();
        //该枚举常量顺序在o常量之前,返回负整数
        return self.ordinal - other.ordinal;
    }

public static <T extends Enum> T valueOf(Class enumType,
String name)

该静态方法返回指定枚举类中指定名称的枚举常量。

3、凭空出现的values()方法

为什么会想到总结这个方法呢?其实也是有一定心路历程的,官方文档特别强调了一句话:

Note that when using an enumeration type as the type of a set or as the type of the keys in a map, specialized and efficient set and map implementations are available.

一般Note开头的玩意儿,还是比较重要的。大致意思如下:

当使用枚举类型作为集合的类型或映射中的键的类型时,可以使用专门化且有效的集合和映射实现。

看完非常不理解,于是开始查找资料,发现有一种用法:

Arrays.asList(AccountType.values())

很明显调用了这个枚举类的values()方法,但是刚才对枚举类的方法一通分析,也没看到有values()方法啊。但是编译器确实提示,有,确实有!

这是怎么回事呢?JDK文档是这么说的:

The compiler automatically adds some special methods when it creates an enum. For example, they have a static values method that returns an array containing all of the values of the enum in the order they are declared.

编译器会在创建一个枚举类的时候,自动在里面加入一些特殊的方法,例如静态的values()方法,它将返回一个数组,按照枚举常量声明的顺序存放它们。

这样一来,枚举类就可以和集合等玩意儿很好地配合在一起了,具体咋配合,以后遇到了就知道了。

关于这一点,待会反编译之后会更加印象深刻。

六、反编译枚举类

注:由于学识尚浅,这部分内容总结起来虚虚的,但是总归查找了许多的资料,如有说的不对的地方,还望评论区批评指正。

那么,回到我们文章开头提到的那到面试题,我们根据结果来推测程序运行之后发生的情况:

  • 其中的构造器被调用了三次,说明定义的枚举常量确实是三个活生生的实例,也就是说,每次创建实例就会调用一次构造器。
  • 然后,System.out.println(AccountType.FIXED);将会调用toString()方法,由于子类没有重写,那么将会返回name值,也就是"FIXED"

至此,我们的猜测结束,其实确实也大差不差了,大致就是这个过程。在一番查阅资料之后,我又尝试着去反编译这个枚举类文件:

我们先用javap -p AccountType.class命令试着反编译之后查看所有类和成员。

为了看看static中发生的情况,我试着用更加详细的指令,javap -c -l AccountType.class,试图获取本地变量信息表和行号,虽然我大概率还是看不太懂的。

我们以其中一个为例,参看虚拟机字节码指令表,大致过程如下:

  static {};
    Code:
       0: new           #4                  //创建一个对象,将其引用值压入栈
       3: dup                               //复制栈顶数值并将复制值压入栈顶
       4: ldc           #10                 //将String常量值SAVING从常量池推送至栈顶
       6: iconst_0                          //将int型0推送至栈顶
       7: invokespecial #11                 //调用超类构造器
      10: putstatic     #12                 //为指定的静态域赋值

以下为由个人理解简化的编译结构:

public final class AccountType extends java.lang.Enum<AccountType> {
    //静态枚举常量
    public static final AccountType SAVING;

    public static final AccountType FIXED;

    public static final AccountType CURRENT;

    //存储静态枚举常量的私有静态域
    private static final AccountType[] $VALUES;

    //编译器新加入的静态方法
    public static AccountType[] values();

    //调用实例方法获取指定名称的枚举常量
    public static AccountType valueOf(java.lang.String);

    static {
        //创建对象,传入枚举常量名和顺序
        SAVING = new AccountType("SAVING",0);
        FIXED = new AccountType("FIXED",1);
        CURRENT = new AccountType("CURRENT",2);
        //给静态域赋值
        $VALUES = new AccountType[]{
            SAVING,FIXED,CURRENT
        }
    };     
}

Enum类的构造器,在感应到enum关键字修饰的类之后,将会被调用,传入枚举常量的字符串字面量值(name)和索引(ordinal),创建的实例存在私有静态域&VALUES中。

而且编译器确实会添加静态的values()方法,用以返回存放枚举常量的数组。

七、枚举类实现单例

public enum  EnumSingleton {
    INSTANCE;
    public EnumSingleton getInstance(){
        return INSTANCE;
    }
}

这部分等到以后总结单例模式再侃,先在文末贴个地址。

八、参考资料

通过javap命令分析java汇编指令
Java中的枚举与values()方法

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!