閱讀365 返回首頁    go 阿裏雲 go 技術社區[雲棲]


Java集合細節(三):subList的缺陷

我們經常使用subString方法來對String對象進行分割處理,同時我們也可以使用subList、subMap、subSet來對List、Map、Set進行分割處理,但是這個分割存在某些瑕疵。


首先我們先看如下實例:

public static void main(String[] args) {
        List<Integer> list1 = new ArrayList<Integer>();
        list1.add(1);
        list1.add(2);

        //通過構造函數新建一個包含list1的列表 list2
        List<Integer> list2 = new ArrayList<Integer>(list1);

        //通過subList生成一個與list1一樣的列表 list3
        List<Integer> list3 = list1.subList(0, list1.size());

        //修改list3
        list3.add(3);

        System.out.println("list1 == list2:" + list1.equals(list2));
        System.out.println("list1 == list3:" + list1.equals(list3));
    }

這個例子非常簡單,無非就是通過構造函數、subList重新生成一個與list1一樣的list,然後修改list3,最後比較list1 == list2?、list1 == list3?。按照我們常規的思路應該是這樣的:因為list3通過add新增了一個元素,那麼它肯定與list1不等,而list2是通過list1構造出來的,所以應該相等,所以結果應該是:

list1 == list2:true
list1 == list3: false

首先我們先不論結果的正確與否,我們先看subList的源碼:

public List<E> subList(int fromIndex, int toIndex) {
        subListRangeCheck(fromIndex, toIndex, size);
        return new SubList(this, 0, fromIndex, toIndex);
    }

subListRangeCheck方式是判斷fromIndex、toIndex是否合法,如果合法就直接返回一個subList對象,注意在產生該new該對象的時候傳遞了一個參數 this ,該參數非常重要,因為他代表著原始list。

/**
     * 繼承AbstractList類,實現RandomAccess接口
     */
    private class SubList extends AbstractList<E> implements RandomAccess {
        private final AbstractList<E> parent;    //列表
        private final int parentOffset;   
        private final int offset;
        int size;

        //構造函數
        SubList(AbstractList<E> parent,
                int offset, int fromIndex, int toIndex) {
            this.parent = parent;
            this.parentOffset = fromIndex;
            this.offset = offset + fromIndex;
            this.size = toIndex - fromIndex;
            this.modCount = ArrayList.this.modCount;
        }

        //set方法
        public E set(int index, E e) {
            rangeCheck(index);
            checkForComodification();
            E oldValue = ArrayList.this.elementData(offset + index);
            ArrayList.this.elementData[offset + index] = e;
            return oldValue;
        }

        //get方法
        public E get(int index) {
            rangeCheck(index);
            checkForComodification();
            return ArrayList.this.elementData(offset + index);
        }

        //add方法
        public void add(int index, E e) {
            rangeCheckForAdd(index);
            checkForComodification();
            parent.add(parentOffset + index, e);
            this.modCount = parent.modCount;
            this.size++;
        }

        //remove方法
        public E remove(int index) {
            rangeCheck(index);
            checkForComodification();
            E result = parent.remove(parentOffset + index);
            this.modCount = parent.modCount;
            this.size--;
            return result;
        }
    }

該SubLsit是ArrayList的內部類,它與ArrayList一樣,都是繼承AbstractList和實現RandomAccess接口。同時也提供了get、set、add、remove等list常用的方法。但是它的構造函數有點特殊,在該構造函數中有兩個地方需要注意:

1、this.parent = parent;而parent就是在前麵傳遞過來的list,也就是說this.parent就是原始list的引用。

2、this.offset = offset + fromIndex;this.parentOffset = fromIndex;。同時在構造函數中它甚至將modCount(fail-fast機製)傳遞過來了。

我們再看get方法,在get方法中return ArrayList.this.elementData(offset + index);這段代碼可以清晰表明get所返回就是原列表offset + index位置的元素。同樣的道理還有add方法裏麵的:

parent.add(parentOffset + index, e);
this.modCount = parent.modCount;

remove方法裏麵的

