在阅读java规范的时候有这么一条
【强制】不要在foreach循环里进行元素的remove/add操作。remove元素请使用Iterator方式，如果并发操作，需要对Iterator对象加锁。
之前自己没注意到这个地方，因此做了一个实验，分别看下面两段代码:
代码1
List<String> a = new ArrayList<String>();
a.add("1");
a.add("2");
for (String temp : a) {
if("1".equals(temp)){
a.remove(temp);
}
}
代码2
List<String> a = new ArrayList<String>();
a.add("1");
a.add("2");
for (String temp : a) {
if("2".equals(temp)){
a.remove(temp);
}
}
代码1正常运行，代码2运行错误，抛出 ConcurrentModificationException
错误代码如下，所示
Exception in thread "main" java.util.ConcurrentModificationException
at java.base/java.util.ArrayList$Itr.checkForComodification(ArrayList.java:937)
at java.base/java.util.ArrayList$Itr.next(ArrayList.java:891)
霍霍，interesting,为何1出现问题，而2不出现问题呢。对比一下自己写的和反编译后的代码：
自己写的：
List<String> a = new ArrayList<String>();
a.add("1");
a.add("2");
for (String temp : a) {
if("2".equals(temp)){
a.remove(temp);
}
}
反编译的：
List<String> a = new ArrayList();
a.add("1");
a.add("2");
Iterator var1 = a.iterator();
while(var1.hasNext()) {
String temp = (String)var1.next();
if ("2".equals(temp)) {
a.remove(temp);
}
}
很明显，foreach循环是一个语法糖，编译器最终还是通过iterator来便利的，要弄清楚问题原因，不妨追踪一下源码。
arraylist内部维护了一个私有 iterator 类
private class Itr implements Iterator<E>
类存在三个变量
int cursor; // index of next element to return
int lastRet = -1; // index of last element returned; -1 if no such
int expectedModCount = modCount;
抛出的异常为ConcurrentModificationException，顾名思义，这个异常是为避免并发修改产生不可预料的错误而存在，但是这里并没有多线程，怎么也会出现这个问题呢？
在Itr内，我这段代码中，可能抛出异常的有两个部分
1
if (i >= elementData.length)
throw new ConcurrentModificationException();
2
if (modCount != expectedModCount)
throw new ConcurrentModificationException();
追踪代码容易发现问题出在2，也就是modCount和expectedModcount不一致，modcount是arralist成员变量，在调用ArrayList增删操作会修改modcount变量值，在我的代码中调用了a.remove()方法，最终调用ArrayList的fastremove也就是下面的代码
private void fastRemove(Object[] es, int i) {
modCount++;
final int newSize;
if ((newSize = size - 1) > i)
System.arraycopy(es, i + 1, es, i, newSize - i);
es[size = newSize] = null;
}
显然，这段代码修改了modcount，因此两个值就不一致了，因此抛出ConcurrentModificationException异常。解决办法，也很容易了，只要保持两个值一致不就ok了吗。因此调用迭代器的remove方法，他会保证modcount和expectedmod值一致，如下第9行。
public void remove() {
if (lastRet < 0)
throw new IllegalStateException();
checkForComodification();
try {
ArrayList.this.remove(lastRet);
cursor = lastRet;
lastRet = -1;
第9行 expectedModCount = modCount;
} catch (IndexOutOfBoundsException ex) {
throw new ConcurrentModificationException();
}
}
区别在于调用arraylist.remove 和 iterator.remove方法。
好了，虽然解决了，但是还有一个问题，为什么字符串2会出现问题，而字符串1就不会出现这个问题呢？
这个问题其实很简单，不妨看一下反编译的代码，容易发现，由于1处在第一个位置，而且列表大小刚好为2，移除1后，ArrayList的size大小为1，而且iterator的cursor也为1，因此hashnext返回false，不会继续执行，所以没问题。如果使用下面的代码，则无论是1还是2或者3都会出现问题。
List<String> a = new ArrayList<String>();
a.add("1");
a.add("2");
a.add("3");
for(String temp :a) {
if ("1".equals(temp)) {
a.remove(temp);
}
}
System.out.println(a);
这里不得不吐槽一下，for each 逻辑移除代码本身并无问题，仅仅因为编译后生成的代码和库函数设计的问题产生bug，和程序员编码能力并无关系，如果说这是语言特色的话，我很想一巴掌呼过去，fuck java!!!!
我就是剁手，用汇编，转行也不写java了！
emmmm~~~ spring boot 真好用（＾-＾）
网友评论