AbstractList::equals() 的 JDK 实现不会首先检查列表大小是否相等

奇怪的是 JDK 6 的默认实现AbstractList::equals() 似乎没有首先检查两个列表是否具有相同的大小:

public boolean equals(Object o) {
    if (o == this)
        return true;
    if (!(o instanceof List))
        return false;
    ListIterator<E> e1 = listIterator();
    ListIterator e2 = ((List) o).listIterator();
    while(e1.hasNext() && e2.hasNext()) {
        E o1 = e1.next();
        Object o2 = e2.next();
        if (!(o1==null ? o2==null : o1.equals(o2)))
            return false;
    }
    return !(e1.hasNext() || e2.hasNext());
}

如果两个列表都包含很多项目，或者项目需要时间来比较，它会在意识到一个列表比另一个列表短之前将它们全部进行比较；在我看来，这确实效率很低，因为甚至无需调用比较就可以实现相等。

特别是在很多情况下，列表大小大多数时候都会有所不同。此外，大多数 JavaList实现的时间复杂度为 O(1)size()性能（甚至 LinkedList，它将其大小保留在缓存中）。

这种默认实现有充分的理由吗？

equals 方法的操作有一些详细的说明，并且它 需要 O(n) 行为。虽然这可能不是最理想的 size 方法为 O(1) 的子类，对于某些子类，size 方法本身可能是 O(n) 并且请求的行为实际上是 退化。无论如何，规范是明确的，这种改变不能 被制作。

请注意，如果需要，子类可以重写 equals，插入大小 适当的时候进行比较。

参考。 https://bugs.java.com/bugdatabase/view_bug;jsessionid=bd2f5dc6a033a4c0b4425a3a20f9?bug_id=6197431