LinkedList 源码解析

xing.tang

已于 2022-03-04 12:20:23 修改

阅读量669

点赞数 1

分类专栏：集合框架文章标签： linkedlist

于 2018-11-07 17:27:59 首次发布

本文链接：https://blog.csdn.net/u011035026/article/details/83827993

版权

集合框架专栏收录该内容

16 篇文章 1 订阅

订阅专栏

1、简述

我们知道，数据结构中主要有两种存储结构，分别是：顺序存储结构（线性表）、链式存储结构（链表），在 Java 中，对这两种结构分别进行实现的类有：
顺序存储结构：Vector、Stack、ArrayList
链式存储结构：LinkedList、Queue

2、归纳

继承了 AbstractList 抽象类，实现了 List 和 Deque 接口，底层基于双向链表实现的，允许 null 的存在。
实现了 Cloneable, java.io.Serializable 接口，所以支持复制（拷贝）、序列化。
LinkedList 中的元素就是一个个的节点，而真正的数据则存放在 Node 之中。
增和删除操非常快【时间复杂度：O(1)】，查和改操作相对较慢【时间复杂度：最快O(1)最慢O(n)】。
LinkedList 的操作单线安全，多线程不安全。

3、分析

3.1、接口

在分析 ArrayList 源码之前，我们先来看看集合的接口List。

public interface List<E> extends Collection<E> {
    ...
    // 增
    boolean add(E e);
    void add(int index, E element);
    // 删
    boolean remove(Object o);
    E remove(int index);
    // 改
    E set(int index, E element);
    // 查
    E get(int index);
    ...
}

在上述接口中，我只抽取了比较重要的几个方法，然后以此为后续重点分析目标，其 List 接口对应的源码中远不止上述几个方法，有兴趣的同学可以自行翻阅。

3.2、成员变量

在 LinkedList 的源码中，其成员变量并不多，所以在此把它们都一一列出。

public class LinkedList<E> extends AbstractSequentialList<E>
    implements List<E>, Deque<E>, Cloneable, java.io.Serializable{
    
    // 序列化唯一表示 UID
    private static final long serialVersionUID = 876323262645176354L;
    
    // LinkedList的大小，其实就是其内部维护的双向链表存储元素的数量
    transient int size = 0;

    // 头结点，指向第一个节点的指针或引用，默认为 null
    transient Node<E> first;

    // 尾节点，指向最后一个节点的指针或引用，默认为 null
    transient Node<E> last;
    ...
    
}

3.3、构造函数

构造函数是一个类最常见的，同样也是最常被使用到的，接着我们分析 LinkedList 的两个不同的构造函数。

public class LinkedList<E> extends AbstractSequentialList<E>
    implements List<E>, Deque<E>, Cloneable, java.io.Serializable{
    
    ...
    /**
     * 无参的构造函数
     */
    public LinkedList() {
    }

    /**
     * 有参构造函数
     * 构造包含指定元素的列表集合
     *
     * @param c 集合元素
     * @throws NullPointerException 如果 c 为 null，则会抛出空指针异常
     */
    public LinkedList(Collection<? extends E> c) {
        // 指向无参的构造函数
        this();
        addAll(c);
    }
    ...
    
}

3.4、内部的 Node 节点

因为 LinkedList 是双向链表，故从下面的 Node 节点可以看出有两个指针数据，一个指向上一个节点，一个指向下一个节点；
为什么Node这个类是静态的？
答案是：这跟内存泄露有关，Node 类是在 LinkedList 类中的，也就是一个内部类，若不使用 static 修饰，那么 Node 就是一个普通的内部类，在 java 中一个普通内部类在实例化之后，默认会持有外部类的引用，这就有可能造成内存泄露。但使用 static 修饰过的内部类（称为静态内部类），就不会有这种问题，在 Android 中有很多这样的情况，如 Handler 的使用。

public class LinkedList<E> extends AbstractSequentialList<E>
    implements List<E>, Deque<E>, Cloneable, java.io.Serializable{
    
    ...
    private static class Node<E> {
            // 存储的元素
            E item;
            // 指向下一个节点
            Node<E> next;
            // 指向上一个节点
            Node<E> prev;
    
            Node(Node<E> prev, E element, Node<E> next) {
                this.item = element;
                this.next = next;
                this.prev = prev;
            }
    }
    ...
    
}

3.5、增

LinkedList 的增操作有两种实现，分别为 add(E e) 和 add(int index, E element)，下面我们来分析其两种实现。

