深入理解 LinkedList 及底层源码分析

LinkedList 是基于链表结构的一种 List，在分析 LinkedList 源码前我们先对对链表结构做一个简单的了解。

一、链表的概念

链表是由一系列非连续的节点组成的存储结构，简单分下类的话，链表又分为_单向链表和双向链表，而单向 / 双向链表又可以分为循环链表和非循环链表_，下面简单就这四种链表进行图解说明：

1、单向链表
单向链表就是通过每个结点的指针指向下一个结点从而链接起来的结构，最后一个节点的 next 指向 null。

2、单向循环链表

单向循环链表和单向列表的不同是，最后一个节点的 next 不是指向null，而是指向 head 节点，形成一个“环”。

3、双向链表

从名字就可以看出，双向链表是包含两个指针的，pre 指向前一个节点，next 指向后一个节点，但是第一个节点 head 的 pre 指向 null，最后一个节点的 tail 指向 null。

4、双向循环链表

双向循环链表和双向链表的不同在于，第一个节点的 pre 指向最后一个节点，最后一个节点的 next 指向第一个节点，也形成一个“环”。

LinkedList 就是基于双向循环链表设计的。

二、LinkedList 介绍及其源码剖析

1、继承树结构：

2、LinkedList 定义

public class LinkedList<E>extends AbstractSequentialList<E>implements List<E>, Deque<E>, Cloneable, java.io.Serializable

LinkedList 继承了 AbstractSequentialList 类，实现了 List 接口、Deque 接口、Cloneable 接口、java.io.Serializable 接口。
LinkedList 实现了 List 接口，即能对它进行队列操作，提供了相关的添加、删除、修改、遍历等功能。
LinkedList 实现了 Deque 接口，即能将 LinkedList 当作双端队列使用。
LinkedList 实现了 Cloneable 接口，即覆盖了函数 clone()，所以它能被克隆。
LinkedList 实现 java.io.Serializable 接口，这意味着 LinkedList 支持序列化，能通过序列化进行传输。

3、LinkedList 属性源码剖析

