Perché zipWithIndex è implementato in Iterable e non Traversable?

Question

Sto leggendo "Programmazione in Scala 2ed". Nella sezione 24.4, si fa notare che Iterable contiene molti metodi che non possono essere scritti in modo efficiente senza un iteratore. La Tabella 24.2 contiene questi metodi. Tuttavia, non capisco perché alcuni di essi non possono essere implementati in modo efficiente su iteratore. Ad esempio, considera zipWithIndex.

def zipWithIndex[A1 >: A, That](implicit bf: CanBuildFrom[Repr, (A1, Int), That]): That = { 
    val b = bf(repr) 
    var i = 0 
    for (x <- this) { 
     b += ((x, i)) 
     i +=1 
    } 
    b.result 
    } 

Perché non spostare questa definizione su attraversabile? Mi sembra che il codice potrebbe essere esattamente lo stesso e non ci sarebbe alcuna differenza in termini di efficienza.

Answer 1

Sei completamente corretto e la tua implementazione dovrebbe funzionare. Nessuna buona ragione per avere zipWithIndex definito in Iterable e non Traversable; non fornisce alcuna garanzia circa l'ordine degli elementi in attraversamento.

(Questa è la mia prima risposta su StackOverflow. Speranza Sono stato utile. :) Se ho non, mi dica.)

Answer 2

Traversable non garantisce l'ordine in cui saranno visitati gli elementi e richiede solo di definire un metodo foreach con la seguente firma:

def foreach[U](f: Elem => U): Unit 

Poiché questo metodo ha solo bisogno di chiamare f per ogni elemento in qualsiasi ordine, non ha senso avere un indice sugli elementi poiché l'ordine potrebbe essere diverso per ogni invocazione di foreach.

Modifica: Questa è davvero solo una spiegazione, perché non è su Traversable. Come Luigi ha sottolineato nei commenti, zipWithIndex avrebbe più senso su Seq.