public class LinkedList<E> extends AbstractSequentialList<E>
    implements List<E>, Deque<E>, Cloneable, java.io.Serializable{
    
    ...
    /**
     * 将指定的元素添加到此列表的末尾
     *
     * @param e 将要添加的元素
     * @return 返回 true 标识添加成功
     */
    public boolean add(E e) {
        linkLast(e);
        return true;
    }
    
    /**
     * 将指定的元素添加到指定的位置
     *
     * @param index 要插入指定元素的索引
     * @param element 要插入的元素
     * @throws IndexOutOfBoundsException 如果索引角标不合法，则抛出索引越界异常
     */
    public void add(int index, E element) {
        // 判断 index 是否合法，不合法则抛出索引越界异常
        checkPositionIndex(index);
        // 判断要添加的是否是最后一个索引位置
        if (index == size)
            linkLast(element);
        else
            linkBefore(element, node(index));
    }
    
    /**
     * 将元素 e 添加到链表最后
     */
    void linkLast(E e) {
        final Node<E> l = last;
        final Node<E> newNode = new Node<>(l, e, null);
        last = newNode;
        // 如果当前链表还没有元素，则将当前元素赋值为 first
        if (l == null)
            first = newNode;
        else
            l.next = newNode;
        // 维护 size
        size++;
        // 用来记录 LinkedList 结构性变化的次数
        modCount++;
    }
    
    /**
     * 将元素 e 插入到指定的 index 索引位置
     */
    void linkBefore(E e, Node<E> succ) {
        // 获取原本 index 索引位置的元素的前节点
        final Node<E> pred = succ.prev;
        final Node<E> newNode = new Node<>(pred, e, succ);
        succ.prev = newNode;
        if (pred == null)
            first = newNode;
        else
            pred.next = newNode;
        // 维护 size
        size++;
        // 用来记录 LinkedList 结构性变化的次数
        modCount++;
    }
    
    /**
     * 返回指定元素索引处的(非空)节点
     */
    Node<E> node(int index) {
        // 它对 index 与集合长度的一半做比较，来确定是在集合的前半段还是后半段进行查找，
        // 从而达到节省一半的时间。
        
        // size>>1 相当于 size/2，这里的意思就是判断 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;
        }
    }
    ...
    
}

3.6、删

LinkedList 的删操作有两种实现，分别是 remove(int index) 和 remove(Object o)，下面我们来分析其两种实现。

public class LinkedList<E> extends AbstractSequentialList<E>
    implements List<E>, Deque<E>, Cloneable, java.io.Serializable{
    
    ...
    **
     * 删除索引为 index 的元素并返回
     *
     * @param index 要删除的索引
     * @return 返回删除的元素
     * @throws IndexOutOfBoundsException 抛出索引角标越界异常
     */
    public E remove(int index) {
        // 判断 index 是否合法，不合法则抛出索引越界异常
        checkElementIndex(index);
        return unlink(node(index));
    }
    
    /**
     * 删除元素 o，并且返回是否有效删除
     *
     * @param o 元素将从此列表中删除（如果存在）
     * @return 如果存在该元素将其删除并返回 true，否则返回 false
     */
    public boolean remove(Object o) {
        // 这里把空和非空进行区分，空的话用“==”判断，非空用“equals”判断
        if (o == null) {
            // 从头节点开始遍历检索
            for (Node<E> x = first; x != null; x = x.next) {
                if (x.item == null) {
                    // 获取当前要删除的节点，并将其传入
                    unlink(x);
                    return true;
                }
            }
        } else {
            // 从头节点开始遍历检索
            for (Node<E> x = first; x != null; x = x.next) {
                if (o.equals(x.item)) {
                    // 获取当前要删除的节点，并将其传入
                    unlink(x);
                    return true;
                }
            }
        }
        return false;
    }
    
    /**
     * 断开非空节点 x 的链接
     */
    E unlink(Node<E> x) {
        // 获取当前节点的元素
        final E element = x.item;
        // 获取当前节点的下一个节点
        final Node<E> next = x.next;
        // 获取当前节点的上一个节点
        final Node<E> prev = x.prev;
        
        // 判断当前节点的上一个节点是否为 null，如果为 null 则代表 x 是头结点
        if (prev == null) {
            first = next;
        } else {
            prev.next = next;
            x.prev = null;
        }
        
        // 判断当前节点的下一个节点是否为 null，如果为 null则代表 x 是尾结点
        if (next == null) {
            last = prev;
        } else {
            next.prev = prev;
            x.next = null;
        }
        // 将节点 x 置空
        x.item = null;
        // 维护 size
        size--;
        // 用来记录 LinkedList 结构性变化的次数
        modCount++;
        return element;
    }
    ...
    
}

3.7、改

LinkedList 的改操作有一种实现，对应的是 set(int index, E element)，下面我们来分析这种实现。

