3

以下を考えると：

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)

Crate は不変であるため、次のことはできません (予想どおり)。

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)

しかし、Crate が共変でないのに、なぜこれらでメソッド 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)

分散の基本原則をいくつか見逃していませんか?

4

1 に答える 1

6

後者の場合、コンパイラはこれが機能することを望んでいると想定し、実際に次のように言います

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

これはまったく問題ありません。手動で行った場合と同じです

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

これは、コンパイラが適用する巨大な魔法のほんの一部にすぎません。これは、すべてを入力することなく、型の意味を理解しようとするものです。

于 2011-04-11T00:47:49.743 に答える