本节我们介绍Java的集合类型。集合类型也是Java标准库中被使用最多的类型。
Java集合简介
什么是集合(Collection)?集合就是由若干个确定的元素所构成的整体。为什么要在计算机中引入集合呢?这是为了便于处理一组类似的数据。
在Java中,如果一个Java对象可以在内部持有若干其他Java对象,并对外提供访问接口,我们把这种Java对象称为集合。很显然,Java的数组可以看作是一种集合。既然Java提供了数组这种数据类型,可以充当集合,那么我们为什么还需要其他集合类?这是因为数组有如下限制:
- 数组初始化后大小不可变
- 数组只能按索引顺序存取
因此,我们需要各种不同类型的集合类来处理不同的数据,例如:
- 可变大小的顺序链表
- 保证无重复元素的集合
- …
Collection
Java标准库自带的java.util包提供了集合类:Collection,它是除Map外所有其他集合类的根接口。Java的java.util包主要提供了以下三种类型的集合:
- List:一种有序列表的集合
- Set:一种保证没有重复元素的集合
- Map:一种通过键值(key-value)查找的映射表集合
Java的集合设计有几个特点:一是实现了接口和实现类相分离,例如,有序表的接口是List,具体的实现类有ArrayList,LinkedList等;二是支持泛型,我们可以限制在一个集合中只能放入同一数据类型的元素,例如,List<String> list = new ArrayList<>(); // 只能放入String类型
;最后,Java访问集合总是通过统一的方式—-迭代器(Iterator)来实现,它最明显的好处在于无需知道集合内部元素是按什么方式存储的。
由于Java的集合设计非常久远,中间经历过大规模改进,我们要注意到有一小部分集合类是遗留类,不应该继续使用:
- Hashtable:一种线程安全的Map实现
- Vector:一种线程安全的List实现
- Stack:基于Vector实现的LIFO的栈
还有一小部分接口是遗留接口,也不应该继续使用:
- Enumeration
:已被Iterator 取代
使用List
在集合类中,List是最基础的一种集合,它是一种有序列表。List的行为和数组几乎完全相同,List内部按照放入元素的先后顺序存放,每个元素都可以通过索引确定自己的位置,List的索引和数组一样,都是从0开始。但在添加和删除元素的时候,使用数组实现会非常麻烦。在实际应用中,需要增删元素的有序列表,我们使用最多的是ArrayList。实际上,ArrayList在内部使用了数组来存储所有的元素。
例如,一个ArrayList拥有5个元素,实际数组大小为6(即有一个空位)。当添加一个元素并指定索引到ArrayList时,ArrayList自动移动需要移动的元素。然后,往内部指定索引的数组位置添加一个元素,然后把size加1。继续添加元素,但是数组已满,没有空闲位置的时候,ArrayList先创建一个更大的新数组,然后把旧数组的所有元素复制到新数组,紧接着用新数组取代旧数组。现在,新数组就有了空位,可以继续添加一个元素到数组末尾,同时size加1。
可见,ArrayList把添加和删除的操作封装起来,让我们操作List类似于操作数组,却不用关心内部元素如何移动。
我们考察List
- 在末尾添加一个元素:boolean add(E e)
- 在指定索引处添加一个元素:boolean add(int index, E e)
- 删除指定索引的元素:E remove(int index)
- 删除某个元素:boolean remove(Object e)
- 获取指定索引的元素:E get(int index)
- 获取链表大小:int size()
但是,实现List接口并非只能通过数组来实现,另一种LinkedList通过“链表”也实现了List接口。在LinkedList中,它的内部元素都指向下一个元素。
通常情况下,我们总是优先使用ArrayList。
List的特点
使用List时,我们要关注List接口的规范。List接口允许我们添加重复的元素,即List内部的元素可以重复。List还允许添加null。
创建List
除了使用ArrayList和LinkedList,我们还可以通过List接口提供的of()方法,根据给定元素快速创建List。
1 |
|
但是List.of()方法不接受null值,如果传入null,会抛出NullPointerException异常。
遍历List
和数组类型一样,我们要遍历一个List,完全可以用for循环根据索引配合get(int)方法遍历。但不推荐这种方式,一是代码复杂,二是get(int)方法只有ArrayList的实现是高效的,换成LinkedList后,索引越大,访问速度越慢。
所以我们要始终坚持使用迭代器Iterator来访问List。Iterator本身也是一个对象,但它是由List的实例调用iterator()方法的时候创建的。Iterator对象知道如何遍历一个List,并且不同的List类型,返回的Iterator对象实现也是不同的,但总是具有最高访问效率。
Iterator对象有两个方法:boolean hasNext()
判断是否有下一个元素,E next()
返回下一个元素。因此,使用Iterator遍历List代码如下:
1 |
|
有同学可能觉得使用Iterator访问List的代码比使用索引更复杂。但是,要记住,通过Iterator遍历List永远是最高效的方式。并且,由于Iterator遍历是如此常用,所以Java的for each
循环本身就可以帮我们使用Iterator遍历。
1 |
|
上述代码就是我们编写遍历List的常见代码。
实际上,只要实现了Iterator接口的集合类都可以直接用for each循环来遍历,Java编译器本身并不知道如何遍历集合对象,但它会自动把for each循环变成Iterator的调用,原因就在于Iterator接口定义了一个Iterator
List和Array转换
把List变为Array有三种方法,第一种是调用toArray()方法直接返回一个Object[]数组,这种方法会丢失类型信息,所以实际应用很少。
第二种是给toArray(T[])传入一个类型相同的array,List自动把元素复制到传入的array中。但是如果我们传入的数组大小和List实际的元素个数不一致怎么半?根据List接口的文档,我们知道:如果传入的数组不够大,那么List内部会创建一个新的刚好够大的数组,填充后返回;如果传入的数组比List元素还要多,那么填充完元素后,剩下的数组元素一律填充null。实际上,最常用的是传入一个恰好大小的数组。
最后一种更简洁的写法是通过List
接口定义的T[] toArray(IntFunction<T[]> generator)
方法。这种函数式的写法我们会在后续讲到。
1 |
|
反过来,把Array变成List就简单多了。通过List.of(T...)
方法最简单。
1 |
|
对于JDK 11以前的版本,可以使用Array.asList(T...)
方法把数组转换为List。
要注意的是,返回的List不一定就是ArrayList或者LinkedList,因为List只是一个接口,如果我们调用List.of(),它返回的是一个只读List。对只读List调用add(),remove()方法会抛出UnsupportedOperationException
。
编写equals方法
我们知道List是一种有序链表:List内部按照放入元素的先后顺序存放,并且每个元素都可以通过索引确定自己的位置。
List还提供了boolean contains(Object o)
方法来判断List是否包含某个指定元素。此外,int indexOf(Object o)
方法可以返回某个元素的索引,如果元素不存在,就返回-1。
这里我们注意一个问题,我们往List里添加的”C”和调用contains(“C”)传入的”C”是不是同一个实例?
1 |
|
我们传入的是new String("C")
,所以一定是不同的实例。结果仍然是true,这是为什么呢?因为List内部并不是通过==判断两个元素是否相等,而是使用equals()方法判断两个元素是否相等。对于引用字段比较,我们使用equals(),对于基本类型字段的比较,我们使用==。
因此,要正确使用List的contains(),indexOf()这些方法,放入的实例必须正确覆写equals()方法,否则查不到放进去的实例。我们之所以能正常放入String,Integer这些对象,是因为Java标准库定义的这些类已经正确实现了equals()方法。我们来测试一下。
1 |
|
编写equals
如何正确编写equals()方法?equals()方法要求必须满足以下条件:
- 自反性(Reflexive):对于非null的x来说,x.equals(x)必须返回true;
- 对称性(Symmetric):对于非null的x和y来说,如果x.equals(y)为true,则y.equals(x)也必须为true;
- 传递性(Transitive):对于非null的x、y和z来说,如果x.equals(y)为true,y.equals(z)也为true,那么x.equals(z)也必须为true;
- 一致性(Consistent):对于非null的x和y来说,只要x和y状态不变,则x.equals(y)总是一致地返回true或者false;
- 对null的比较:即x.equals(null)永远返回false。
上述规则看上去很复杂,但其实代码实现equals()方法是很简单的,以Person类为例。首先我们要定义“相等”的逻辑含义。对于Person类,如果name相等,并且age相等,我们就认为两个Person实例相等。
1 |
|
如果this.name为null,那么equals()方法会报错,因此需要改写。
1 |
|
如果Person有好几个引用类型的字段,上面的写法就太复杂了。要简化引用类型的比较,我们使用Objects.equals()
静态方法。
1 |
|
因此,我们总结一下equals()的正确编写方法:
- 先确定实例“相等”的逻辑,即哪些字段相等,就认为实例相等;
- 用instanceof判断传入的待比较的Object是不是当前类型,如果是,继续比较,否则,返回false;
- 对引用类型用Objects.equals()比较,对基本类型直接用==比较。
使用Objects.equals()比较两个引用类型是否相等的目的是省去了判断null的麻烦。两个引用类型都是null时它们也是相等的。
如果不在List种查找元素,即不调用List的contains()、indexOf()这些方法,那么放入的元素就不需要实现equals()方法。
使用Map
我们知道,List是一种顺序列表,如果有一个存储学生Student实例的List,要在List种根据name查找某个指定的Student分数,应该怎么办?最简单的方法是遍历List并判断name是否相等,然后返回指定元素。
这种需求其实非常常见,即通过一个键去查询对应的值。使用List来实现存在效率非常低的问题,因为平均需要扫描一半的元素才能确定。而Map这种键值(key-value)映射表的数据结构,作用就是能高校通过keyu快速查找value(元素)。
用Map来实现根据name查询某个student的代码如下。
1 |
|
通过上述代码可知:Map<K, V>是一种键值映射表,当我们调用put(K key, V value)方法时,就把key和value做了映射并放入Map。当我们调用V get(K key)
时,就可以通过key获取对应的value。如果key不存在,则返回null。和List类似,Map也是一个接口,最常用的实现类是HashMap。
如果想查询某个key是否存在,可以调用boolean containsKey(K key)
方法。
如果我们在存储Map映射关系的时候,对同一个key调用两次put()方法,分别放入不同的value,会出现什么问题呢?答:重复放入key-value并不会有任何问题,但是一个key只能关联一个value。实际上,put()方法的签名是V put(K key, V value),如果放入的key已经存在,put()方法会返回被删除的旧的value,否则,返回null。始终牢记:Map中不存在重复的key,因为放入相同的key,只会把原有的key-value对应的value给替换掉。
此外,在一个Map中,虽然key不能重复,但value是可以重复的。
遍历Map
对Map来说,要遍历key可以使用for each循环,遍历Map实例的keySet()方法返回的Set集合,它是包含不重复key的集合。
1 |
|
同时遍历key和value可以遍历Map实例的entrySet()集合,它包含每一个key-value实例。
1 |
|
Map和List不同的是,Map存储的是key-value的映射关系,并且,它不保证顺序。在遍历的时候,遍历的顺序既不一定是put()时放入的key的顺序,也不一定是key的排序顺序。使用Map时,任何依赖顺序的逻辑都是不可靠的。以HashMap为例,假设我们放入”A”,”B”,”C”这3个key,遍历的时候,每个key会保证被遍历一次且仅遍历一次,但顺序完全没有保证,甚至对于不同的JDK版本,相同的代码遍历的输出顺序都是不同的!
遍历Map时,不可假设输出的key是有序的!
编写equals和hashCode
我们知道Map是一种键值映射表,可以通过key快速查找对应的value。以HashMap为例,HashMap之所以能根据key直接拿到value,原因是它内部通过空间换时间的方法,用一个大数组存储所有value,并根据key直接计算出value应该存储在哪个索引。
1 |
|
如果key的值为”a”,计算得到的索引总是1,因此返回value为Person(“Xiao Ming”),如果key的值为”b”,计算得到的索引总是5,因此返回value为Person(“Xiao Hong”),这样,就不必遍历整个数组,即可直接读取key对应的value。
当我们使用key存取value的时候,就会引出一个问题:我们放入Map的key是字符串”a”,但是,当我们获取Map的value时,传入的变量不一定就是放入的那个key对象。换句话讲,两个key应该是内容相同,但不一定是同一个对象。
1 |
|
因为在Map内部,对key作比较是通过equals()实现的,这一点和List查找元素需要正确覆写equals()是一样的。即正确使用Map必须保证:作为key的对象必须正确覆写了equals()方法。
我们经常使用String作为key,因为String已经正确覆写了equals()。但如果我们放入的key是一个自己写的类,就必须保证正确覆写了equals()。
我们再思考一下HashMap为什么能通过key直接计算出value存储的索引。相同的key对象必须要计算出相同的索引,否则,相同的key每次取出的value就不一定对。通过key计算索引的方式就是调用key对象的hashCode()方法,它返回一个int整数。HashMap正是通过这个方法直接定位key对应的value的索引,继而直接返回value。
因此,正确使用Map必须保证:
- 作为key的对象必须正确覆写equals()方法,相等的两个key实例调用equals()必须返回true
- 作为key的对象必须正确覆写hashCode()方法,且hashCode()方法要严格遵循以下规范:
- 如果两个对象相等,则两个对象的hashCode()必须相等
- 如果两个对象不相等,则两个对象的hashCode()尽量不要相等
上述第一条规范是正确性,必须保证实现,否则HashMap不能正常工作。第二条规范尽量满足,这样可以保证查询效率。因为不同的对象,如果返回相同的hashCode(),会造成Map内部存储冲突,使存储效率下降。
正确编写equals()的方法我们在上两节讲过了,以Person类为例,首先,把需要比较的字段找出来;然后,引用类型使用Objects.equals()
比较,基本类型使用==
比较。在正确实现equals()的基础上,我们还需要正确实现hashCode(),即上述字段分别相同的实例,hashCode()返回的int必须相同。
1 |
|
主要到String类已经正确实现了hashCode()方法,我们在计算Person的hashCode()时,反复使用31*h
,这样做的目的是为了尽量把不同的Person实例的hashCode()均匀分布在整个int范围。
和实现equals()方法遇到的问题类似,如果firstName或lastName为null,上述代码工作起来就会抛NullPointerException。为了解决这个问题,我们在计算hashCode()的时候,经常借助Objects.hash()来计算。
1 |
|
所以,编写equals()和hashCode()遵循的原则是:equals()用到的用于比较的每一字段,都必须在hashCode()中用于计算;equals()中没有使用到的字段,绝不可放在hashCode()中计算。
另外注意,对于放入HashMap的value对象,没有任何要求。
延伸阅读
既然HashMap内部使用了数组,通过计算key的hashCode()直接定位value所在的索引,那么第一个问题来了:hashCode()返回的int范围高达±21亿,先不考虑负数,HashMap内部使用的数组得有多大?
实际上,HashMap初始化时默认的数组大小只有16,任何key,无论它的hashCode()有多大,都可以简单通过:
1 |
|
把索引确定再0~15,即永远不会超出数组范围,上述算法只是一种最简单的实现。
第二个问题:如果添加超过16个key-value到HashMap,数组不够用了怎么办?添加超过一定数量的key-value时,HashMap会在内部自动扩容,每次扩容一倍,即数组的长度从16扩展为32,相应的,需要重新确定hashCode()计算的索引位置。例如,对长度为32的数组计算hashCode()对应的索引,计算方式要改为:
1 |
|
由于扩容会导致重新分布已有的key-value,所以频繁扩容对HashMap的性能影响很大。如果我们确定要使用一个容量为10000个key-value的HashMap,更好的方式是创建HashMap时就指定容量:
1 |
|
虽然指定容量是10000,但HashMap内部的数组长度总是2^n,因此实际数组长度被初始化为2^14=16384>10000。
最后一个问题:如果不同的两个key,他们的hashCode()恰好是相同的,那后面放的value会不会把前面的value覆盖了?当然不会!使用Map的时候,只要key不相同,它们映射的value就互不干扰。但是,在HashMap内部,确实可能存在不同的key,映射到相同的hashCode(),即相同的数组索引上,肿么办?
我们假设”a”和”b”这两个key最终计算出的索引都是5,那么在HashMap的数组中,实际存储的不是一个Person实例,而是一个包含两个Entry的List,一个是”a”的映射,一个是”b”的映射。在查找的时候,Person p = map.get("a")
,HashMap内部通过”a”找到的实际上是List<Entry<String, Person>>,它还需要遍历这个List,并找到key字段是”a”的Entry,再返回对应的Person实例。
我们把不同的key具有相同hashCode()的情况称为哈希冲突。在冲突的时候,一种最简单的解决办法是用List存储hashCode()相同的key-value。显然,如果冲突的概率越大,这个List就越长,Map的get()方法效率就越低,这就解释了为什么要尽量满足第二条规范。
hashCode()方法编写的越好,HashMap工作的效率越高。实现hashCode()方法可以通过Objects.hashCode()辅助方法实现。
使用EnumMap
我们知道,HashMap通过对key计算hashCode(),通过空间换时间的方式,直接定位到value所在的内部数组的索引,因此查询效率非常高。
如果作为key的对象是enum类型,那么还可以使用Java集合库提供的一种EnumMap,它在内部以一个非常紧凑的数组存储value,并且根据enum类型的key直接定位到内部数组的索引,并不需要计算hashCode(),不但效率最高,而且没有额外的空间浪费。
使用EnumMap的时候,我们总是用Map接口来引用它。因此,实际上把HashMap和EnumMap互换,在客户端没有任何差别。
使用TreeMap
我们知道,HashMap是一种以空间换时间的映射表,它的实现原理决定了内部的key是无序的,即遍历HashMap的key时,其顺序是不可预测的,但每个key都会且仅遍历一次。
还有一种Map,它在内部会对key进行排序,这种Map就是SortedMap,注意SortedMap是接口,其最常用的实现类是TreeMap。
SortedMap保证遍历时以key的顺序来进行排序。例如,放入的Key是”apple”、”pear”、”orange”,遍历的顺序一定是”apple”、”orange”、”pear”,因为String默认按字母排序。
使用TreeMap时,放入的key必须实现Comparable接口。String,Integer这些类已经实现了Comparable接口,因此可以直接作为key使用,作为value的对象则没有任何要求。
如果作为key的class没有实现Comparable接口,那么,必须在创建TreeMap时指定一个自定义排序算法。
1 |
|
注意到Comparator
接口要求实现一个比较方法,它负责比较传入的两个元素a和b,如果a<b,则返回负数,通常是-1,如果a==b,则返回0,如果a>b,则返回正数,通常是1。TreeMap内部根据比较结果对Key进行排序。
如果要根据Key查找Value,我们可以传入一个new Person("Bob")
作为Key,它会返回对应的Integer值2
。
另外,注意到Person类并未覆写equals()和hashCode(),因为TreeMap不使用equals()和hashCode()。
我们来看一个稍微复杂的例子,这次我们定义了Student类,并用分数score进行排序。
1 |
|
在for循环中,我们确实得到了正确的顺序。但是,且慢!根据相同的Key:new Student("Bob", 66)
进行查找时,结果为null!这是怎么回事?在这个例子中,TreeMap出现问题,原因出在这个Comparator上。在p1.score和p2.score不相等的时候,它的返回值是正确的,但是,在p1.score和p2.score相等的时候,它并没有返回0!这就是为什么TreeMap工作不正常的原因:TreeMap在比较两个Key是否相等时,依赖Key的compareTo()方法或者Comparator.compare()
方法。在两个Key相等时,必须返回0。
我们修改代码如下:
1 |
|
或者直接借助Integer.compare(int, int)
也可以返回正确结果。
作为SortedMap的Key必须实现Comparable接口,或者传入Comparator;
要严格按照compare()规范实现比较逻辑,否则,TreeMap将不能正常工作。
使用Properties
在编写应用程序时,经常需要读写配置文件。例如,用户的设置:
1 |
|
配置文件的特点是,它的key-value一般都是String-String类型的,因此我们完全可以用Map<String, String>来表示。因为配置文件非常有用,所以Java集合库提供了一个Properties来表示一组“配置”。由于历史遗留原因,Properties内部本质上是一个Hashtable,但我们只需要用到Properties自身关于读写配置的接口。
读取配置文件
用Properties读取配置文件非常简单。Java默认配置文件以.properties
为扩展名,每行以key=value
表示,以#
开头的是注释。可以从文件系统读取上述.properties
文件。
1 |
|
可见,用Properties读取配置文件按,一共有三步:
- 创建Properties实例
- 调用load()读取文件
- 调用getProperty()获取配置
调用getProperty()获取配置时,如果key不存在,将返回null。我们还可以提供一个默认值,这样,当key不存在的时候,就返回默认值。
也可以从classpath读取.properties
文件,因为load(InputStream)方法接受一个InputStream实例,表示一个字节流,它不一定是文件流,也可以是从jar包读取的资源流。
1 |
|
还可以从内存中读取一个字节流。
如果有多个.properties
文件,可以反复调用load()读取,后读取的key-value会覆盖已读取的key-value。
1 |
|
上面的代码演示了Properties的一个常用用法:可以把默认配置文件放到classpath中,然后,根据机器的环境编写另一个配置文件,覆盖某些默认的配置。
Properties设计的目的是存储String类型的key-value,但Properties实际上是从Hashtable派生的,它的设计实际上是有问题的,但是为了保持兼容性,现在已经没法修改了。除了getProperty()和setProperty()方法外,还有从Hashtable继承下来的get()和put()方法,这些方法的参数签名是Object,我们在使用Properties的时候,不要去调用这些从Hashtable继承下来的方法。
写入配置文件
如果通过setProperty()修改了Properties实例,可以把配置写入文件,以便下次启动时获得最新配置。写入配置文件使用store()方法。
1 |
|
编码
早期版本的Java规定.properties
文件编码是ASCII编码(ISO8859-1),如果涉及到中文就必须用name=\u4e2d\u6587
来表示,非常别扭。从JDK9开始,Java的.properties
文件可以使用UTF-8编码了。
不过,需要注意的是,由于load(InputStream)默认总是以ASCII编码读取字节流,所以会导致读到乱码。我们需要用另一个重载方法load(Reader)读取:
1 |
|
就可以正常读取中文。InputStream和Reader的区别是一个是字节流,一个是字符流。字符流在内存中已经以char类型表示了,不涉及编码问题。
使用Set
我们知道,Map用于存储key-value的映射,对于充当key的对象,是不能重复的,并且,不但需要正确覆写equals()方法,还要正确覆写hashCode()方法。
如果我们只需要存储不重复的key,并不需要存储映射的value,那么就可以使用Set。Set用于存储不重复元素的集合,它主要提供以下几个方法:
- 将元素添加进Set
:boolean add(E e) - 将元素从Set
删除:boolean remove(Object e) - 判断是否包含元素:boolean contains(Object e)
Set实际上相当于只存储key,不存储value的Map。我们经常使用Set用于去除重复元素。因为放入Set的元素和Map的key类似,都要正确实现equals()和hashCode()方法,否则该元素无法正确的放入Set。最常用的Set的实现类是HashSet,实际上,HashSet仅仅是对HashMap的一个简单封装,它的核心代码如下:
1 |
|
Set接口不保证有序,而SortedSet保证元素是有序的。HashSet是无序的,因为它实现了Set接口,并没有实现SortedSet接口;TreeSet是有序的,因为它实现了SortedSet接口。
使用TreeSet和使用TreeMap的要求一样,添加的元素必须正确实现Comparable接口,如果没有实现Comparable接口,那么创建TreeSet时必须传入一个Comparator对象。
使用Queue
队列(Queue)是一种经常使用的集合。Queue实际上是实现了一个先进先出的有序表。它和List的区别在于,List可以在任意位置添加和删除元素,而Queue只有两个操作:
- 把元素添加到队列末尾
- 从队列头部取出元素
在Java标准库中,队列接口Queue定义了以下几个方法:
- int size(),获取队列长度
- boolean add(E)/boolean offer(E),添加元素到队尾
- E remove()/E poll(),获取队首元素并从队列中删除
- E element()/E peek(),获取队首元素但并不从队列中删除
对于具体的实现类,有的Queue有最大队列长度限制,有的Queue没有。注意到添加、删除和获取队首元素总是有两个方法,这是因为在添加和删除失败时,这两个方法的行为是不同的。
操作 | throw Exception | 返回false或null |
---|---|---|
添加元素到队尾 | add(E e) | boolean offer(E e) |
取队首元素并删除 | E remove() | E poll() |
取队首元素但不删除 | E element() | E peek() |
因此,两套方法可以根据需要来选择使用。注意,不要把null添加到队列中,不然很难确定是取到了null元素还是队列为空。
LinkedList即实现了List接口,又实现了Queue接口,使用时,把它当作List就获取List的引用,把它当作Queue就获取Queue的引用。始终按照面向抽象编程的原则编写代码,可以大大提高代码质量。
1 |
|
使用PriorityQueue
我们知道,Queue是一个先进先出的队列。但当我们要实现“VIP插队”的业务,用Queue就不行了,因为Queue会严格遵循FIFO的原则,这时我们就需要优先队列PriorityQueue。
PriorityQueue和Queue的区别在于,它的出队顺序与元素的优先级相关,对PriorityQueue调用remove()或poll()方法,返回的总是优先级最高的元素。因此,要使用PriorityQueue,就必须给每个元素定义优先级。
因此,放入PriorityQueue的元素,必须实现Comparable接口,PriorityQueue会根据元素的排序顺序决定出队的优先级。如果我们要放入的元素并没有实现Comparable接口怎么办?PriorityQueue允许我们提供一个Comparator对象来判断两个元素的顺序。我们以银行排队业务为例:
1 |
|
实现PriorityQueue的关键在于提供的UserComparator对象,它负责比较两个元素的大小(较小的在前)。UserComparator总是把V开头的号码优先返回,只有在开头相同的时候,才比较号码大小。
使用Deque
我们知道,Queue是队列,只能一头进一头出。如果把条件放松,允许两头都进两头都出,这种队列叫双端队列(Double Ended Queue),学名Deque。Java集合提供了接口Deque来实现一个双端队列,它的功能:
- 既可以添加到队尾,也可以添加到队首
- 既可以从队首获取,又可以从队尾获取
我们来比较一下Queue和Deque出队和入队的方法:
Queue | Deque | |
---|---|---|
添加元素到队尾 | add(E e) / offer(E e) | addLast(E e) / offerLast(E e) |
取队首元素并删除 | E remove() / E poll() | E removeFirst() / E pollFirst() |
取队首元素但不删除 | E element() / E peek() | E getFirst() / E peekFirst() |
添加元素到队首 | 无 | addFirst(E e) / offerFirst(E e) |
取队尾元素并删除 | 无 | E removeLast() / E pollLast() |
取队尾元素但不删除 | 无 | E getLast() / E peekLast() |
注意到Deque接口实际上扩展自Queue,因此,Queue提供的add()/offer()方法在Deque中也能用,但是使用Deque最好不要调用offer(),而是调用offerLast()。使用Deque,推荐总是明确调用offerLast()/offerFirst()或者pollFirst()/pollLast()方法。
Deque是一个接口,它的实现类有ArrayDeque和LinkedList。我们发现LinkedList真是一个全能选手,它即是List,又是Queue,还是Deque。但是我们在使用的时候,总是用特定的接口来引用它,这是因为持有接口说明代码的抽象层次更高,而且接口本身定义的方法代表了特定的用途。
1 |
|
使用Stack
栈(Stack)是一种后进先出的数据结构,只能不断的往Stack中压入(push)元素,最后进去的必须最早弹出(pop)来。Stack只有入栈和出栈操作:
- 把元素压栈,push(E)
- 把栈顶元素弹出,pop()
- 取栈顶元素但不弹出,peek()
在Java中,我们用Deque可以实现Stack的功能:
- 把元素压栈:push(E)/addFirst(E)
- 把栈顶的元素弹出:pop()/removeFirst()
- 取栈顶元素但不弹出:peek()/peekFirst()
为什么Java的集合类没有单独的Stack接口呢?因为有个遗留类的名字就叫Stack,出于兼容性考虑,所以没办法创建Stack接口,只能用Deque接口来模拟一个Stack了。当我们把Deque当Stack来用时,主意只调用push()/pop()/peek()方法,不要调用addFirst()/removeFirst()/peekFirst()方法,这样使代码更加清晰。
Stack的作用
Stack在计算机中使用非常广泛,JVM在处理Java方法调用的时候就会通过栈这种数据结构维护方法调用的层次。JVM会创建方法调用栈,每调用一个方法时,先将参数压栈,然后执行对应的方法;当方法返回时,返回值压栈,调用方法通过出栈操作获得方法返回值。
因为方法调用栈有容量限制,嵌套调用太多会造成栈溢出,即引发StackOverflowError。
对整数进行进制转换就可以利用栈。
中缀表达式转为后缀表达式会用到栈。计算后缀表达式也会用到栈。
使用Iterator
Java的集合类都可以使用for each循环,List、Set和Queue会迭代每个元素,Map会迭代每个key。
1 |
|
实际上,Java编译器并不知道如何遍历List,上述代码能够编译通过,只是因为编译器把for each循环通过Iterator写成了普通的for循环:
1 |
|
我们把这种通过Iterator对象遍历集合的模式称为迭代器。使用迭代器的好处在于,调用方总是以统一的方式遍历各种集合类型,而不必关心他们内部的存储结构。
例如,我们虽然知道ArrayList在内部是以数组形式存储元素,并且它还提供了get(int)方法。虽然我们可以用for循环遍历,但是这样一来,调用方就必须知道集合的内部存储结构。并且,如果把ArrayList换成LinkedList,get(int)方法耗时会随着index的增加而增加。如果把ArrayList换为Set,上述代码就无法编译,因为Set内部没有索引。
用Iterator遍历就没有上述问题,因为Iterator对象是集合在自己内部创建的,它自己知道如何高效遍历内部的数据集合,调用方则获得了统一的代码,编译器才能把标准的for each循环自动转换成Iterator遍历。
如果我们自己编写了一个集合类,想要使用for each循环,只需满足下面的条件:
- 集合类实现Iterator接口,该接口要求返回一个Iterator对象
- 用Iterator对象迭代集合内部数据
这里的关键在于,集合类通过调用iterator()方法,返回一个Iterator对象,这个对象必须自己知道如何遍历该集合。一个简单的Iterator示例如下,它总是以倒序遍历集合:
1 |
|
虽然ReverseList和ReverseIterator的实现类稍微比较复杂,但是,注意到这是底层集合库,只需编写一次。而调用方则完全按for each循环编写代码,根本不需要知道集合内部的存储逻辑和遍历逻辑。
在编写Iterator的时候,我们通常可以用一个内部类来实现Iterator接口,这个内部类可以直接访问对应的外部类的所有字段和方法。例如,上述代码中,内部类ReverseIterator可以用
ReverseList.this
获得当前外部类的this引用,然后,通过这个this引用就可以访问ReverseList的所有字段和方法。
使用Collections
Collections是JDK提供的工具类,同样位于java.util
包中,它提供了一系列静态方法,能更方便的操作各种集合。
我们一般看方法名和参数就可以确认Collections
提供的该方法的功能。例如,对于以下静态方法:
1 |
|
addAll()方法可以给一个Collection类型的集合添加若干元素。因为方法签名是Collection,所以我们可以传入List,Set等各种集合类型。
创建空集合
Collections提供了一系列方法来创建空集合:
- 创建空List:
List<T> emptyList()
- 创建空Map:
Map<K, V> emptyMap()
- 创建空Set:
Set<T> emptySet()
注意,返回的空集合是不可变集合,无法向其中添加或删除元素。
此外,也可以用各个集合接口提供的of(T...)
方法创建空集合,以下两个创建空List的方法是等价的。
1 |
|
创建单元素集合
Collections提供了一系列方法来创建一个单元素集合:
- 创建一个元素的List:
List<T> singletonList(T o)
- 创建一个元素的Map:
Map<K, V> singletonMap(K key, V value)
- 创建一个元素的Set:
Set<T> singleton(T o)
要注意到返回的单元素集合也是不可变集合,无法向其中添加或删除元素。
此外,也可以用各个集合接口提供的of(T...)
方法创建单元素集合。例如,以下创建单元素List
的两个方法是等价的:
1 |
|
实际上,使用List.of(T...)
更方便,因为它既可以创建空集合,也可以创建单元素集合,还可以创建任意个元素的集合:
1 |
|
排序
Collections可以对List进行排序,方法是Collections.sort(List),因为排序会直接修改List元素的位置,因此必须传入可变List。
洗牌
Collections提供了洗牌算法,即传入一个有序的List,可以随机打乱List内部元素的顺序,方法是Collections.shuffle(List),效果相当于让计算机洗牌。
不可变集合
Collections还提供了一组方法把可变集合封装成不可变集合,Collections.unmodifiableList(List)。
- 封装成不可变List:
List<T> unmodifiableList(List<? extends T> list)
- 封装成不可变Set:
Set<T> unmodifiableSet(Set<? extends T> set)
- 封装成不可变Map:
Map<K, V> unmodifiableMap(Map<? extends K, ? extends V> m)
这种封装实际上是通过创建一个代理对象,拦截掉所有修改方法实现的。然而,继续对原始的可变List进行增删是可以的,并且,可以直接影响到封装后“不可变的”List。因此,如果我们希望把一个可变List封装成不可变List,那么返回不可变List后,最好立刻扔掉可变List的引用,这样可以保证后续操作不会意外改变原始对象,从而造成“不可变的”List发生变化。
1 |
|
线程安全集合
Collections还提供了一组方法,可以把线程不安全的集合变为线程安全的集合:
- 变为线程安全的List:
List<T> synchronizedList(List<T> list)
- 变为线程安全的Set:
Set<T> synchronizedSet(Set<T> s)
- 变为线程安全的Map:
Map<K,V> synchronizedMap(Map<K,V> m)
多线程的概念我们会在后面讲。因为从Java 5开始,引入了更高效的并发集合类,所以上述这几个同步方法已经没有什么用了。