Scalaの暗黙のコンパイルエラー

Question

私はtoBarList関数がコンパイルされません。このコード

case class Foo(x: Int) 
case class Bar(y: Int) 
object Foo { 
    implicit def toBar(f: Foo) : Bar = { Bar(f.x) } 
    implicit def toBarList(fl: List[Foo]) : List[Bar] = {fl.map{x: Bar => x}} 

を書きました。

<console>:17: error: type mismatch; 
found : Bar => Bar 
required: Foo => ? 
     implicit def toBarList(fl : List[Foo]) : List[Bar] = { fl.map{x : Bar => x}} 

ここではimplicitsシステムを使用しないでください。コンパイラは、関数がBarを期待しているがFooを渡しているというエラーがあることを検出する必要があります。今ではFooをBarに変換するスコープ内の暗黙的な関数が既に存在しているので、これを使用する必要があります。

なぜ、これはコンパイルされませんでしたか？

Answer 1

mapは、関数引数をとる通常の方法であり、List[Foo]のmapは、関数がFooである必要があります。 Bar（具体的にはBar => Bar）の機能を提供していますが、暗黙的な変換をFooからBarに変更しても、Bar => BarからFoo => Barのいずれかになります（この方法では必要です）。

あなたはこれが仕事をしたい場合は、（明示的または暗黙的に）Fooから機能を提供して、変換を適用する必要がありますか、あなたはBar => BarからFoo => Barに暗黙の型変換を提供する必要があります（と類似List[Foo]からList[Bar]に変換しようとしていますが、Function1は最初の引数に反変で、Listは共変です。最初のスニペットで

（これはしかし、すべての非常に悪い考えです。）