TreeMap iterator.remove() 修改最后一个Entry

Question

我有一张地图。

Map<Integer,String> map = ...

地图有 n 个元素（我们以这 9 个元素为例）

  map.put(1,"one");
  map.put(2,"two");
  map.put(3,"three");
  map.put(4,"four");
  map.put(5,"five");
  map.put(6,"six");
  map.put(7,"seven");
  map.put(8,"eigth");
  map.put(9,"nine");

现在我想迭代这张地图，并使用迭代器删除第 n 个元素。

private void remove(int num, final Map<Integer, String> map) {

  Iterator<Map.Entry<Integer,String>> it = map.entrySet().iterator();
  Map.Entry<Integer,String> entry;
  while(it.hasNext()){

     entry = it.next();

     if(Integer.valueOf(num).equals(entry.getKey())){
        it.remove();
        System.out.println(entry.getValue());
        // vs
        // System.out.println(entry.getValue());
        // it.remove();
     }
  }
}

从 javadoc 中，我假设删除的语义定义明确。

但是根据映射的实现——即 HashMap 与 TreeMap，it.remove() 是在 before 还是 after entry.getValue() 完成时有所不同。

对于 HashMaps map = new HashMap<>()，行为是

...
remove(4, map); //output: four
//or
remove(5, map); //output: five

对于 TreeMap map = new TreeMap<>()，行为是相同的，当我从迭代器中删除当前条目之后我访问了它：

System.out.println(entry.getValue());
it.remove();

结果

remove(4, map); //output: four
//or
remove(5, map); //output: five

到目前为止一切都很好，但是如果我删除元素 之前 我会访问该条目：

it.remove();
System.out.println(entry.getValue());

输出意外

remove(4, map); //output: five !!!
//or
remove(5, map); //output: five ok

显然，TreeMap 的it.remove() 修改了Entries，因为TreeMap 是由Entries 组成的，并且迭代器实际上返回了映射的实际元素。并且根据树中的当前位置，Entry 指向下一个或当前（已删除）元素的内部引用。

但我不确定这是错误还是故意的。如果是后者，不知道背后的原理是什么？

编辑： TreeMap iterator.remove()的源码

Answer 1

来自Map.Entry Javadoc：

如果在迭代器返回条目后修改了支持映射，则映射条目的行为未定义，除非通过对映射条目的 setValue 操作

来自Map.Entry.getValue Javadoc：

如果映射已从支持映射中删除（通过迭代器的删除操作），则此调用的结果未定义。

禁止在it.remove() 之后调用entry.getValue()。 Java 不承诺如果您尝试它会发生什么。您应该在删除条目之前检索该值。

Answer 2

这是一个部分答案，但希望能提示其他人如何给出更准确的答案。

假设您对Iterator#next() 的调用会返回位于底层地图顶部的视图，

那么，我们可能会在尝试访问值在从映射中删除底层映射条目时得到一些未定义的行为，这可能并不奇怪。

while (it.hasNext()) {
    entry = it.next();

    if (Integer.valueOf(num).equals(entry.getKey())) {
        it.remove();
        // the object which 'entry' points to is already removed
        // what is this pointing to?
        System.out.println(entry.getValue());
   }
}

根据您自己的观察，该行为似乎是特定于 Map 实现的，这意味着特定地图的实现涉及观察到的行为。