コレクションに対して複数の操作を実行した後、同じコレクションタイプを返します。

Question

暗黙的なCanBuildFromパラメータを使用すると、コレクションに対して1つの操作が行われた場合にのみ同じタイプのコレクションを返すことができます。もっと複雑なメソッドをパラメータ型と同じ型で返すようにする簡単な方法はありますか？あなたがIterableのサブタイプの有効なサブタイプにitemsのコレクション型と戻り値の型の両方を変更した場合、コードはまだコンパイルされます

def trimCharacters(items: Iterable[String]): Iterable[String] = 
    items map (_.replaceAll("\\W", "")) map (_.replaceAll("\\w", "")) 

：

は、次のコードを考えます。私は戻り値の型が提供されたIterableのタイプに従って呼び出し元によって選択されるようにこれを一般化したいと思います。

This answer utilizing CanBuildFromは近づくが、唯一のオリジナルからの最初のmapを行います。

def trimNonWordCharacters[T <: Seq[String]] 
    (items: T with SeqLike[String, T]) 
    (implicit cbf: CanBuildFrom[T, String, T]): T = 
    items map (_.replaceAll("\\W", "")) 

第2のマップを実行する単純な行為：

def trimCharacters[T <: Seq[String]] 
    (items: T with SeqLike[String, T]) 
    (implicit cbf: CanBuildFrom[T, String, T]): T = 
    items.map(_.replaceAll("\\W", "")).map(_.replaceAll("\\w", "")) 

休憩のコンパイル：

type mismatch; 
[error] found : Seq[String] 
[error] required: T 

これをコンパイルできる変更がありますか？

Answer 1

あなたは暗黙のうちにCanBuildFromを取得しましたが、あなたはそれを採用していません。

def trimCharacters[T <: Seq[String]](items: T with SeqLike[String, T] 
            )(implicit cbf: CanBuildFrom[T, String, T] 
            ): T = { 
    val builder = cbf(items) 
    builder.sizeHint(items) 
    items.map(_.replaceAll("\\W","")).map(_.replaceAll("\\w","")).foreach(builder += _) 
    builder.result() 
} 

ところで、この場合map Sが崩壊することができます。

items.map(_.replaceAll("\\W", "").replaceAll("\\w", "")).foreach(builder += _)