L'interfaccia dell'elenco è un'astrazione che perde?

Se ho una variabile che contiene un List, potrebbe contenere oggetti di molti tipi diversi, ad esempio ArrayListo LinkedList. La differenza tra a LinkedListe an ArrayListè piuttosto grande. Il grande comportamento O dei metodi differisce notevolmente. Ad esempio, ordinare un Liste quindi usarlo per fare ricerche binarie è perfettamente ok per un ArrayListma non avrebbe senso con un LinkedList.

Non lo direi.

Un'astrazione che perde ti costringe a gestire i dettagli dell'implementazione che dovrebbe astrarre. Ma le prestazioni differiscono sempre tra le implementazioni, quindi se lo consideri come una perdita, non ci sono astrazioni senza perdite.

Se qualcosa viene dichiarato come Listprivo di ulteriore documentazione, si dovrebbe capire che semplicemente non ci sono garanzie sulle prestazioni e che se si intende fare qualcosa sensibile alle prestazioni, è necessario effettuare una copia e lavorare con quello.

Inoltre, non dimenticate che c'è un'interfaccia ancora più generale che è spesso sufficiente in termini di funzionalità e non tenta di fare il maggior numero di assunzioni sull'andamento: Collection.

Tutte le astrazioni non banali, in una certa misura, presentano delle perdite. Detto questo, non sono davvero sicuro che si applichi qui. :-)

Le astrazioni riguardano il comportamento. A meno che il comportamento non specifichi prestazioni particolari (cosa che Java Listnon fa) è un dettaglio dell'implementazione - cioè irrilevante.

Java non ti consente di specificare le prestazioni minime per le interfacce al di fuori della documentazione e non sono a conoscenza di alcun linguaggio che lo faccia - sarebbe incredibilmente difficile (impossibile?) Verificarlo. Vedo un paio di opzioni se le prestazioni sono un problema:

1. Documentalo nella classe / interfaccia a cui apparirà l'istanza dell'elenco.
2. Crea una nuova interfaccia - ad es. BinarySearchPerformantList(Yuck!) - che specifica i requisiti di prestazione dei vari metodi.

L'opzione 2 è probabilmente l'astrazione migliore, ma comporta un sovraccarico aggiuntivo.

In Java esiste un'interfaccia RandomAccess definita come un elenco con tempo di accesso casuale generalmente costante (O (1) get, put ecc.). Se ritieni che il tuo modulo richieda un elenco con tali caratteristiche prestazionali, considera RandomAccessinvece di utilizzare List. Se non senti la necessità di apportare quel cambiamento (e pochi lo fanno), forse List non è così permaloso.

Hai ragione, un elenco è un'astrazione che perde. L'STL utilizza l'idea dei concetti per modellare questo problema specifico. Per usare il tuo esempio, ArrayListmodella un Iteratore ad accesso casuale mentre un LinkedList modella un Iteratore diretto . Concetti diversi hanno requisiti prestazionali diversi, che li rendono appropriati per algoritmi diversi .