public class LinkedList<E> extends AbstractSequentialList<E>
    implements List<E>, Deque<E>, Cloneable, java.io.Serializable{
    
    ...
    /**
     * 修改索引角标为 index 的元素值
     *
     * @param index 要修改的索引坐标
     * @param element 修改后存储的元素值
     * @return 返回修改前的元素值
     * @throws IndexOutOfBoundsException 抛出索引角标越界异常
     */
    public E set(int index, E element) {
        // 判断 index 是否合法，不合法则抛出索引越界异常
        checkElementIndex(index);
        // 获取索引为 index 的节点
        Node<E> x = node(index);
        // 获取节点 x 的值
        E oldVal = x.item;
        // 将元素 element 赋值给节点 x 的 item
        x.item = element;
        // 返回原本节点 x 的值
        return oldVal;
    }
    ...
    
}

3.8、查

LinkedList 的查操作有一种实现，对应的是 get(int index)，下面我们来分析这种实现。

public class LinkedList<E> extends AbstractSequentialList<E>
    implements List<E>, Deque<E>, Cloneable, java.io.Serializable{
    
    ...
    /**
     * 查找索引角标为 index 的元素值
     *
     * @param index 要修改的索引坐标
     * @return 返回查找到的索引为 index 的元素值
     * @throws IndexOutOfBoundsException 抛出索引角标越界异常
     */
    public E get(int index) {
        // 判断 index 是否合法，不合法则抛出索引越界异常
        checkElementIndex(index);
        return node(index).item;
    }
    ...
    
}

4、队列

4.1、LinkedList 源码分析为什么会牵扯到 Queue？

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

从上面的代码中可以看到 LinkedList 实现了 Deque，那么 Deque 又是什么呢？不急咱们慢慢分析。

public interface Deque<E> extends Queue<E> { ... }

由此看出代码中的 Deque 是 Queue 的一个子接口，它继承了Queue。我们都知道队列的特性是：先进先出，而 Queue 中的方法就是体现了这种特性。

public interface Queue<E> extends Collection<E> {
    ...
    // 添加队尾元素
    boolean offer(E e);
    // 删除对头元素
    E poll();
    // 获取对头元素
    E peek();
    ...
}

由此可以得知 Queue 是普通队列（一端进另一端出），Deque 双端队列（两端都可进出）。
那么我们再从上述几个方法中再来看看 LinkedList 是如何实现的。

4.2、LinkedList 对 Queue 的增操作

public class LinkedList<E> extends AbstractSequentialList<E>
    implements List<E>, Deque<E>, Cloneable, java.io.Serializable{
    
    ...
    /**
     * 将元素 e 添加到列表的末尾
     *
     * @param e 将要添加的元素
     * @return 返回 true 标识添加成功
     */
    public boolean offer(E e) {
        return add(e);
    }

    ...
    
}

由上述代码可以看出，在 LinkedList 中，队列的 offer(E e) 方法实际上就是调用了 LinkedList 的 add(E e) 方法，而 add(E e) 方法已经在最前面咱们分析过了，就是在链表的尾部添加一个元素。

4.3、LinkedList 对 Queue 的删操作

public class LinkedList<E> extends AbstractSequentialList<E>
    implements List<E>, Deque<E>, Cloneable, java.io.Serializable{
    
    ...
    /**
     * 删除队列对头的元素
     *
     * @return 返回对头元素
     */
    public E poll() {
        // 头结点
        final Node<E> f = first;
        // 判断头结点是否为 null，因为可能还没存入元素
        return (f == null) ? null : unlinkFirst(f);
    }
    
    /**
     * 删除原本的头结点，删除后维护好现有的链表
     */
    private E unlinkFirst(Node<E> f) {
        // 在前面已做鲁棒性
        final E element = f.item;
        final Node<E> next = f.next;
        f.item = null;
        f.next = null; // 防止GC
        first = next;
        if (next == null)
            last = null;
        else
            next.prev = null;
        size--;
        modCount++;
        return element;
    }
    ...
    
}

4.4、LinkedList对 Queue 的查操作

public class LinkedList<E> extends AbstractSequentialList<E>
    implements List<E>, Deque<E>, Cloneable, java.io.Serializable{
    
    ...
    /**
     * 获取对头的元素
     *
     * @return 返回对头元素，如果对头为 null，则返回 null，否则返回队列头部的元素
     */
    public E peek() {
        final Node<E> f = first;
        return (f == null) ? null : f.item;
    }
    ...
    
}

xing.tang

关注

1
点赞
踩
5

收藏

觉得还不错? 一键收藏
0
评论
LinkedList 源码解析

利用栈判断是否有效括号问题前面三天文章咱们讨论了：基于数组的二次封装添加链接描述自定义栈和队列自定义循环队列有兴趣的同学可以去看看上面的文章，这章咱们来利用栈的知识点来分析“有效括号”这个算法题。题目：给定一个只包括 ‘(’，’)’，’{’，’}’，’[’，’]’ 的字符串，判断字符串是否有效。有效字符串需满足：左括号必须用相同类型的右括号闭合。左括号必须以正确的顺序闭合。注意...
复制链接

扫一扫