从多个线程修改时，为什么ArrayList不抛出ConcurrentModificationException？

Question

ConcurrentModificationException：当不允许对对象进行并发修改时，检测到该对象的并发修改的方法可能会抛出此异常。

上面是javadoc中的ConcurrentModificationException定义。

所以我尝试测试以下代码：

final List<String> tickets = new ArrayList<String>(100000);
for (int i = 0; i < 100000; i++) {
    tickets.add("ticket NO," + i);
}
for (int i = 0; i < 10; i++) {
    Thread salethread = new Thread() {
        public void run() {
            while (tickets.size() > 0) {
                tickets.remove(0);
                System.out.println(Thread.currentThread().getId()+"Remove 0");
            }
        }
    };
    salethread.start();
}

代码很简单。10个线程从arraylist对象中删除该元素。确保多个线程访问一个对象。但它运行正常。没有异常被抛出。为什么？

Answer 1

ArrayList为了您的利益，我引用了Javadoc
的很大一部分。突出显示解释您所看到的行为的相关部分。

请注意，此实现未同步。
如果多个线程同时访问ArrayList实例，并且至少有一个线程在结构上修改列表，则必须在外部进行同步
。（结构修改是添加或删除一个或多个元素或显式调整后备数组大小的任何操作；仅设置元素的值不是结构修改。）这通常是通过对自然封装了对象的某些对象进行同步来实现的。清单。如果不存在这样的对象，则应使用Collections.synchronizedList方法“包装”列表。最好在创建时完成此操作，以防止意外的不同步访问列表：

列表列表= Collections.synchronizedList（new ArrayList（…））;

此类的迭代器和listIterator方法返回的迭代器是快速失败的：如果在创建迭代器之后的任何时间以任何方式对列表进行结构修改，除非通过迭代器自己的remove或add方法，否则迭代器将抛出ConcurrentModificationException。因此，面对并发修改，迭代器将快速而干净地失败，而不是冒着在未来不确定的时间冒任意，不确定行为的风险。

请注意，迭代器的快速失败行为无法得到保证，因为通常来说，在存在不同步的并发修改的情况下，不可能做出任何严格的保证
。快速失败的迭代器会尽最大努力抛出ConcurrentModificationException。因此，编写依赖于此异常的程序的正确性是错误的：迭代器的快速失败行为应仅用于检测错误。

如果 在通过迭代器访问
列表时进行结构上的修改，则ArrayList通常会引发并发修改异常（但是，这并不是绝对的保证）。请注意，在您的示例中，您将直接从列表中删除元素，并且没有使用迭代器。

如果您喜欢它，也可以浏览的实现ArrayList.remove，以更好地了解它的工作方式。