一、案例如下
1. 代碼
package test;
import java.util.LinkedList;
import java.util.List;
public class Main {
public static void main(String[] args) {
List<Long> list = new LinkedList<>();
list.add(1L);
list.add(2L);
list.add(3L);
list.add(4L);
List<Long> list1 = list.subList(0, 2);
System.out.println(list1.getClass());
list.add(5L);
list1.clear();
System.out.println(list);
}
}
1. 輸出
class java.util.SubList
Exception in thread "main" java.util.ConcurrentModificationException
at java.util.SubList.checkForComodification(AbstractList.java:769)
at java.util.SubList.size(AbstractList.java:645)
at java.util.AbstractList.clear(AbstractList.java:234)
at test.Main.main(Main.java:16)
二、分析過程
- 從輸出第一行可以看出放仗，調(diào)用
#subList方法返回的是AbstractList.SubList類的實例。 - 其次撬碟，根據(jù)異常信息進行分析诞挨。
-
需要進入
AbstractList.java:234看代碼。具體如下：public void clear() { removeRange(0, size()); } -
然后呢蛤，進入
size方法惶傻，也就是AbstractList.java:645。具體如下：public int size() { checkForComodification(); return size; } -
然后其障，進入
checkForComodification方法银室，也就是AbstractList.java:769。具體如下：private void checkForComodification() { if (this.modCount != l.modCount) throw new ConcurrentModificationException(); }
this.modCount = 4而l.modCount = 5蜈敢，所以會拋出異常。 -
- 那么上面的
this.modCount和l.modCount到底是什么呢汽抚？這就需要從頭開始說起了抓狭。
我們之前調(diào)用的#subList方法其實是AbstractList#subList 。具體如下：
public List<E> subList(int fromIndex, int toIndex) {
return (this instanceof RandomAccess ?
new RandomAccessSubList<>(this, fromIndex, toIndex) :
new SubList<>(this, fromIndex, toIndex));
}
RandomAccess代表可以實現(xiàn)隨機訪問（性能比較高）殊橙，即底層使用數(shù)組實現(xiàn)的（例如ArrayList）,而LinkedList則沒有實現(xiàn)這個接口辐宾。
首先看一下Abstract.RandomAccessSubList類。具體如下：
class RandomAccessSubList<E> extends SubList<E> implements RandomAccess {
RandomAccessSubList(AbstractList<E> list, int fromIndex, int toIndex) {
super(list, fromIndex, toIndex);
}
public List<E> subList(int fromIndex, int toIndex) {
return new RandomAccessSubList<>(this, fromIndex, toIndex);
}
}
從上面的代碼可以看出Abstract.RandomAccessSubList是Abstract.SubList的子類膨蛮，所以歸根結(jié)底調(diào)用的都是Abstract.SubList類的構(gòu)造方法叠纹。那么，我們再看Abstract.SubList類敞葛。
class SubList<E> extends AbstractList<E> {
private final AbstractList<E> l;
private final int offset;
private int size;
SubList(AbstractList<E> list, int fromIndex, int toIndex) {
if (fromIndex < 0)
throw new IndexOutOfBoundsException("fromIndex = " + fromIndex);
if (toIndex > list.size())
throw new IndexOutOfBoundsException("toIndex = " + toIndex);
if (fromIndex > toIndex)
throw new IllegalArgumentException("fromIndex(" + fromIndex +
") > toIndex(" + toIndex + ")");
l = list;
offset = fromIndex;
size = toIndex - fromIndex;
this.modCount = l.modCount;
}
// ...
}
從上面的代碼可以看出誉察，l是舊的list，而 modCount代表的則是鏈表的修改次數(shù)惹谐。所以我們可以解讀之前留下來的疑問持偏。
this.modCount和l.modCount分別代表的是子鏈表的修改次數(shù)和原始鏈表的修改次數(shù)驼卖。
最后，希望你們可以去看一下Abstract.SubList類中的其他方法鸿秆，所有的方法在執(zhí)行之前都調(diào)用了checkForComodification方法酌畜。所以不要對子鏈表執(zhí)行Abstract.SubList類中重寫的方法。
三卿叽、總結(jié)
根據(jù)最后的分析桥胞，我們可以得到結(jié)論，當子鏈表的修改次數(shù)和原始鏈表的修改次數(shù)不一致時考婴，對子鏈表執(zhí)行任意包含checkForComodification檢查的操作贩虾，就會拋出ConcurrentModificationException。所以沥阱，我們在執(zhí)行#subList方法之后缎罢，可以對原始鏈表進行操作，但是最好不要對子鏈表進行操作考杉。
四策精、擴展
從SubList類的構(gòu)造方法可以看出，子鏈表其實就是原始鏈表的一個視圖（view）奔则，所有對子鏈表進行的操作都會映射到原始鏈表上蛮寂。所以jdk的編寫者為了安全，禁止對子鏈表進行操作易茬。
其次，考慮到迭代器也會對鏈表進行修改（其實迭代器也是原始鏈表的一個視圖）及老，所以如果仔細看AbstractList中的代碼抽莱，會發(fā)現(xiàn)所有Iterator的子類中重寫的方法都包含checkForComodification檢查，所以如果要對迭代器進行數(shù)據(jù)操作（#toString隱式調(diào)用了Iterator）骄恶，也要注意食铐。
