Java集合(二)：List列表

系统管理员 2022-07-27 11:52 250阅读 0赞

在上一节中，介绍了Java集合的整体情况。从这节开始，将介绍具体的类。这里不单单介绍类的用法，还会试图从源码的角度分析类的实现。这一节将介绍List接口及实现类，即列表中的链表LinkedList和数组列表ArrayList。

### 1 List接口及抽象类 ###

List接口扩展自Collection接口，这个接口设计了一些适合列表操作的方法。List是一个有序集合，元素可以添加到容器中某个特定的位置。

使用javac编译List.java源码后，可以使用javap反编译源码获得接口的具体信息，如下是调用后的结果：

Compiled from "List.java"
    public interface java.util.List<E> extends java.util.Collection<E> {
      public abstract int size();
      public abstract boolean isEmpty();
      public abstract boolean contains(java.lang.Object);
      public abstract java.util.Iterator<E> iterator();
      public abstract java.lang.Object[] toArray();
      public abstract <T> T[] toArray(T[]);
      public abstract boolean add(E);
      public abstract boolean remove(java.lang.Object);
      public abstract boolean containsAll(java.util.Collection<?>);
      public abstract boolean addAll(java.util.Collection<? extends E>);
      public abstract boolean addAll(int, java.util.Collection<? extends E>);
      public abstract boolean removeAll(java.util.Collection<?>);
      public abstract boolean retainAll(java.util.Collection<?>);
      public void replaceAll(java.util.function.UnaryOperator<E>);
      public void sort(java.util.Comparator<? super E>);
      public abstract void clear();
      public abstract boolean equals(java.lang.Object);
      public abstract int hashCode();
      public abstract E get(int);
      public abstract E set(int, E);
      public abstract void add(int, E);
      public abstract E remove(int);
      public abstract int indexOf(java.lang.Object);
      public abstract int lastIndexOf(java.lang.Object);
      public abstract java.util.ListIterator<E> listIterator();
      public abstract java.util.ListIterator<E> listIterator(int);
      public abstract java.util.List<E> subList(int, int);
      public java.util.Spliterator<E> spliterator();
    }

List接口提供了这些方法，大部分是Abstract的，但也有一部分不是，这部分方法是JDK 1.8 新增的default方法，比如sort方法。

List接口提供了随机访问方法，比如get(int)方法，但是List并不管这些方法都某个特定的实现是否高效。为了避免执行成本较高的随机访问操作，Java SE 1.4 引入了一个标记接口RandomAccess。这个接口没有任何方法，但可以用来检测一个特定的集合是否支持高效的随机访问：

if(c instanceof RandomAccess)
    {
        use random access algorighm
    }
    else
    {
        use sequential access algorithm
    }

ArrayList就实现了这个接口。

List接口中的例行方法在抽象类AbstractList中实现了，这样就不需要在具体的类中实现，比如isEmpty方法和contains方法等。这些例行方法比较简单，含义也明显。对于随机访问元素的类（比如ArrayList），优先继承这个抽象类。

在AbstractList抽象类中，有一个重要的域，叫modCount：

protected transient int modCount = 0;

这个域可以用来跟踪列表结构性修改的次数，什么是结构性修改呢？就是改变列表长度的修改，比如增加、删除等。对于只修改某个节点的值不算结构性修改。

这个域在后面的迭代器中非常有用。迭代器可以使用这个域来检测并发修改问题，这个问题会在LinkedList类中介绍。

抽象类AbstractSequentialList实现了List接口中的一些方法，对于顺序访问元素的类（比如LinkedList），优先继承这个抽象类。

### 2 链表：LinkedList ###

链表是一个大家非常熟悉的数据结构。链表解决了数组列表插入和删除元素效率太低的问题，链表的插入和删除就非常高效。

链表将每个对象存放在独立的节点中。Java中的LinkedList链表，每个节点除了有后序节点的引用外，还有一个前序节点的引用，也就是说，LinkedList是一个双向链表。

LinkedList类有三个域，分别是大小、头结点和尾节点：

transient int size;
    transient Node<E> first;
    transient Node<E> last;

还有两个构造器，一个无参构造器和一个含参构造器：

public java.util.LinkedList();
    public java.util.LinkedList(java.util.Collection<? extends E>);