public class LinkedList<E>extends AbstractSequentialList<E>implements List<E>, Deque<E>, Cloneable, java.io.Serializable
{// 双向链表的节点个数transient int size = 0;/*** Pointer to first node.     * Invariant: (first == null && last == null) ||     *            (first.prev == null && first.item != null)     */// 双向链表指向头节点的指针transient Node<E> first;/*** Pointer to last node.     * Invariant: (first == null && last == null) ||     *            (last.next == null && last.item != null)     */// 双向链表指向尾节点的指针transient Node<E> last;}

从以上源码可以看出，LinkedList 的属性比较少，分别是：

size ：双向链表的节点个数
first：双向链表指向头节点的指针
last：双向链表指向尾节点的指针

注意：first 和 last 是由引用类型 Node 连接的，这是它的一个内部类。

4、内部类 Node 源码剖析：

LinkedList 是通过双向链表实现的，而双向链表就是通过 Node 类来实现的，Node 类中通过 item 变量存储当前元素，通过 next 变量指向当前节点的下一个节点，通过 prev 变量指向当前节点的上一个节点。

private static class Node<E> {// item表示当前存储元素E item;// next表示当前节点的后置节点Node<E> next;// prev表示当前节点的前置节点Node<E> prev;Node(Node<E> prev, E element, Node<E> next) {this.item = element;this.next = next;this.prev = prev;}
}

三、构造方法及其源码剖析

1、无参构造方法

LinkedList 的无参构造就是**构造一个空的 list 集合**。

/*** Constructs an empty list. */
public LinkedList() {
}

2、有参构造方法

传入一个 Collection<? extends E> 类型参数，构造一个包含指定集合的元素的列表，按照它们由集合的迭代器返回的顺序。

/*** Constructs a list containing the elements of the specified * collection, in the order they are returned by the collection's * iterator. * * @param  c the collection whose elements are to be placed into this list * @throws NullPointerException if the specified collection is null */
public LinkedList(Collection<? extends E> c) {this();addAll(c);
}

四、常用方法及其源码剖析

1、add(E e) 方法，将指定的元素追加到此列表的末尾

/*** Appends the specified element to the end of this list. * * <p>This method is equivalent to {@link #addLast}. * * @param e element to be appended to this list * @return {@code true} (as specified by {@link Collection#add}) */
public boolean add(E e) {linkLast(e);return true;
}

其中，调用的 linkLast() 方法，设置元素 e 为最后一个元素：

/*** Links e as last element. */
void linkLast(E e) {// 获取链表的最后一个节点final Node<E> l = last;// 创建一个新节点final Node<E> newNode = new Node<>(l, e, null);// 使新的一个节点为最后一个节点last = newNode;// 如果最后一个节点为null，则表示链表为空，则将newNode赋值给first节点if (l == null)first = newNode;else// 否则尾节点的last指向 newNodel.next = newNode;// 元素的个数加1size++;// 修改次数自增modCount++;
}

执行流程：
第一步，获取链表的最后一个节点；第二步，创建一个新节点；第三步，使新的一个节点为最后一个节点；第四步，如果最后一个节点为 null，则表示链表为空，则将 newNode 赋值给 first 节点；否则尾节点的 last 指向 newNode。

2、add(int index, E element) 方法，在指定位置插入元素

/*** Inserts the specified element at the specified position in this list. * Shifts the element currently at that position (if any) and any * subsequent elements to the right (adds one to their indices). * * @param index index at which the specified element is to be inserted * @param element element to be inserted * @throws IndexOutOfBoundsException {@inheritDoc} */
public void add(int index, E element) {// 检查索引index的位置checkPositionIndex(index);// 如果index==size，直接在链表的最后插入元素，相当于add(E e)方法if (index == size)linkLast(element);else// 否则调用node方法将index位置的节点找出，接着调用linkBefore 方法linkBefore(element, node(index));
}

执行流程：
首先检查索引 index 的位置，看下标是否越界；如果 index==size，直接在链表的最后插入元素，相当于 add(E e) 方法；否则调用 node 方法将 index 位置的节点找出，接着调用 linkBefore 方法。
其中，调用 checkPositionIndex() 方法，检查索引 index 的位置：

private void checkPositionIndex(int index) {if (!isPositionIndex(index))throw new IndexOutOfBoundsException(outOfBoundsMsg(index));
}

在增加元素的时候，调用了 linkBefore() 方法，在非 null 节点 succ 之前插入元素 e：

/*** Inserts element e before non-null Node succ. */
void linkBefore(E e, Node<E> succ) {// assert succ != null;// 指定节点的前驱final Node<E> pred = succ.prev;// 创建新的节点，前驱节点为succ的前驱节点，后续节点为succ，则e元素就是插入在succ之前的final Node<E> newNode = new Node<>(pred, e, succ);// 构建双向链表，succ的前驱节点为新的节点succ.prev = newNode;// 如果前驱节点为null，则把newNode赋值给firstif (pred == null)first = newNode;else// 构建双向列表pred.next = newNode;// 元素的个数加    size++;// 修改次数自增modCount++;
}

总结：
① 指定节点的前驱
② 创建新的节点，前驱节点为 succ 的前驱节点，后续节点为 succ，则 e 元素就是插入在 succ 之前的
③ 构建双向链表，succ 的前驱节点为新的节点
④ 如果前驱节点为 null，则把 newNode 赋值给 first；否则构建双向列表

3、remove() 方法删除这个列表的头（第一个元素）

/*** Retrieves and removes the head (first element) of this list. * * @return the head of this list * @throws NoSuchElementException if this list is empty * @since 1.5 */
public E remove() {return removeFirst();
}

其中，调用了**removeFirst()** 方法，删除并返回第一个元素：

/*** Removes and returns the first element from this list. * * @return the first element from this list * @throws NoSuchElementException if this list is empty */
public E removeFirst() {final Node<E> f = first;if (f == null)throw new NoSuchElementException();return unlinkFirst(f);
}

4、remove(int index) 方法，删除指定位置的元素

/*** Removes the element at the specified position in this list.  Shifts any * subsequent elements to the left (subtracts one from their indices). * Returns the element that was removed from the list. * * @param index the index of the element to be removed * @return the element previously at the specified position * @throws IndexOutOfBoundsException {@inheritDoc} */
public E remove(int index) {// 检查索引index的位置checkElementIndex(index);// 调用node方法获取节点，接着调用unlink(E e)方法	return unlink(node(index));
}

检查索引 index 的位置，调用 node 方法获取节点，接着调用 unlink(E e) 方法：

/*** Unlinks non-null node x. */
E unlink(Node<E> x) {// assert x != null;// 获得节点的三个属性final E element = x.item;final Node<E> next = x.next;final Node<E> prev = x.prev;// 进行移除该元素之后的操作if (prev == null) {// 删除的是第一个元素first = next;} else {prev.next = next;x.prev = null;}if (next == null) {// 删除的是最后一个元素last = prev;} else {next.prev = prev;x.next = null;}// 把item置为null，让垃圾回收器回收x.item = null;// 移除一个节点，size自减size--;modCount++;return element;
}

5、set(int index, E element) 方法，将指定下标处的元素修改成指定值

/*** Replaces the element at the specified position in this list with the * specified element. * * @param index index of the element to replace * @param element element to be stored at the specified position * @return the element previously at the specified position * @throws IndexOutOfBoundsException {@inheritDoc} */
public E set(int index, E element) {checkElementIndex(index);// 通过node(int index)找到对应下标的元素Node<E> x = node(index);// 取出该节点的元素，供返回使用E oldVal = x.item;// 用新元素替换旧元素x.item = element;// 返回旧元素return oldVal;
}

执行流程：
先通过 node(int index) 找到对应下标的元素，然后修改 Node 中 item 的值。

5、get(int index) 返回此列表中指定位置的元素

public E get(int index) {// 检查索引index的位置checkElementIndex(index);// 调用node()方法return node(index).item;
}

在此调用了_node()_ 方法：

/*** Returns the (non-null) Node at the specified element index. */
// 这里查询使用的是先从中间分一半查找
Node<E> node(int index) {// assert isElementIndex(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;}
}

总结：
这里查询使用的是先从中间分一半查找，根据下标是否超过链表长度的一半，来选择从前半部分开始遍历查找，还是从后半部分开始遍历查找：
① 如果 index 小于 size 的一半，就从首节点开始遍历，一直获取 x 的下一个节点
② 如果 index 大于或等于 size 的一半，就从尾节点开始遍历，一直获取 x 的上一个节点

五、双端队列操作方法的源码剖析

1、offerFirst(E e) 方法，将元素添加到首部

/*** Inserts the specified element at the front of this list. * * @param e the element to insert * @return {@code true} (as specified by {@link Deque#offerFirst}) * @since 1.6 */
public boolean offerFirst(E e) {addFirst(e);return true;
}

2、offerLast(E e) 方法，将元素添加到尾部

