ArrayList分析2 :Itr、ListIterator以及SubList中的坑
ArrayList分析2 :Itr、ListIterator以及SubList中的坑
ArrayList分析2 : Itr、ListIterator以及SubList中的坑
转载请注明出处：https://cloud.tencent.com/developer/article/2044212
一.不论ListIterator还是SubList,均是对ArrayList维护的数组进行操作
首先我得说下ListIterator是什么，ListIterator 与Iterator均是迭代器接口，对应ArrayList中的实现就是ListItr与Itr，我们使用ListIterator或SubList的过程中很少对ArrayList的操作，如果有那就很严重了（下面会说的），对源数组进行操作这是一个事实存在的问题😂，尤其在SubList表现的尤为严重～
先看看ArrayList的subList方法定义:
public List<E> subList(int fromIndex, int toIndex) {
subListRangeCheck(fromIndex, toIndex, size);
return new SubList(this, 0, fromIndex, toIndex);
}可以看到subList方法返回的是SubList的一个实例，好，继续看构造函数定义：
private class SubList extends AbstractList<E> implements RandomAccess {
private final AbstractList<E> parent;
private final int parentOffset;
private final int offset;
int size;
// SubList构造函数的具体定义
SubList(AbstractList<E> parent, int offset, int fromIndex, int toIndex) {
// 从offset开始截取size个元素
this.parent = parent;
this.parentOffset = fromIndex;
this.offset = offset + fromIndex;
this.size = toIndex - fromIndex;
this.modCount = ArrayList.this.modCount;
}首先我们要清楚的是subList对源数组(elementData)的取用范围是 fromIndex <=取用范围< toIndex, 这里用取用范围其实很准确，接着看～ 因为return new SubList(this, 0, fromIndex, toIndex);对应构造函数的第一个参数parent其实也就是当前ArrayList的实例对象，这是其一，还有就是SubList的offset是默认的offset+ fromIndex，取用的范围就size限制在toIndex - fromIndex;以内，不管是ArrayList还是SubList对数组（elementData）的偏移操作，只不过一个是从0开始一个是从 offset + fromIndex;开始～，如果你还是存在怀疑，先看看SubList中get`方法：
public E get(int index) {
rangeCheck(index);
checkForComodification();
return ArrayList.this.elementData(offset + index);
}看到没，get方法也只直接取用的原数组(elementData)->return ArrayList.this.elementData(offset + index);,很明白了吧，再看看SubList中remove方法论证下当前这个小标题哈～
public E remove(int index) {
rangeCheck(index);
checkForComodification();
E result = parent.remove(parentOffset + index);
this.modCount = parent.modCount;
this.size--;
return result;
}我在前前面说过，这个parent其实也就是当前ArrayList的一个引用，既然是引用，而不是深拷贝，那这句 parent.remove(parentOffset + index);操作的依然是原数组elementData,实操一下看：
public static void main(String[] args) {
ArrayList arr = new ArrayList();
arr.add("a"); // 0
arr.add("b");
arr.add("c");
arr.add("d"); // 3
arr.add("e");
arr.add("f"); // 4
List sub_list = arr.subList(0, 3);
System.out.println(sub_list);// [a, b, c]
sub_list.remove(0);
System.out.println(sub_list); // [b, c]
System.out.println(arr); // [b, c, d, e, f]
}坑吧😂，一般理解subList返回的是一个深度拷贝的数组，哪知SubList与ArrayList内部都是一家人(elementData)，所以在使用subList的函数时要谨记这一点，当然咯，既然SubList也是继承自AbstractList，subList返回的数组也能继续调用subList方法，内部操作的数组也是一样，是不是很吊诡😂😂😂
二.ListItr的previous方法不太好用
其实这是个小问题，我是基于以下两点来判断的.
1.使用迭代器的习惯
我们实际使用迭代器的习惯是从左往右(一般数组结构)，索引从小到大(index),这样的一个使用习惯：
public static void main(String[] args) {
ArrayList arr = new ArrayList();
arr.add("a"); // 0
arr.add("b");
arr.add("c");
arr.add("d"); // 3
ListIterator listIterator = arr.listIterator();
while(listIterator.hasPrevious()){
Object item = listIterator.next();
System.out.println(item);
}
}以上代码是常规的代码逻辑，而且previous一般在next方法使用后才可使用，这里就牵出另一个问题了，往下看😎
2.迭代器的默认游标是从0开始的
如果您觉得1的说法不够信服的话，那就实操下看：
public static void main(String[] args) {
ArrayList arr = new ArrayList();
arr.add("a"); // 0
arr.add("b");
arr.add("c");
arr.add("d"); // 3
ListIterator listIterator = arr.listIterator();
while(listIterator.hasPrevious()){//这里返回的始终是false，所以while内的逻辑根本就不会被执行
Object item = listIterator.previous();
System.out.println(item); // 这里没输出
}
}哈哈哈😂，看出bug所在了嘛，再看看ListItr的构造函数吧
（ArrayList函数）
public ListIterator<E> listIterator() {
// 当前方法同以上，只不过是直接从0开始索引并返回一个迭代器 ,具体代码方法内会有说明
return new ListItr(0);
}(ListItr的构造函数）
private class ListItr extends Itr implements ListIterator<E> {
ListItr(int index) {
super();
cursor = index;
}（ListItr的hasPrevious方法）
public boolean hasPrevious() {
return cursor != 0;
}看出症结所在了吧，其实很简单，也就是默认listIterator()的构造函数传入的游标是0(cursor = index;)导致的，好了，对于一个正常的previous方法的使用该怎么办呢🥹
public static void main(String[] args) {
ArrayList arr = new ArrayList();
arr.add("a"); // 0
arr.add("b");
arr.add("c");
arr.add("d"); // 3
ListIterator listIterator = arr.listIterator(arr.size());// 修改后的
while(listIterator.hasPrevious()){
Object item = listIterator.previous();
System.out.println(item);// b a
}
}其实也就改了一句ListIterator listIterator = arr.listIterator(arr.size());,是不是超 easy，所以使用previous的时候一定要指定下index(对应ListIter的其实就是游标：cursor) ，知其症之所在方能对症下药😜
三.ListItr中的set、remove方法一般在next或previous方法之后调用才可
如果看过上面的内容，估计你您能猜个八九，线上菜：
public static void main(String[] args) {
ArrayList arr = new ArrayList();
arr.add("a");
arr.add("b");
arr.add("c");
arr.add("d");
System.out.println(arr);
ListIterator listIterator = arr.listIterator();
listIterator.set("HELLO"); // throw error
}我还是建议您先将上面一段代码执行下看😂，虽然结果还是抛错。。。
好吧，瞅瞅源码看：
public void set(E e) {
if (lastRet < 0)
throw new IllegalStateException();//发生异常的位置
checkForComodification();
try {
ArrayList.this.set(lastRet, e);
} catch (IndexOutOfBoundsException ex) {
throw new ConcurrentModificationException();
}
}再看看lastRet定义的地方:
private class Itr implements Iterator<E> {
// 这个其实默认就是 i=0;
int cursor; // index of next element to return :下一个将要返回的元素位置的索引,其实也就是个游标
int lastRet = -1; // index of last element returned; -1 if no such :返回的最后一个元素的索引； -1 如果没有
int expectedModCount = modCount;顺带再回头看看构造方法:
ListItr(int index) {
super();
cursor = index;
}我先解释下lastRet是什么，lastRet其实是cursor(俗称游标)的参照位置，具体的说它是标识当前循环的元素的位置(cursor-1)
这时 是不是觉得直接使用ListIter的set方法是条死路😂..., 既然lastRet必须>=0才可，找找看哪里有变动lastRet的地方：
@SuppressWarnings("unchecked")
public E next() {
checkForComodification();
int i = cursor;
if (i >= size)
throw new NoSuchElementException();
Object[] elementData = ArrayList.this.elementData;
if (i >= elementData.length)
throw new ConcurrentModificationException();
cursor = i + 1;
return (E) elementData[lastRet = i];
} @SuppressWarnings("unchecked")
public E previous() {
checkForComodification();
int i = cursor - 1;
if (i < 0)
throw new NoSuchElementException();
Object[] elementData = ArrayList.this.elementData;
if (i >= elementData.length)
throw new ConcurrentModificationException();
cursor = i;
return (E) elementData[lastRet = i];
}看到没lastRet = i它解释了一切🤣
现在来尝试解决这个问题，两种方式：
（方式一)
public static void main(String[] args) {
ArrayList arr = new ArrayList();
arr.add("a");
arr.add("b");
arr.add("c");
arr.add("d");
System.out.println(arr);
ListIterator listIterator = arr.listIterator();
listIterator.next();
listIterator.set("HELLO");
System.out.println(arr);
}(方式二）
public static void main(String[] args) {
ArrayList arr = new ArrayList();
arr.add("a");
arr.add("b");
arr.add("c");
arr.add("d");
System.out.println(arr);
ListIterator listIterator = arr.listIterator(3);
listIterator.previous();
listIterator.set("HELLO");
System.out.println(arr);
}四.ListItr中的previous、next不可同时使用,尤其在循环中
先看一段代码吧，试试看你电脑会不会炸💣
public static void main(String[] args) {
ArrayList arr = new ArrayList();
arr.add("a");
arr.add("b");
arr.add("c");
arr.add("d");
ListIterator listIterator = arr.listIterator();
while (listIterator.hasNext()){
Object item = listIterator.next();
System.out.println(item);
if("c".equals(item)){
Object previous_item = listIterator.previous(); // c
if("b".equals(previous_item)){
return;
}
}
}
}怎么样，我大概会猜出你的看法，previous_item 的值与预期的并不一样，哈哈哈，不解释了，这里简单的解决办法是：如果是在循环内，就不要尝试next与previous可能的同时调用了😸 ，非循环也不建议，还是留意下源码看(此处省略n多字😝).
五. Itr、ListItr、SubList使用过程中不可穿插ArrayList的相关操作(remove、add等)，否则抛错
废话是多余的，先给个事故现场😂：
public static void main(String[] args) {
ArrayList arr = new ArrayList();
arr.add("a");
arr.add("b");
arr.add("c");
arr.add("d");
ListIterator listIterator = arr.listIterator();
arr.add("HELLO");
listIterator.hasNext();
listIterator.next(); // throw error
}为了更清楚，给出异常信息：
Exception in thread "main" java.util.ConcurrentModificationException
at com.mee.source.c1.ArrayList$Itr.checkForComodification(ArrayList.java:1271)
at com.mee.source.c1.ArrayList$Itr.next(ArrayList.java:1181)
at com.mee.source.test.ArrayList_listIterator_Test.main(ArrayList_listIterator_Test.java:208) next方法：
@SuppressWarnings("unchecked")
public E next() {
checkForComodification(); // 1181行，这里抛出错误！
int i = cursor;
if (i >= size)
throw new NoSuchElementException();
Object[] elementData = ArrayList.this.elementData;
if (i >= elementData.length)
throw new ConcurrentModificationException();
cursor = i + 1;
return (E) elementData[lastRet = i];
}checkForComodification方法：
final void checkForComodification() {
if (modCount != expectedModCount)
throw new ConcurrentModificationException();
}这里我先卖个关子，具体原因需要您看看上一篇博客 ArrayList分析1-循环、扩容、版本 关于版本的部分🤩
解决方法嘛，小标题就是结论也是规则，绕着走避坑便是啦😊
腾讯云开发者
