【java源码】HashMap中的entrySet、keySet、values详解

参考博文：

https://blog.csdn.net/m0_56079407/article/details/123624985
https://blog.csdn.net/cadi2011/article/details/104831455/

由于未找到全面、详实的博文，故写下此文。

由于讲清楚了entrySet，keySet、values自然而然就能理解。因此本文的重点在于entrySet。

entrySet()

    public Set<Map.Entry<K,V>> entrySet() {
        Set<Map.Entry<K,V>> es;
        return (es = entrySet) == null ? (entrySet = new EntrySet()) : es;
    }

1. 其主要作用是返回了一个Set<Map.Entry<K,V>>类型的集合，即创建一个对象使entrySet 不为null
2. 不难发现EntrySet并未定义无参构造器，故此处使用的是默认构造器。
   1. 追溯父类可知，父类的无参构造器也为空

---

既然如此，那就有了以下问题——
那entrySet内的元素从何而来？为什么我们能够遍历得到集合内的元素？

---

为了回答上述问题，我们需要回到EntrySet内部类，易见其实现了父类的iterator()方法，返回了一个EntryIterator内部类对象

//EntrySet内部类
public final Iterator<Map.Entry<K,V>> iterator() {
    return new EntryIterator();
}
//HashMap类
final class EntryIterator extends HashIterator
    implements Iterator<Map.Entry<K,V>> {
    public final Map.Entry<K,V> next() { return nextNode(); }
}

1. EntryIterator 内部类继承了HashIterator内部类，并实现了Iterator接口。
2. 但是也未定义无参构造器。故追溯父类HashIterator类，可见父类对无参构造器作了详细定义。并且do {} while (index < t.length && (next = t[index++]) == null);通过该语句直接将next定位到第一个非null元素。
3. 因此通过EntryIterator内部类实现的next()方法即可实现迭代。

//HashIterator类
abstract class HashIterator {
    Node<K,V> next;        // next entry to return
    Node<K,V> current;     // current entry
    int expectedModCount;  // for fast-fail
    int index;             // current slot

    HashIterator() {
        expectedModCount = modCount;
        Node<K,V>[] t = table;
        current = next = null;
        index = 0;
        if (t != null && size > 0) { // advance to first entry
            do {} while (index < t.length && (next = t[index++]) == null);
        }
    }
    public final boolean hasNext() {
	……
    }
    final Node<K,V> nextNode() {
    ……
    }
    public final void remove() {
	……
    }
}

---

但是就到这的话，还有问题没有解决——
上述的解释只是说明了借助entrySet是如何实现迭代的，不难发现entrySet对象本身仍然是空对象没有内容的对象。
既然如此，又是如何支持toArray()、toString()方法的？为什么sout的时候能够正常输出？

---

由于entrySet内部类本身并未重写这些方法，故我们需要追溯父类去找到它们
最终可在AbstractCollection抽象类下找到二者。
由于原理一样，我仅以toString()为例
可见，这里调用了iterator()抽象方法。由于动态绑定机制，此处就调用了entrySet内部类的同名方法。
因此本质上仍然是迭代元素。

//AbstractCollection抽象类
public String toString() {
    Iterator<E> it = iterator();
    if (! it.hasNext())
        return "[]";

    StringBuilder sb = new StringBuilder();
    sb.append('[');
    for (;;) {
        E e = it.next();
        sb.append(e == this ? "(this Collection)" : e);
        if (! it.hasNext())
            return sb.append(']').toString();
        sb.append(',').append(' ');
    }
}

keySet、values也是同理，三者的xxxIterator内部类都继承了HashIterator内部类，唯一差别在于xxxIterator内部类实现的next()方法具体细节稍有差别

其他问题

---

上述逻辑虽然自洽，但是有朋友debug时会发现，为什么entrySet在放元素时就有了数据？

---

此处用，别处博主于评论中的回答予以回复——
这个是IDEA调试的bug，首先IDEA也是用java写的，IDEA的debug模块实时显示HashMap的信息，也就是我们看到的那些调试的东西，这是通过调用HashMap的toString()方法来实现的

https://blog.csdn.net/qq_33547321/article/details/118238456