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

Question

奇怪的AbstractList::equals() 是,如果两个列表具有相同的大小,则默认的JDK 6实现似乎不会先检查:

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());
}

如果两个列表都包含大量项目或需要时间进行比较的项目,则会在意识到一个列表比另一个列表短之前对它们进行比较; 这对我来说似乎真的很低效,因为即使没有调用一个比较也可以做到平等.

特别是对于许多情况,列表大小在大多数情况下会有所不同.此外,大多数Java List实现具有O(1)size()性能(甚至LinkedList,其在缓存中保持其大小).

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

Answer 1

equals方法的操作详细说明,它需要O(n)行为.虽然这对于大小方法为O(1)的子类来说可能不是最理想的,但对于某些子类,size方法本身可能是O(n),并且请求的行为实际上会降级.无论如何,规范是明确的,并且无法进行此更改.

请注意,如果需要,子类可以重写equals,在适当时插入大小比较.

参考.