JDK thi hành AbstractList :: equals() không kiểm tra danh sách bình đẳng kích thước đầu tiên

Question

Kỳ lạ mặc định JDK 6 thi hành AbstractList::equals()không dường như để kiểm tra đầu tiên nếu hai danh sách có cùng kích thước:

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

Nếu cả hai danh sách chứa nhiều mục hoặc các mục cần thời gian để so sánh, các mục sẽ so sánh tất cả trước khi nhận ra rằng một danh sách ngắn hơn danh sách kia; mà dường như tôi thực sự không hiệu quả vì sự bình đẳng có thể đã được thực hiện mà thậm chí không cần gọi một so sánh.

Đặc biệt là đối với nhiều trường hợp liệt kê các kích thước, phần lớn thời gian sẽ khác nhau. Hơn nữa, hầu hết các triển khai Java List đều có hiệu suất O (1) size() (thậm chí LinkedList, giữ kích thước của nó trong bộ nhớ cache).

Có lý do chính đáng để triển khai mặc định này không?

Answer 1

Hoạt động của phương thức bằng được chỉ định chi tiết và yêu cầu hành vi O (n). Trong khi điều này có thể là tối ưu cho các lớp con có phương thức kích thước là O (1), đối với một số lớp con, kích thước có thể là O (n) và hành vi được yêu cầu thực sự là sự xuống cấp. Trong mọi trường hợp, thông số rõ ràng và thay đổi này không thể thực hiện được .

Lưu ý rằng một phân lớp có thể ghi đè bằng nếu muốn, chèn kích thước so sánh khi thích hợp.

Reference.