サブタイプと型変換

Question

以下のタイプTはサブタイプFruitです。 AppleもサブタイプFruitです。だから、コンパイラは、なぜタイプの帰納法が以下で使われるとき、AppleをTに強制しないのですか？なぜそれを動作させるために明示的なキャスティングが必要なのですか？タイプを推論するときの強制のルールは何ですか？

trait Fruit 
case class Apple(id: String) extends Fruit 

type T <: Fruit 

val t: T = Apple("apple") // why doesn't the compiler coerce Apple to T? 

val t: T = Apple("apple").asInstanceOf[T] // works! 

Answer 1

これを少し簡略化しましょう。梨と果実を胎児と交換する。

trait Fetus 
class Apple extends Fetus 
type Pear <: Fetus 

val t: Pear = new Apple() 

私たちはFetusと宣言し、「AppleはFetus」と言い、「PearはFetus」です。 これまでのロジックは正しいです。しかし、それから、「リンゴを梨の箱に入れる」ことを試みます。そしてここに私たちの間違いがあります。

のは、別の例を考えてみましょう：

ここ

trait Fetus 
class Apple extends Fetus 
type Fruit >: Apple <: Fetus 

val t: Fruit = new Apple() 

我々は、胎児を宣言した後、私たちは、「Appleが胎児である」と述べた後、私たちは「フルーツは、Appleと胎児の間の中間にあるものだ」と述べました。つまり、Fetus - > Fruit - > Appleの階層構造を構築しました。だから、アップルはフルーツのサブタイプで、あなたは「果物の箱にリンゴを入れる」ことができます。

UPDATE：猫は、彼らは両方の動物であるのにもかかわらず、犬にはできませんように

Pearは間違いなく、可能とAppleすることはできません。水平ではなく垂直方向にのみ階層で移動できます：

Creature 
    | 
Animal 
    _|_ 
/ \ 
Dog Cat 
     \ 
     White Cat 

Answer 2

私はあなたが定義 type T <: Fruitの意味を混乱していると思う：それは（type T = Fruitとは異なりタイプの別名である）抽象型 defintionです。 Absract型はFruitを拡張するクラスTを作成するのではなく、抽象宣言であり、使用するいくつかのサブクラスでオーバーライドする必要があります。 Learning Scala, chapter 10から

：

は...抽象型は、ゼロ、1、または多くのクラスに解決することができる仕様です。彼らは別名を入力する同様の方法で動作しますが、されて仕様が、彼らは抽象的であり、インスタンスに宣言type T <: Fruitが唯一のクラス/トレイト（オブジェクトではなく、またトップに常駐できること

お知らせを作成するために使用することはできませんそのクラス/特性が拡張されるまで無意味であるからです。それが定義されているところではまだ抽象的なので、コンパイラはAppleがそれを拡張していることを確実に知ることができません。

ような定義を使用するための例：ここでは

trait Price { 
    type T <: Fruit 
    def printPrice(x: T): Unit 
} 

class ApplePrice extends Price { 
    override type T = Apple 
    override def printPrice(x: Apple): Unit = ??? 
} 

、ApplePriceは何かでこの抽象型をオーバーライドする必要があります。 Priceの別のサブクラスはPriceに配置された表現val t: T = Apple("apple")がコンパイルできないということを明確にすべきである（例えばBanana extends Fruit）別の何か、でこれを上書きしてしまうことがあります - いくつかの可能な拡張クラスに対して、TはAppleではなく、またAppleはTを延長ありません。