迭代 EnumMap#entrySet

枚举结束Map#entrySet对于所有 Map 实现，特别是 EnumMap，不能按预期工作，IdentityHashMap这是 Josh Bloch 的示例代码谜题演示（谜题 5） http://strangeloop2010.com/system/talks/presentations/000/014/450/BlochLee-JavaPuzzlers.pdf?1290462274 -

public class Size {

    private enum Sex { MALE, FEMALE }

    public static void main(String[] args) { 
        printSize(new HashMap<Sex, Sex>()); 
        printSize(new EnumMap<Sex, Sex>(Sex.class)); 
    }

    private static void printSize(Map<Sex, Sex> map) { 
        map.put(Sex.MALE,   Sex.FEMALE); 
        map.put(Sex.FEMALE, Sex.MALE); 
        map.put(Sex.MALE,   Sex.MALE); 
        map.put(Sex.FEMALE, Sex.FEMALE); 
        Set<Map.Entry<Sex, Sex>> set = 
            new HashSet<Map.Entry<Sex, Sex>>(map.entrySet()); 
        System.out.println(set.size()); 
    }
}

是的，这会产生错误的结果 -

应该是

 2 
 2

但产生

2 
1

but if I try with below code - it produces the correct result

UPDATE
虽然结果集的大小是 2，但条目是相同的。

public class Test{

 private enum Sex { MALE, FEMALE } 

    public static void main(String... args){
        printSize(new HashMap<Sex, String>());
        printSize(new EnumMap<Sex, String>(Sex.class));
    }


    private static void printSize(Map<Sex, String> map) {
        map.put(Sex.MALE,   "1");
        map.put(Sex.FEMALE, "2");
        map.put(Sex.MALE,   "3");
        map.put(Sex.FEMALE, "4");
        Set<Map.Entry<Sex, String>> set =
            new HashSet<Map.Entry<Sex, String>>(map.entrySet());
        System.out.println(set.size());
    }
}

我什至尝试了上面的代码，使用两种不同的枚举类型作为键和值。

This seems to be issue only if EnumMap has a same enum as a key and value.

我想知道这是为什么？或者我遗漏了一些东西。为什么当 ConcurrentHashMap 很久以前就得到修复时它还没有修复？

看看EnumMap.EntryIterator.next()执行。这应该足以找出问题所在。

一个线索是结果集是：

[FEMALE=2, FEMALE=2]

这不是正确的结果。

您看到的效果是由于EnumMap.EntryIterator.hashCode()实现（这里是Map.Entry）。它是

h = key ^ value

这会导致生成的条目具有相同的哈希值

map.put(Sex.MALE,   Sex.MALE); 
map.put(Sex.FEMALE, Sex.FEMALE); 

稳定的0。

or

map.put(Sex.MALE,   Sex.FEMALE); 
map.put(Sex.FEMALE, Sex.MALE);

这里它是一个不稳定的（对于多次执行）int 值。如果键和值哈希值相同，您将始终看到效果，因为：a ^ b == b ^ a。这会导致条目具有相同的哈希值。

如果条目具有相同的哈希值，它们最终会出现在哈希表的同一个存储桶中，并且 equals 将始终有效，因为它们无论如何都是同一个对象。

有了这些知识，我们现在也可以对其他类型（例如 Integer）产生相同的效果（我们知道 hashCode 实现）：

map.put(Sex.MALE,   Integer.valueOf(Sex.MALE.hashCode())); 
map.put(Sex.FEMALE, Integer.valueOf(Sex.MALE.hashCode()));

[FEMALE=1671711, FEMALE=1671711]

Bonus：EnumMap 实现打破了 equals() 契约：

EnumMap<Sex, Object> enumMap = new EnumMap<Sex, Object>(Sex.class);
enumMap.put(Sex.MALE, "1");
enumMap.entrySet().iterator().next().equals(enumMap.entrySet().iterator());

Throws:

Exception in thread "main" java.lang.IllegalStateException: Entry was removed
    at java.util.EnumMap$EntryIterator.checkLastReturnedIndexForEntryUse(EnumMap.java:601)
    at java.util.EnumMap$EntryIterator.getValue(EnumMap.java:557)
    at java.util.EnumMap$EntryIterator.equals(EnumMap.java:576)
    at com.Test.main(Test.java:13)