스칼라 컬렉션 뷰 유형이 너무 많은 이유는 무엇입니까?

Question

저는 스칼라에 익숙하지 않아 뷰 호출시 IndexedSeqViewS 및 이와 유사한 클래스의 인스턴스를 반환하는 이유를 이해하려고합니다. 왜 각 작업마다 다른 클래스가 필요합니까?

Answer 1

각보기 변환 연산자 (즉, map, filter 또는 slice과 같은 새보기를 생성하는보기)는 기본 모음을 다른 방식으로 탐색하는보기를 만듭니다. IndexedSeqViewS은 해당 컬렉션 클래스의 실제 이름이 아닙니다. toString이 반환하는 것으로 가장 많이 사용되는 이름입니다.

예를 들어, Mapped보기는 기본 모음의 각 요소가 어떤 방식으로 변환되도록 기본 모음의보기를 만듭니다.

이 다음과 같이 foreach을 재정의가 필요합니다 컬렉션이 정의를 오버라이드 (override), 상속 기반 설계를 가지고 있기 때문에

trait Filtered extends Transformed[A] { 
    // ... 
    def foreach[U](f: A => U) { 
     for (x <- self) 
     if (pred(x)) f(x) 
    } 
    // ... 
    } 

:

trait Mapped[B] extends Transformed[B] { 
    // ... 
    def foreach[U](f: B => U) { 
     for (x <- self) 
     f(mapping(x)) 
    } 
    // ... 
    } 

Filtered보기를 통과하면서 일부 요소를 무시 필요 foreach (및 apply, size 등의 다른 방법)의 하위 클래스가 도입되어야합니다. 일부 대체 설계에서, 예를 들어. 하나는 타입 클립을 기반으로하므로 특정 유형에 대해 foreach을 재정의하기 위해 별도의 typeclass를 도입해야 할 수 있습니다.