Dlaczego program zipWithIndex został zaimplementowany w programie Iterable i nie można go przetransponować?

Question

Mam na myśli "Programowanie w Scala 2ed". W sekcji 24.4 zauważono, że Iterable zawiera wiele metod, których nie można efektywnie napisać bez iteratora. Tabela 24.2 zawiera te metody. Jednak nie rozumiem, dlaczego niektóre z nich nie mogą być skutecznie wdrożone w iteratorze. Na przykład rozważ 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 
    } 

Dlaczego nie przenieść tej definicji na ruchomy? Wydaje mi się, że kod może być dokładnie taki sam i nie byłoby różnicy w wydajności.

Answer 1

Masz całkowitą rację, a Twoja implementacja powinna zadziałać. Nie ma żadnego powodu, aby mieć zipWithIndex zdefiniowany w Iterable, a nie Traversable; ani nie daje żadnej gwarancji co do porządku elementów znajdujących się w ruchu.

(To jest moja pierwsza odpowiedź na StackOverflow. Nadzieja byłem pomocny. :) Jeśli ja nie, proszę mi powiedzieć.)

Answer 2

Traversable nie gwarantuje porządek, w którym elementy będą odwiedzane i tylko wymaga, aby zdefiniować metodę foreach z następującym podpisem:

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

Ponieważ metoda ta po prostu potrzebuje zadzwonić f dla każdego elementu dowolne zamówienie, nie ma sensu posiadanie indeksu na elementach, ponieważ zamówienie może być inne dla każdej inwokacji foreach.

Edytuj: To jest naprawdę tylko wytłumaczenie, dlaczego nie jest dostępne na Traversable. Jak zauważył Luigi w komentarzach, zipWithIndex miałoby więcej sensu na Seq.