通常，并发集合可以安全地进行迭代；根据 Javadoc 的说法:'迭代器是弱一致的，返回的元素反射(reflect)了在迭代器创建时或自创建迭代器后的某个时刻集合的状态。它们不会抛出 ConcurrentModificationException，并且可能会与其他操作同时进行。 但是，考虑一下:

import java.util.Random;
import java.util.TreeSet;
import java.util.concurrent.ConcurrentSkipListSet;

public class ConcurrencyProblem {
    private static volatile boolean modifierIsAlive = true;

    public static void main(String[] args) {
        final ConcurrentSkipListSet<Integer> concurrentSet = new ConcurrentSkipListSet<>();
        Thread modifier = new Thread() {
            private final Random randomGenerator = new Random();

            public void run() {

                while (modifierIsAlive) {
                    concurrentSet.add(randomGenerator.nextInt(1000));
                    concurrentSet.remove(randomGenerator.nextInt(1000));
                }
            };
        };
        modifier.start();
        int sum = 0;
        while (modifierIsAlive) {
            try {
                TreeSet<Integer> sortedCopy = new TreeSet<>(concurrentSet);
                // make sure the copy operation is not eliminated by the compiler
                sum += sortedCopy.size();
            } catch (RuntimeException rte) {
                modifierIsAlive = false;
                rte.printStackTrace();
            }
        }
        System.out.println("Dummy output: " + sum);
    }
}

输出是

java.util.NoSuchElementException
at java.util.concurrent.ConcurrentSkipListMap$Iter.advance(ConcurrentSkipListMap.java:2299)
at java.util.concurrent.ConcurrentSkipListMap$KeyIterator.next(ConcurrentSkipListMap.java:2334)
at java.util.TreeMap.buildFromSorted(TreeMap.java:2559)
at java.util.TreeMap.buildFromSorted(TreeMap.java:2547)
at java.util.TreeMap.buildFromSorted(TreeMap.java:2579)
at java.util.TreeMap.buildFromSorted(TreeMap.java:2579)
at java.util.TreeMap.buildFromSorted(TreeMap.java:2579)
at java.util.TreeMap.buildFromSorted(TreeMap.java:2579)
at java.util.TreeMap.buildFromSorted(TreeMap.java:2579)
at java.util.TreeMap.buildFromSorted(TreeMap.java:2579)
at java.util.TreeMap.buildFromSorted(TreeMap.java:2579)
at java.util.TreeMap.buildFromSorted(TreeMap.java:2504)
at java.util.TreeMap.addAllForTreeSet(TreeMap.java:2462)
at java.util.TreeSet.addAll(TreeSet.java:308)
at java.util.TreeSet.<init>(TreeSet.java:172)
at mtbug.ConcurrencyProblem.main(ConcurrencyProblem.java:27)
Dummy output: 44910

我想知道这是错误还是功能；我们没有得到 ConcurrentModificationException，但仍然必须关心迭代(回退到同步块(synchronized block)或其他)有点违背了 ConcurrentSkipListSet/Map 的目的。我已经能够使用 Java 7 和 8(目前，我的 Linux 机器上是 8u72)重现这一点。

最佳答案

据我浏览源代码了解到，TreeSet 的问题在于它在迭代之前调用了 size() 然后使用它而不是调用 有下一个()。这可能是一个错误，但我认为这只是红黑树结构复杂的结果，需要仔细平衡，因此需要提前知道大小才能在创建过程中在线性时间内适本地平衡它。

您可以通过手动迭代并向 TreeSet 添加元素来避免这种情况，但这会导致 n log n 复杂性，这可能是 TreeSet 的构造函数不会那样做(它的 API 规范保证线性时间)。当然它仍然可以在构建树时调用 hasNext()，但是在构建完成后可能需要一些额外的操作来重新平衡树，这可能会导致摊销的线性复杂性。但是红黑树本身就是一团糟，这种 hack 会使实现更加困惑。

不过，我认为它非常令人困惑，可能应该在 API 文档中的某处进行记录，但我不确定确切位置。可能在他们解释什么是弱一致性迭代器的部分。具体来说，应该提到一些库类依赖于返回的大小，因此可能会抛出 NoSuchElementException。提及特定的类也会有所帮助。

关于java - 从并发修改的 ConcurrentSkipListSet 创建 TreeSet 的异常，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/35683724/