Giao diện List có phải là một bản tóm tắt bị rò rỉ không?

Nếu tôi có một biến chứa một biến Listthì nó có thể chứa các đối tượng có nhiều loại khác nhau, ví dụ như ArrayListhoặc LinkedList. Sự khác biệt giữa a LinkedListvà an ArrayListlà khá lớn. Hành vi O lớn của các phương pháp khác nhau rất nhiều. Ví dụ: sắp xếp Listvà sau đó sử dụng nó để thực hiện tìm kiếm nhị phân là hoàn toàn ổn đối với một ArrayListnhưng sẽ không có ý nghĩa với a LinkedList.

Tôi sẽ không nói như vậy.

Một sự trừu tượng bị rò rỉ là một điều bắt buộc bạn phải xử lý các chi tiết thực hiện mà nó được cho là trừu tượng hóa. Nhưng hiệu suất luôn khác nhau giữa các lần triển khai, vì vậy nếu bạn tính đó là rò rỉ, thì không có sự trừu tượng hóa không bị rò rỉ.

Nếu một cái gì đó được tuyên bố là Listkhông có thêm tài liệu, thì nên hiểu rằng đơn giản là không có gì đảm bảo về hiệu suất, và nếu bạn sẽ làm bất cứ điều gì nhạy cảm với hiệu suất với nó, bạn nên tạo một bản sao và làm việc với nó.

Ngoài ra, đừng quên rằng có một giao diện thậm chí còn chung chung hơn về chức năng và không cám dỗ bạn đưa ra nhiều giả định về hiệu suất : Collection.

Tất cả các khái niệm trừu tượng không tầm thường, ở một mức độ nào đó, đều bị rò rỉ. Điều đó nói rằng, tôi không thực sự chắc chắn rằng nó áp dụng ở đây. :-)

Trừu tượng có liên quan với hành vi. Trừ khi hành vi chỉ định hiệu năng cụ thể (mà Java Listkhông có) thì đó là một chi tiết triển khai - tức là không liên quan.

Java không cho phép bạn chỉ định hiệu suất tối thiểu cho các giao diện bên ngoài tài liệu và tôi không biết bất kỳ ngôn ngữ nào - điều này sẽ cực kỳ khó (không thể?) Để trình biên dịch xác minh. Tôi có thể thấy một vài lựa chọn nếu hiệu suất là một mối quan tâm:

1. Tài liệu nó trong lớp / giao diện, thể hiện danh sách sẽ thuộc về.
2. Tạo một giao diện mới - ví dụ BinarySearchPerformantList(yuck!) - trong đó chỉ định các yêu cầu về hiệu suất của các phương thức khác nhau.

Tùy chọn 2 có lẽ là sự trừu tượng tốt hơn, nhưng đi kèm với chi phí phụ.

Trong Java, có một giao diện RandomAccess được định nghĩa là một danh sách với thời gian truy cập ngẫu nhiên thường xuyên (O (1) get, put, v.v.). Nếu bạn cảm thấy mô-đun của mình yêu cầu một danh sách với các đặc điểm hiệu suất đó, hãy cân nhắc sử dụng RandomAccessthay vì List. Nếu bạn không cảm thấy cần phải thực hiện thay đổi đó (và một số ít làm), thì có lẽ Danh sách không bị rò rỉ.

Bạn đã đúng, một Danh sách là một sự trừu tượng bị rò rỉ. STL sử dụng ý tưởng về các khái niệm để mô hình hóa vấn đề cụ thể này. Để sử dụng ví dụ của bạn, một ArrayListmô hình Trình lặp truy cập ngẫu nhiên trong khi LinkedList mô hình Trình lặp chuyển tiếp . Các khái niệm khác nhau có các yêu cầu hiệu suất khác nhau, điều này làm cho chúng phù hợp với các thuật toán khác nhau .