我们知道 ArrayList 中有一个批量删除的集合的方法：removeAll(Collection<?> c)，该方法中涉及了高效保存两个集合公有元素的算法，这里特地拿出来分析一下，学习源码中的优秀设计思想。
下面先给出批量删除代码的片段：
/**这里先假设elementData(ArryList内部维护的一个Object[]数组)和
集合c的交集是A：
当 complement == true 时，elementData最终只会存储A
当 complement == false 时，elementData最终删除A。
在对elementData的元素进行筛选的时候，这里使用了r、w两个游标，
从而避免从新开辟一个新的数组进行存储。
**/
private boolean batchRemove(Collection<?> c, boolean complement) {
final Object[] elementData = this.elementData;
int r = 0, w = 0;
boolean modified = false;
try {
for (; r < size; r++)
//当调用removeAll(Collection<?> c)时，complement == false,
//此时elementData数组中存储的是去掉A的部分
if (c.contains(elementData[r]) == complement)
elementData[w++] = elementData[r];
} finally {
// Preserve behavioral compatibility with AbstractCollection,
// even if c.contains() throws.
//出现异常会导致 r !=size , 则将出现异常处后面的数据全部
//复制覆盖到数组里。
if (r != size) {
System.arraycopy(elementData, r,
elementData, w,
size - r);
w += size - r;
}
if (w != size) {
// clear to let GC do its work
for (int i = w; i < size; i++)
elementData[i] = null;
modCount += size - w;
size = w;
modified = true;
}
}
return modified;
}
我们先分析正常情况，即 r == size:
注意到只有 elementData和都为空或者c的元素都不在elementData中的情况下，才会出现 w == size,因为都为空或者没有相同元素，所以不存在删除的情况。
所以只用分析 w != size的情况
当 w != size 时，一旦出现elementData中有，但是c中没有的元素的时候，就会存放在elementData[w]中，也就是说0~（w-1）位置一定是
elementData包含但是c中没有的元素，然后将w~（size-1）位置的元素置空，交给GC去回收，这样一来，elementData中就只剩下除去和c中相同元素的数组了，它的size为w。
接下来再说说异常情况：即 r != size：
因为这个时候已经出现了异常，所以把从r位置开始的（size-r）个元素复制到从w开始的到（w+size-r-1）位置，此时 w = size - r，这样就可以保证在出现异常之前已经遍历的c和elementData中的相同元素已经被覆盖了，同时也保证了从r位置开始的（size-r）个元素向左移动了（r-w）位，保证数组元素的完整性。然后在将w~（size-1）位置的元素置空，交给GC去回收。这样即使发生了异常，也不会导致删除错误。
至此，ArrayList的批量删除算法就分析完了，可能看起来有点绕，但是静下心来，用笔在纸上画一画这个过程，你就会豁然开朗。