其中无参构造器构造一个空的链表，含参构造器根据传进来的一个集合构造一个链表。

#### 2.1 Node<E>内部类 ####

LinkedList类中，定义了一个Node<E>内部类来表示一个节点。这个类的定义如下：

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;
        }
    }

这是一个静态内部类，也没有对外部的引用，这个类有三个域：值，前序节点的引用，后序节点的引用，也有一个构造方法，定义很简单。

如果要创建一个Node节点，可以这样：

Node<E> node=new Node<>(pre,item,next);

其中，pre和next分别是前序节点和后序节点的引用。

#### 2.2 链表操作的基本方法 ####

既然是链表，就少不了链表节点的添加与删除。在LinkedList类中，提供了六个基本的链表操作的方法，这些方法都对链表的结构进行修改，因此会改变AbstractList类中的modCount域，这六个方法如下：

private void linkFirst(E);//在链表头部添加给定值的节点作为头结点
    void linkLast(E);//在链表尾部添加一个给定值的节点作为尾节点
    void linkBefore(E, java.util.LinkedList$Node<E>);//在给定的节点前插入一个节点
    private E unlinkFirst(java.util.LinkedList$Node<E>);//删除头结点，并返回头结点的值
    private E unlinkLast(java.util.LinkedList$Node<E>);//删除尾节点，并返回尾节点的值
    E unlink(java.util.LinkedList$Node<E>);//删除给定的节点

这些方法都是私有的（或包内私有的），因此可以称为工具方法，LinkedList类中的所有结构性修改操作都是基于这六个方法实现的。

这六个方法都是链表的基本操作，代码比较简单，不过给出实现可以看看源码实现者的写法，对于自己编程还是有帮助的：

