Tại sao zipWithIndex được triển khai trong Iterable và không Traversable?

Question

Tôi đang đọc "Lập trình trong Scala 2". Trong phần 24.4, nó lưu ý rằng Iterable chứa nhiều phương thức mà không thể được viết một cách hiệu quả mà không có một trình lặp. Bảng 24.2 chứa các phương pháp này. Tuy nhiên, tôi không hiểu tại sao một số người trong số họ không thể được thực hiện hiệu quả trên iterator. Ví dụ, hãy xem xét 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 
    } 

Tại sao không di chuyển định nghĩa này sang đi ngang? Dường như với tôi rằng mã có thể giống hệt nhau và sẽ không có sự khác biệt về hiệu quả.

Answer 1

Bạn hoàn toàn chính xác và việc triển khai của bạn sẽ hoạt động. Không có lý do chính đáng để có zipWithIndex được xác định trong Iterable và không phải Traversable; không đảm bảo bất kỳ sự bảo đảm nào về thứ tự của các phần tử trong quá trình truyền tải.

(Đây là câu trả lời đầu tiên của tôi trên StackOverflow. Hy vọng tôi đã giúp đỡ. :) Nếu tôi đã không, xin vui lòng cho tôi biết.)

Answer 2

Traversable không đảm bảo trật tự trong đó các phần tử sẽ được viếng thăm và chỉ đòi hỏi bạn phải xác định một phương pháp foreach với chữ ký sau đây:

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

Vì phương pháp này chỉ cần gọi f cho mỗi phần tử trong bất kỳ thứ tự nào, không có ý nghĩa để có chỉ mục về các yếu tố vì thứ tự có thể khác nhau đối với mỗi lệnh gọi foreach.

Chỉnh sửa: Đây thực sự chỉ là một lời giải thích, tại sao nó không có trên Traversable. Như Luigi đã chỉ ra trong các ý kiến, zipWithIndex sẽ có ý nghĩa hơn trên Seq.