E result = parent.remove(parentOffset + index);
this.modCount = parent.modCount;

誠然,到了這裏我們可以判斷subList返回的SubList同樣也是AbstractList的子類,同時它的方法如get、set、add、remove等都是在原列表上麵做操作,它並沒有像subString一樣生成一個新的對象。所以subList返回的隻是原列表的一個視圖,它所有的操作最終都會作用在原列表上。

那麼從這裏的分析我們可以得出上麵的結果應該恰恰與我們上麵的答案相反:

list1 == list2:false
list1 == list3:true


從上麵我們知道subList生成的子列表隻是原列表的一個視圖而已,如果我們操作子列表它產生的作用都會在原列表上麵表現,但是如果我們操作原列表會產生什麼情況呢?

public static void main(String[] args) {
        List<Integer> list1 = new ArrayList<Integer>();
        list1.add(1);
        list1.add(2);

        //通過subList生成一個與list1一樣的列表 list3
        List<Integer> list3 = list1.subList(0, list1.size());
        //修改list3
        list1.add(3);

        System.out.println("list1'size:" + list1.size());
        System.out.println("list3'size:" + list3.size());
    }

該實例如果不產生意外,那麼他們兩個list的大小都應該都是3,但是偏偏事與願違,事實上我們得到的結果是這樣的:

list1'size:3
Exception in thread "main" java.util.ConcurrentModificationException
    at java.util.ArrayList$SubList.checkForComodification(Unknown Source)
    at java.util.ArrayList$SubList.size(Unknown Source)
    at com.chenssy.test.arrayList.SubListTest.main(SubListTest.java:17)

list1正常輸出,但是list3就拋出ConcurrentModificationException異常,看過我另一篇博客的同仁肯定對這個異常非常,fail-fast?不錯就是fail-fast機製,在fail-fast機製中,LZ花了很多力氣來講述這個異常,所以這裏LZ就不對這個異常多講了(更多請點這裏:Java提高篇(三四)—–fail-fast機製)。我們再看size方法:

public int size() {
            checkForComodification();
            return this.size;
        }

size方法首先會通過checkForComodification驗證,然後再返回this.size。

private void checkForComodification() {
            if (ArrayList.this.modCount != this.modCount)
                throw new ConcurrentModificationException();
        }

該方法表明當原列表的modCount與this.modCount不相等時就會拋出ConcurrentModificationException。同時我們知道modCount 在new的過程中 “繼承”了原列表modCount,隻有在修改該列表(子列表)時才會修改該值(先表現在原列表後作用於子列表)。而在該實例中我們是操作原列表,原列表的modCount當然不會反應在子列表的modCount上啦,所以才會拋出該異常。

對於子列表視圖,它是動態生成的,生成之後就不要操作原列表了,否則必然都導致視圖的不穩定而拋出異常。最好的辦法就是將原列表設置為隻讀狀態,要操作就操作子列表:

//通過subList生成一個與list1一樣的列表 list3
List<Integer> list3 = list1.subList(0, list1.size());

//對list1設置為隻讀狀態
list1 = Collections.unmodifiableList(list1);


在開發過程中我們一定會遇到這樣一個問題:獲取一堆數據後,需要刪除某段數據。例如,有一個列表存在1000條記錄,我們需要刪除100-200位置處的數據,可能我們會這樣處理:

for(int i = 0 ; i < list1.size() ; i++){
   if(i >= 100 && i <= 200){
       list1.remove(i);
       /*
        * 當然這段代碼存在問題,list remove之後後麵的元素會填充上來,
         * 所以需要對i進行簡單的處理,當然這個不是這裏討論的問題。
         */
   }
}

這個應該是我們大部分人的處理方式吧,其實還有更好的方法,利用subList。在前麵LZ已經講過,子列表的操作都會反映在原列表上。所以下麵一行代碼全部搞定:

list1.subList(100, 200).clear();

簡單而不失華麗!!!!!

原文鏈接

最後更新:2017-07-07 18:02:17

  上一篇:go  Java集合細節(四):保持compareTo和equals同步
  下一篇:go  html5 canvas 頭像上傳