ワイルドカードを使用した型パラメータに関連する奇妙なコンパイルエラー

Question

申し訳ありませんが、私はここで何が起こっているのか分かりませんので、これ以上の有益なタイトルや問題を策定できません。なぜこのコードはコンパイルされません：

class Foo 
class Bar[+R <: Foo] { def bar = "bar" } 
class Bak(val b: Bar[_]) 
val bak = new Bak(new Bar[Foo]) 
bak.b.bar // fine 
println(bak.b) // fine 
bak.b // oops! 
^^^ type arguments [Any] do not conform to class Bar's type parameter bounds [+R <: Foo] 

これはなんですか？なぜ私は変数を使用できますか？ 誰にも意味がありますか？ ワイルドカードタイプ

Answer 1

共変、コンパイラは次のように、Anyにresのコンテナタイプを設定します：上記のコードとして

scala> val l: List[_] = List(123) 
l: List[_] = List(123) 
scala> l 
res1: List[Any] = List(123) 
scala> :type l 
List[Any] 

、Listコンテナタイプは_あり、Listためであります共変量なので、コンパイラはlのresタイプをList[Any]に設定します。

そして、あなたのコードスニペットRとしてFooにをは、UpperBoundされているので、AnyでFooとの間に矛盾があるでしょう：

val res: Bar[Any] = bak.b //+R <: Foo 

ので、このコンパイルエラーがthrowedされ、REPLでそれがされます自動割り当てbak.bをres変数に割り当てます。