與方差

Question

鑑於以下困惑：

trait Fruit 

class Apple extends Fruit 
class Orange extends Fruit 

case class Crate[T](value:T) 

def p(c:Crate[Fruit]) { } 

val cra = Crate(new Apple) 
val cro = Crate(new Orange) 

因爲木箱是不變的，我不能做以下（預期）：

scala> val fruit:Crate[Fruit] = cra 
<console>:10: error: type mismatch; 
found : Crate[Apple] 
required: Crate[Fruit] 
     val fruit:Crate[Fruit] = cra 
           ^

scala> val fruit:Crate[Fruit] = cro 
<console>:10: error: type mismatch; 
found : Crate[Orange] 
required: Crate[Fruit] 
     val fruit:Crate[Fruit] = cro 

scala> p(cra) 
<console>:12: error: type mismatch; 
found : Crate[Apple] 
required: Crate[Fruit] 
     p(cra) 
     ^

scala> p(cro) 
<console>:12: error: type mismatch; 
found : Crate[Orange] 
required: Crate[Fruit] 
     p(cro) 

但我爲什麼可以調用方法P與這些當箱子不協變？ ：

scala> p(Crate(new Apple)) 
Crate(line2$object$$iw$$iw$Apple@35427e6e) 

scala> p(Crate(new Orange)) 
Crate(line3$object$$iw$$iw$Orange@33dfeb30) 

我錯過了一些基本的方差原理嗎？

Answer 1

在後者的情況下，編譯器假定你想要這個工作，實際上說的

p(Crate((new Apple): Fruit)) 

這是完全沒問題。這是一樣的，如果你手動做

val f: Fruit = new Apple // totally fine 
p(Crate(f))    // Also totally fine 

這是編譯器適用於揣摩你與你的類型是什麼意思，而不讓你輸入這一切了巨大魔力的只是一小部分。