java容器类4:Queue深入解读

Posted NeilZhang

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了java容器类4:Queue深入解读相关的知识,希望对你有一定的参考价值。

1594931-293dba23ebc504c2

Collection的其它两大分支:List和Set在前面已近分析过,这篇来分析一下Queue的底层实现。

前三篇关于Java容器类的文章:

java容器类1:Collection,List,ArrayList,LinkedList深入解读

java容器类2:Map及HashMap深入解读

java容器类3:set/HastSet/MapSet深入解读

Queue


public interface Queue<E> extends Collection<E> {
    boolean add(E var1);

    boolean offer(E var1);

    E remove();

    E poll();

    E element();

    E peek();
}
这就是Queue接口的代码,相比于List或者Set简洁明了很多。下面介绍一下它里面接口的含义:
在处理元素前用于保存元素的 collection。除了基本的 Collection 操作外,队列还提供其他的

插入、提取和检查

操作。每个方法都存在两种形式:

一种抛出异常(操作失败时),另一种返回一个特殊值(nullfalse,具体取决于操作)。

插入操作的后一种形式是用于专门为有容量限制的 Queue 实现设计的;在大多数实现中,插入操作不会失败。
image
 


1182892-20171122100317930-842768608

AbstractQueue


AbstractQueue中实现了queue和Collection中部分函数,比较简单,源码如下:

public abstract class AbstractQueue<E> extends AbstractCollection<E>
    implements Queue<E> {
    protected AbstractQueue() {
    }
    public boolean add(E e) {
        if (offer(e))
            return true;
        else
            throw new IllegalStateException("Queue full");
    }


    public E remove() {
        E x = poll();
        if (x != null)
            return x;
        else
            throw new NoSuchElementException();
    }

    public E element() {
        E x = peek();
        if (x != null)
            return x;
        else
            throw new NoSuchElementException();
    }

    public void clear() {
        while (poll() != null)
            ;
    }

    public boolean addAll(Collection<? extends E> c) {
        if (c == null)
            throw new NullPointerException();
        if (c == this)
            throw new IllegalArgumentException();
        boolean modified = false;
        for (E e : c)
            if (add(e))
                modified = true;
        return modified;
    }
}

从上面的调用关系可以看出来,Queue的解释中哪些是会抛出异常的调用,哪些是不会抛出异常的调用接口。

Deque


一个线性 collection,支持在两端插入和移除元素。名称 deque 是“double ended queue(双端队列)”的缩写,通常读为“deck”。大多数 Deque 实现对于它们能够包含的元素数没有固定限制,但此接口既支持有容量限制的双端队列,也支持没有固定大小限制的双端队列。(java 1.6版本中的家扣,1.8中接口有变动,但是大概含义相似)

image

Java容器类1中介绍了LinkedList,链表类其实实现了 Deque的接口,所以链表支持从头部和尾部添加和移除元素。

ArrayDeque


因为链表的存储结构可能比较简单,这里介绍一下ArrayDeque,它的里面存储元素使用一个数组。 作为一个双端队列的数组,涉及到扩容和元素的拷贝的逻辑可能比较复杂些。

看一下里面的几个构造函数:

public ArrayDeque() {
        elements = 
new Object[16];
    }


public ArrayDeque(int numElements) {
        
allocateElements(numElements);
    }

public ArrayDeque(Collection<? extends E> c) {
        allocateElements(c.size());
        addAll(c);
    }

从构造函数可以看出默认的会分配一个长度为16的数组。同时,也支持指定大小的队列(这里的allocateElements函数之前在

java容器类2:Map及HashMap深入解读  中已经深入分析过,是个非常精妙的函数)。下面看一下到底是如何实现插入?又是如何自动扩充数组的?

ArrayQueue中维护了两个成员变量:head和tail分别代表 队列的头和尾在数组中的下标。

 /**
     * The index of the element at the head of the deque (which is the
     * element that would be removed by remove() or pop()); or an
     * arbitrary number equal to tail if the deque is empty.
     */
    transient int head;

    /**
     * The index at which the next element would be added to the tail
     * of the deque (via addLast(E), add(E), or push(E)).
     */
    transient int tail;

在队列的首部添加元素:

public void addFirst(E e) {
        if (e == null)
            throw new NullPointerException();
        
elements[head = (head - 1) & (elements.length - 1)] = e;
        if (head == tail)
            
doubleCapacity();
    }
public void
addLast(E e) {
if
 (e == 
null
)
throw new
 NullPointerException();
elements[tail] = e;
if
 ( (tail = (tail + 1) & (elements.length - 1)) == head)
doubleCapacity();
}

由构造函数和数组分配的函数可以知道,数组的长度肯定是一个2的幂次方的一个整数。

当head为大于0的整数时,在头部插入很简单,将head前一个元素赋值为e就可以了。那么当head为0时,怎么计算的?由上面可以看出会插入到数组的尾部。所以ArrayDeque相当于在一个圆环上,规定一个头一个尾作为队列的前后(将数组的首位相连)。

在最后位置添加元素的原理和在首部添加相似。注意判断是否已满的 判断,这里不再分析。

当队列已经满后,会将数组的长度double。由于数组是不能自由扩张的,所以doubleCapacity函数应该是分配一个更大的数组,并将原来的元素拷贝进去,这里不再分析。

总的来说双端队列ArrayDeque是在数组的基础之上实现,原理和实现都不算复杂,但是很多边界调节等细节可以斟酌。

BlockingQueue


BlockingQueue是concurrent包下面的,后续打算写一个系列文章专门分析concurrent包下面的类,及一些多线程相关的东西。

PriorityQueue


优先级队列是一个可以排序的队列。内部是一个最大堆,大部分人应该了解堆排序,所以对最大堆应该不会陌生。

每次读取元素都是读取最大的元素(默认情况下)。

对外的接口有如下:

方法名功能描述
add(E e) 添加元素
clear() 清空
contains(Object o) 检查是否包含当前参数元素
offer(E e) 添加元素
peek() 读取元素,(不删除)
poll() 取出元素,(删除)
remove(Object o) 删除指定元素
size() 返回长度

PriorityQueue 默认是一个最大堆结构,如果想构造一个最小堆:

private static final int DEFAULT_INITIAL_CAPACITY = 11;
PriorityQueue<Integer> maxHeap=new PriorityQueue<Integer>(DEFAULT_INITIAL_CAPACITY, new Comparator<Integer>() {
        @Override
        public int compare(Integer o1, Integer o2) {
            return o2-o1;
        }
    });

关于堆的数据结构部分这里不再分析可以参考:https://www.cnblogs.com/tstd/p/5125949.html

c++版的优先级队列分析:优先级队列用法详解(priority_queue)

由于是通过数组保存数据,所以优先级队列也会涉及到容量的扩充等,和HashMap/Setting/Collection的扩容原理相同,甚至更简单,不再分析。PriorityQueue内部的操作都是在最大堆的基础上展开的,阅读堆的数据结构相关资料便可了解。

参考:

http://tool.oschina.net/uploads/apidocs/jdk-zh/java/util/Deque.html

http://www.cnblogs.com/NeilZhang/p/5650226.html

以上是关于java容器类4:Queue深入解读的主要内容,如果未能解决你的问题,请参考以下文章

Java Review - Queue和Stack 源码解读

Java Review - Queue和Stack 源码解读

java集合类深入分析之Queue篇

Java 集合深入理解 :优先队列(PriorityQueue)之源码解读,及最小顶堆实现研究

深入解读国内首个容器技术白皮书

SpringMVC源码解读--HandlerMapping代码解读