/**
         * Links e as first element.
         */
        private void linkFirst(E e) {
            final Node<E> f = first;
            final Node<E> newNode = new Node<>(null, e, f);
            first = newNode;
            if (f == null)
                last = newNode;
            else
                f.prev = newNode;
            size++;
            modCount++;
        }
    
        /**
         * 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;
            if (l == null)
                first = newNode;
            else
                l.next = newNode;
            size++;
            modCount++;
        }
    
        /**
         * Inserts element e before non-null Node succ.
         */
        void linkBefore(E e, Node<E> succ) {
            // assert succ != null;
            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++;
            modCount++;
        }
    
        /**
         * Unlinks non-null first node f.
         */
        private E unlinkFirst(Node<E> f) {
            // assert f == first && f != null;
            final E element = f.item;
            final Node<E> next = f.next;
            f.item = null;
            f.next = null; // help GC
            first = next;
            if (next == null)
                last = null;
            else
                next.prev = null;
            size--;
            modCount++;
            return element;
        }
    
        /**
         * Unlinks non-null last node l.
         */
        private E unlinkLast(Node<E> l) {
            // assert l == last && l != null;
            final E element = l.item;
            final Node<E> prev = l.prev;
            l.item = null;
            l.prev = null; // help GC
            last = prev;
            if (prev == null)
                first = null;
            else
                prev.next = null;
            size--;
            modCount++;
            return element;
        }
    
        /**
         * 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;
            }
    
            x.item = null;
            size--;
            modCount++;
            return element;
        }

#### 2.3 列表迭代器：ListIterator接口 ####

链表是一个有序集合，每个对象的位置十分重要。LinkedList.add方法只是将节点加到尾部，然而对于链表的操作还有很大一部分需要将节点添加到链表中间。由于迭代器是秒数集合中的位置的，所以这种依赖位置的添加方法将由迭代器负责。只有对自然有序的集合使用迭代器添加元素才有意义。比如，对于无序的集合set，在Iterator接口中就没有add方法。相反的，在集合类库中提供了ListIterator接口，其中就有add方法：

interface ListIterator<E> extends Iterator<E>
    {
        void add(E element);
        ...
    }

与Collection接口中的add方法不同，这个方法不返回boolean类型的值，因为它假定添加操作总是改变链表。

另外，除了hasNext和next方法，ListIterator接口还提供了下面的两个方法：

E previous();
    boolean hasPrevious();

这两个方法用来反向遍历链表，previous也像next一样，返回越过的对象。

LinkedList类的listIterator方法返回一个迭代器对象：

ListIterator<String> iter=list.listIterator();

在介绍接口时我们知道，不能实例化一个接口对象，但可以声明一个接口对象然后引用一个实现了该接口的类的实例。那么listIterator方法返回的就必然是一个类的实例，而这个类也必然实现了这个接口，问题是，这个类是什么？

这个类其实是LinkedList的一个内部类，即ListItr：

Compiled from "LinkedList.java"
    class java.util.LinkedList$ListItr implements java.util.ListIterator<E> {
      private java.util.LinkedList$Node<E> lastReturned;
      private java.util.LinkedList$Node<E> next;
      private int nextIndex;
      private int expectedModCount;
      final java.util.LinkedList this$0;
      java.util.LinkedList$ListItr(java.util.LinkedList, int);
      public boolean hasNext();
      public E next();
      public boolean hasPrevious();
      public E previous();
      public int nextIndex();
      public int previousIndex();
      public void remove();
      public void set(E);
      public void add(E);
      public void forEachRemaining(java.util.function.Consumer<? super E>);
      final void checkForComodification();
    }

上面也是使用javap反编译的结果。可以看到，这个内部类实现了ListIterator接口，并实现了这个接口的方法。

这正是理解迭代器的关键。我们知道，迭代器可以看做是一个位置，这个位置在两个节点的中间，也就是说，对于一个大小为n的链表，迭代器的位置有n+1个：

| a | b | ...| z |

在这个例子中，链表表示26个字母，迭代器的位置就有27个。

这里也是把迭代器形象化为光标，next方法就是光标移到下一个位置，饭后返回刚刚越过的元素，同理previous也是一样，只不过是左移一个位置，然后返回刚刚越过的元素。下面是这两个方法的代码：

public E next() {
        checkForComodification();
        if (!hasNext())
            throw new NoSuchElementException();
    
        lastReturned = next;
        next = next.next;
        nextIndex++;
        return lastReturned.item;
    }
    
    public E previous() {
        checkForComodification();
        if (!hasPrevious())
            throw new NoSuchElementException();
    
        lastReturned = next = (next == null) ? last : next.prev;
        nextIndex--;
        return lastReturned.item;
    }

这两个方法首先调用checkForComodifcation方法检查并发修改问题。前面说过，AbstractList的modCount记录了链表的修改次数，而每一个迭代器都通过下面的字段维护一个独立的计数器：

private int expectedModCount = modCount;

这个域初始化为类的modCount修改次数。而checkForComodification检查迭代器自己维护的计数器是否和类的modCount相等，如果不等，就会抛出一个ConcurrentModificationException。

并发修改检查通过后，会调用hasNext或hasPrevious方法检查是否有待访问的元素。ListItr类有一个nextIndex域：

private int nextIndex;

这个域维护迭代器的当前位置，当然，对于LinkedList来说，由于迭代器指向两个元素中间，所以可以同时产生两个索引：nextIndex方法返回下一次调用next方法时返回元素的整数索引；previousIndex返回下一次调用previous方法时返回元素的索引，这个索引比nextIndex小1。

hasNext和hasPrevious方法就是检查nextIndex和previousIndex是否在正确范围来确实是否有待访问元素的。

ListItr类还有两个域：

private Node<E> lastReturned;
    private Node<E> next;

lastReturned用来保存上次返回的节点，next就是迭代器位置的下一个元素，也可以看做光标的下一个元素（下一个元素总是光标的右面那个元素）。调用next方法后，光标右移一位，越过next域保存的节点，然后更新这两个域的值，即刚才的next变为lastReturned，next就是再下一个元素，然后nextIndex增1。

previous相对于next操作来说相当于光标左移一位，在更新lastReturned和next时，需要考虑next是否为null。如果next为null，说明在没执行previous时，迭代器在最后一个位置，所以执行previous后，next应该是链表的尾节点last；如果next不是null，那么next更新为next的前序节点。而lastReturned为光标刚越过的元素，即现在的next节点，这时，lastReturned和next节点指向同一个元素。

ListItr类有三个可以修改链表的方法：add、remove和set。其中add和remove会改变迭代器的位置，因为这两个方法修改了链表的结构；而set方法不会修改迭代器的位置，因为它不修改链表的结构。

这三个方法的代码如下：

public void remove() {
        checkForComodification();
        if (lastReturned == null)
            throw new IllegalStateException();
    
        Node<E> lastNext = lastReturned.next;
        unlink(lastReturned);
        if (next == lastReturned)
            next = lastNext;
        else
            nextIndex--;
        lastReturned = null;
        expectedModCount++;
    }
    
    public void set(E e) {
        if (lastReturned == null)
            throw new IllegalStateException();
        checkForComodification();
        lastReturned.item = e;
    }
    
    public void add(E e) {
        checkForComodification();
        lastReturned = null;
        if (next == null)
            linkLast(e);
        else
            linkBefore(e, next);
        nextIndex++;
        expectedModCount++;
    }

值得注意的是remove方法。在每次调用remove方法后，都会将lastReturned置为null。也就是说，如果连续调用remove方法，第二次调用就会抛出一个IllegalStateException异常。因此，remove操作必须跟在next或previous操作之后。

现在已经介绍了ListIterator接口的基本方法，可以从前后两个方向遍历链表中的元素，并可以添加、删除元素。

记住一点：链表的任意位置添加与删除节点的操作是ListIterator迭代器提供的，类本身的add方法只能在结尾添加。

#### 2.4 随机访问 ####

在Java类库中，还提供了许多理论上存在一定争议的方法。链表不支持快速随机访问。如果要查看链表中的第n个元素，就必须从头开始，越过n-1个元素，没有捷径可走。鉴于这个原因，在程序需要采用整数索引访问元素时，一般不选用链表。

尽管如此，LinkedList类还提供了一个用来访问某个特定元素的get方法：

LinkedList<String> list=...;
    String s=list.get(n);

当然，这个方法的效率不太高。绝不应该使用这种让人误解的随机访问方法来遍历链表。下面的代码效率极低：

for(int i=0;i<list.size();i++)
    {
        dosomething with list.get(i);
    }

每次查找一个元素都要从头开始重新搜索。LinkedList对象根本不做任何缓存位置信息的处理。

其实，在LinkedList类中，get方法会判断当前的位置距离头和尾哪一端更近，然后判断从左向右遍历还是从右向左遍历。

#### 2.5 例子 ####

下面的代码演示了LinkedList类的基本操作。它简单的创建两个链表，将它们合并在一起，然后从第二个链表中每间隔一个元素删除一个元素，最后测试removeAll方法：

import java.util.*;
    public class LinkedListTest {
        public static void main(String[] args) {
            List<String> a=new LinkedList<>();
            a.add("A");
            a.add("C");
            a.add("E");
    
            List<String> b=new LinkedList<>();
            b.add("B");
            b.add("D");
            b.add("F");
            b.add("G");
    
            ListIterator<String> aIter=a.listIterator();
            Iterator<String> bIter=b.iterator();
    
            while(bIter.hasNext()){
                if(aIter.hasNext())aIter.next();
                aIter.add(bIter.next());
            }
            System.out.println(a);
    
            bIter=b.iterator();
            while(bIter.hasNext()){
                bIter.next();
                if(bIter.hasNext()){
                    bIter.next();
                    bIter.remove();
                }
            }
            System.out.println(b);
    
            a.removeAll(b);
            System.out.println(a);
        }
    }

结果如下：

![20160412222438792][]

### 3 数组列表：ArrayList ###

前面介绍了List接口和实现了这个接口的LinkedList类。List接口用于描述一个有序集合，并且集合中每个元素的位置十分重要。有两种访问元素的协议：一种是用迭代器，另一种使用get和set方法随机访问每个元素。后者不适用于链表，但对数组很有用。集合类库提供了一个大家非常熟悉的ArrayList类，这个类也实现了List接口。ArrayList类封装了一个动态再分配的对象数组。

Java集合类库中还有一个动态数组：Vector类。不过这个类的所有方法是同步的，可以由两个线程安全的访问一个Vector对象。但是，如果一个线程访问Vector，代码要在同步上消耗大量的时间。而ArrayList方法不是同步的，因此，如果不需要同步时使用ArrayList。

在[ArrayList详解][ArrayList]中详细介绍了类的实现及方法的使用。

[20160412222438792]: /images/20220724/73c9ce47ad0649ddb862ed9528a0299a.png
[ArrayList]: http://blog.csdn.net/u012877472/article/details/50852933