매개 변수화 된 형식의 특정 작성자

Question

(매개 변수화 된) 컬렉션을 래핑하고 클래스의 foreach 메서드를 재정의하는 스칼라에 클래스를 작성하려고합니다. foreach 메서드로 수행하는 작업은이 질문의 목적에 중요하지 않으므로 방문한대로 각 요소를 인쇄합니다. 그래서 이상적으로 우리는 래퍼를 다음과 같이 사용할 수 있습니다.

scala> val a = List(1,2,3,4,5) 
scala> val b = MyWrapper(a) 
scala> b.foreach{ x => x } 
1 
2 
3 
4 
5 

핵심은 모든 반복 가능한 작업을 원한다는 것입니다. 그냥 목록이 아닙니다. 그래서 내 첫 번째 시도는이 클래스가 구체적으로, 우리는 반복자 방법 및 newBuilder 방법이 필요합니다, 그러나

class MyWrapper[A, S[A] <: Iterable[A]](val s: S[A] with IterableLike[A, S[A]]) 
     extends IterableLike[A, S[A]] { 

     override def foreach[U](f: A => U): Unit = { 
      iterator.foreach{ x => println(x); f(x) } 
     } 
} 

다음 무엇을 같은했다. 내가 newBuilder을 정의하려고하면 문제가

override def iterator = s.iterator 

: 반복자 방법은 아무 문제, 우리가 너무처럼의의 반복자를 "훔칠"수 없습니다. 나는 S [A]를 돌려 주길 빌더가 필요합니다. 그러나 S [A]는 Iterable [A]로 묶인 매개 변수화 된 모음입니다. 해당 오류 메시지가

[error] method newBuilder in trait TraversableLike of type => scala.collection.mutable.Builder[A,S[A]] is not defined 
[error] method seq in trait Parallelizable of type => scala.collection.TraversableOnce[A] is not defined 

가 어떻게 빌더를 얻을 수에 따라서 내 시도 genericBuilder를 사용하거나의 동반자 객체의 빌더 결과를 얻기의 전혀은의 Iterable [A]은은 S [A], 즉 구축보다는 제네릭 경계 형 Iterable [A]가 아닌 특정 유형, S [A]? 이것은 가능한가? 이 작업을 수행하는 관용적 인 스칼라 방법을 이해하는 데 도움이된다면 크게 도움이 될 것입니다.

Answer 1

IterableLike(다른 XxxLike 특성) 각 콜렉션 유형에 대해 구체적으로있는 빌더에 위임하여 반환 형식을 통해 추상입니다. 따라서 당신이 시도하는 것은 작동 할 수 없습니다.

당신은 일반적인 래퍼 MyWrapperLike을 만들 수 [A는 B] 특정 래퍼의 몇 MySeqWrapper는 [A] MyWrapperLike [A, 서열 [A] 설정 에 대한 (동일 지도를 확장 , 리스트 등), 즉 Scala 컬렉션 라이브러리의 디자인을 모방합니다.