为什么从 ConcurrentHashMap 中删除第一个条目不会立即反映在迭代器中，但删除第二个或后续条目是？

Question

我创建了一个 iterator()，然后在迭代之前从地图中删除了第一个条目。我总是得到从迭代器返回的第一个项目。但是当我删除第二个或后续条目时，当前迭代器不会返回该条目。

从地图中删除第一个条目的示例：

    Map<Integer,Integer> m1 = new ConcurrentHashMap<>();
    m1.put(4, 1);
    m1.put(5, 2);
    m1.put(6, 3);
    Iterator i1 = m1.entrySet().iterator();
    m1.remove(4);        // remove entry from map
    while (i1.hasNext())
        System.out.println("value :: "+i1.next()); //still shows entry 4=1

输出是：

value :: 4=1
value :: 5=2
value :: 6=3

从地图中删除第三个条目的示例：

    Map<Integer,Integer> m1 = new ConcurrentHashMap<>();
    m1.put(4, 1);
    m1.put(5, 2);
    m1.put(6, 3);
    Iterator i1 = m1.entrySet().iterator();
    m1.remove(6);        // remove entry from map
    while (i1.hasNext())
        System.out.println("value :: "+i1.next()); //does not show entry 6=3

输出是：

value :: 4=1
value :: 5=2

为什么从映射中删除第一个条目没有反映在迭代器中，但删除第二个或后续条目是？

Java documentation 说：

迭代器、拆分器和枚举返回的元素反映了在创建迭代器/枚举时或之后的某个时刻哈希表的状态。它们不会抛出 ConcurrentModificationException。

也就是说，它的迭代器反映了创建迭代器时哈希表的状态。 当我们在 Map 中添加或删除条目时，Iterator 会显示原始条目吗？

Answer 1

根据this，迭代器和拆分器是弱一致的。 “弱一致”的定义可以看here：

大多数并发集合实现（包括大多数队列） 也不同于通常的 java.util 约定，因为它们的 迭代器和拆分器提供弱一致而不是 快速失败遍历：

• 它们可能与其他操作同时进行
• 他们永远不会抛出 ConcurrentModificationException
• 保证它们可以遍历 元素，因为它们在构造时只存在一次，并且可能（但是 不保证）反映之后的任何修改 建设。

这意味着在创建迭代器之后所做的任何修改都可能会被反映，但不能保证。这只是并发迭代器\拆分器的正常行为。

Answer 2

要实现恰好一次迭代行为，当您通过 Iterator 对象删除元素时，需要更新迭代器数据结构以使其与集合发生的情况保持同步。这在当前实现中是不可能的，因为它们不保持与未完成迭代器的链接。如果他们这样做了，他们将需要使用引用对象或冒着内存泄漏的风险。

保证迭代器在创建地图时反映地图的状态。进一步的更改可能会反映在迭代器中，但不一定非要如此。

将 Iterator 视为一个 LinkedList，并且您有头部参考。如果您碰巧从链表中删除了 head 并且没有重置 head.next 值并从 head 开始迭代，那么您仍然会从同一个 head 遍历，因为您使用的是过时的 head 引用。但是，当您删除非头部元素时，先前的 element.next 会更新。

Answer 3

答案在您引用的文档中：

迭代器、拆分器和枚举返回反映哈希表在创建迭代器/枚举时或之后时的状态的元素。

在或之后。迭代器可能会或可能不会显示自迭代器创建以来对地图的更改。

设计人员在并发修改和迭代期间强制执行更精确的行为是不切实际的，但它没有被破坏。

Answer 4

实际值检查在next()完成，

public final Map.Entry<K,V> next() {
    Node<K,V> p;
    if ((p = next) == null)
        throw new NoSuchElementException();
    K k = p.key;
    V v = p.val;
    lastReturned = p;
    advance();
    return new MapEntry<K,V>(k, v, map);
}

advance 方法在可能的情况下前进，返回下一个有效节点，如果没有则返回 null。

所以对于第一个条目K k = 4; V v = 1;，即使它已被删除。但是对于后续的k,v 将决定更新 fromadvance()

所以如果你在remove 之后调用next()，它就不会出现（这很明显），

Map<Integer,Integer> m1 = new ConcurrentHashMap<>();
m1.put(4, 1);
m1.put(5, 2);
m1.put(6, 3);
Iterator<Map.Entry<Integer, Integer>> i1 = m1.entrySet().iterator();
m1.remove(4);        // remove entry from map
i1.next();  

while (i1.hasNext())
    System.out.println("value :: "+i1.next());