 /*** Inserts the specified element at the end of this list.  *  * @param e the element to insert  * @return {@code true} (as specified by {@link Deque#offerLast})  * @since 1.6  */public boolean offerLast(E e) {addLast(e);return true;}

3、peekFirst() 方法，获取此集合列表的第一个元素值

/*** Retrieves, but does not remove, the first element of this list,  * or returns {@code null} if this list is empty.  *  * @return the first element of this list, or {@code null}  *         if this list is empty  * @since 1.6  */public E peekFirst() {final Node<E> f = first;return (f == null) ? null : f.item;}

4、peekLast() 方法，获取此集合列表的最后一个元素值

/*** Retrieves, but does not remove, the last element of this list, * or returns {@code null} if this list is empty. * * @return the last element of this list, or {@code null} *         if this list is empty * @since 1.6 */
public E peekLast() {final Node<E> l = last;return (l == null) ? null : l.item;
}

5、pollFirst() 方法，删除此集合列表的第一个元素，如果为 null，则会返回 null

/*** Retrieves and removes the first element of this list, * or returns {@code null} if this list is empty. * * @return the first element of this list, or {@code null} if *     this list is empty * @since 1.6 */
public E pollFirst() {final Node<E> f = first;return (f == null) ? null : unlinkFirst(f);
}

6、pollLast() 方法，删除此集合列表的最后一个元素，如果为 null 会返回 null

/*** Retrieves and removes the last element of this list,   * or returns {@code null} if this list is empty.   *   * @return the last element of this list, or {@code null} if   *     this list is empty   * @since 1.6   */public E pollLast() {final Node<E> l = last;return (l == null) ? null : unlinkLast(l);}

7、push(E e) 方法，将元素添加到此集合列表的首部

/*** Pushes an element onto the stack represented by this list.  In other  * words, inserts the element at the front of this list.  *  * <p>This method is equivalent to {@link #addFirst}.  *  * @param e the element to push  * @since 1.6  */public void push(E e) {addFirst(e);}

8、pop() 方法，删除并返回此集合列表的第一个元素，如果为null会抛出异常

/*** Pops an element from the stack represented by this list.  In other * words, removes and returns the first element of this list. * * <p>This method is equivalent to {@link #removeFirst()}. * * @return the element at the front of this list (which is the top *         of the stack represented by this list) * @throws NoSuchElementException if this list is empty * @since 1.6 *///删除首部，如果为null会抛出异常
public E pop() {return removeFirst();
}

9、removeFirstOccurrence(Object o)方法，删除集合中元素值等于o的第一个元素值

/*** Removes the first occurrence of the specified element in this * list (when traversing the list from head to tail).  If the list * does not contain the element, it is unchanged. * * @param o element to be removed from this list, if present * @return {@code true} if the list contained the specified element * @since 1.6 */
public boolean removeFirstOccurrence(Object o) {return remove(o);
}

注：removeFirstOccurrence() 和 remove 方法是一样的，它的内部调用了 remove 方法

10、removeLastOccurrence(Object o)方法，删除集合中元素值等于o的最后一个元素值

/*** Removes the last occurrence of the specified element in this * list (when traversing the list from head to tail).  If the list * does not contain the element, it is unchanged. * * @param o element to be removed from this list, if present * @return {@code true} if the list contained the specified element * @since 1.6 */
public boolean removeLastOccurrence(Object o) {//因为LinkedList中的元素允许存在null值，所以需要进行null判断if (o == null) {// 从最后一个节点往前开始遍历for (Node<E> x = last; x != null; x = x.prev) {if (x.item == null) {// 调用unlink方法删除指定节点unlink(x);return true;}}} else {// 否则元素不为空，进行遍历for (Node<E> x = last; x != null; x = x.prev) {if (o.equals(x.item)) {unlink(x);return true;}}}return false;
}