迭代EnumMap#entrySet

Question

枚举Map#entrySet对于所有Map实现都没有预期的效果,特别是对于EnumMap,IdentityHashMap这里是Josh Bloch的益智游戏(Puzzle 5)的示例代码-

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

但如果我尝试下面的代码 - 它产生了正确的结果

更新
虽然结果集的大小为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());
    }
}

我甚至尝试使用两个不同的枚举类型作为键和值的上述代码.

仅当EnumMap具有与键和值相同的枚举时,这似乎才是问题.

我想知道为什么会这样？或者我错过了什么.为什么当ConcurrentHashMap长期修复时它没有修复？

Answer 1

看看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.

要么

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

这里是一个不稳定的(多次执行)int值.如果键和值哈希是相同的值,您将始终看到效果,因为:a ^ b == b ^ a.这会导致Entry的哈希值相同.

如果条目具有相同的散列值,则它们最终位于散列表的同一个桶中,并且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]

额外: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());

抛出:

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)