JDK集合源码解析

如何阅读JDK集合源码？

一般需要关注以下地方：

1. 继承体系

   类继承、接口实现关系，可通过IDEA 编辑器Diagrams体现

2. 数据结构

   初始容量、扩容因子等

3. 构造方法

   对容器做了哪些初始化

4. 常用方法解析（插入、删除、查询、迭代）

5. 是否需要扩容？扩容机制？

LinkedList

1. 概述

LinkedList是JDK集合框架中List接口的重要实现，底层采用双向链表结构实现，支持空值和重复值，元素有序。由于其双向链表的数据结构，存储过程中无需进行扩容，但需要额外空间存储前驱和后继的引用，同时在链表首尾增删元素的效率较高，但在指定位置插入时效率一般。

2. 继承体系：

• Iterable

  Implementing this interface allows an object to be the target of the “for-each loop” statement.

  实现该接口的对象具有forEach能力

• Collection

  JDK集合类的根接口，定义了常用方法，如size()、isEmpty()、contains(Object o)、iterator()、add(E e)、remove(Object o)等

• List

  集合元素有序、可重复

• AbstractSequentialList

  提供了一套顺序访问接口，采用的是在迭代器(ListIterator<E> listIterator(int index))的基础上实现的get、set、add和remove方法。只需要继承该类并实现listIterator方法，即可拥有一套完整接口直接使用。

• Deque

  双端队列，可以在队列首尾插入或删除元素

3. 数据结构

// 集合长度，初始值为0
transient int size = 0;

// 首节点(LinkedList基于双向链表实现)
transient Node<E> first;

// 尾节点(LinkedList基于双向链表实现)
transient Node<E> last;

transient：被transient修饰的成员变量不会被序列化。

不需要被序列化主要有以下情况：

1. 节省空间

   如，一个长方形类有成员变量 长、宽、面积，那么面积就无需序列化，可以节省存储空间和传输空间。

2. 含有对象的引用

   如，双向链表节点中持有的是前驱节点和后继节点的引用，引用是对象在内存中的地址值。序列化该链表后，节点的前驱引用和后继引用都失效了，因为内存地址变化。这种情况下需要重新链接链表。

LinkedList中将first和last修饰成transient是为了节省空间和重新连接链表。

4. 构造方法

public LinkedList() {
   
}

public LinkedList(Collection<? extends E> c) {
   
    this();
    addAll(c);
}

LinkedList的构造方法并无特殊之处

5. 常用方法

查找

LinkedList底层基于双向链表结构，无法随机访问，其查找需要从链表表头或表尾开始遍历，时间复杂度为O(N)，相关源码如下：

public E get(int index) {
   
    // 校验下标位置是否合法
    checkElementIndex(index);
    return node(index).item;
}

Node<E> node(int index) {
   

    // 判断元素在链表前半部分或后半部分，决定从链表表头还是表尾开始遍历
    if (index < (size >> 1)) {
   
        Node<E> x = first;
        for (int i = 0; i < index; i++)
            x = x.next;
        return x;
    } else {
   
        Node<E> x = last;
        for (int i = size - 1; i > index; i--)
            x = x.prev;
        return x;
    }
}

LinkedList查找代码较为简单，其中有一个优化小细节，通过判断下标位置在链表前半部分还是后半部分(index < (size >> 1))，决定从表头还是表尾开始遍历。

遍历

链表的遍历过程也较为简单，从头到尾遍历每个节点。在遍历LinkedList时，常用foreach方法（定义于Iterable接口），foreach方法最终将会转换为iterator()实现。

首先是父类、父接口遍历相关源码如下：

// AbstractList抽象类
public ListIterator<E> listIterator() {
   
    return listIterator(0);
}

// AbstractSequentialList extends AbstractList
public Iterator<E> iterator() {
   
    return listIterator();
}

然后是LinkedList源码：

public ListIterator<E> listIterator(int index) {
   
    checkPositionIndex(index);
    return new ListItr(index);
}

private class ListItr implements ListIterator<E> {
   
	// 最后返回节点，即当前节点
    private Node<E> lastReturned;
    // 下一节点