この型のパラメータ構文がコンパイルされない理由は何ですか？

Question

は、私が持っていると言う：私はそれがこのようになりますようにコードを修正しかし

kinds of the type arguments (cspsolver.Thing) do not conform to the expected kinds of the type parameters (type CC) in class Class. cspsolver.
Thing's type parameters do not match type CC's expected parameters: type C's bounds <: Int are stricter than type B's declared bounds >: Nothing <: Any

：

class Class[CC[A, B]] 
class Thing[A, B] { 
    type B <: Int 
} 
class Test extends Class[Thing] 

それは罰金コンパイル

class Class[CC[A, B]] 
class Thing[A, B <: Int] 
class Test extends Class[Thing] // compile error here 

私はコンパイラエラーを取得します。両方とも機能的に同等ではありませんか？

Answer 1

理由はコンパイラのメッセージで示されています。 Classでは、制限されていないCCが、Thingには、第2の型の引数が<: Intでなければならないという制約があります。一つの可能​​性はここでは、ペトルスキー - パドラックの説明にエラボレーション

class Class[CC[A,B <: Int]] 
class Thing[A, B <: Int] 
class Test extends Class[Thing] 

Answer 2

にとClassに同じ制約を追加することで、私はが起こると仮定ものです：コンパイラはThing[A, B <: Int]でCC[A, B]を統一しようとします。 Bの宣言によれば、Bをインスタンス化するために選択されたAnyは、Bの上限バインドがAnyです。ただしBのThingには、その上限の型にバインドされたIntがあると予想され、コンパイラはエラーメッセージが表示されて失敗します。

これは、次のスケッチに示すように、タイプシステムの健全性を維持するために必要です。あなたは文句コンパイラなし

class Test extends Class[Thing] { 
    val t: Thing 
} 

として

class Class[CC[A,B]] { 
    val c: CC 
} 

とTestとしてClassを宣言した場合は、

class Thing[A, B <: Int] { 
    def f(b: B) = 2 * b 
} 

ThingはそのB <: Int、例えばその事実に依存する操作を定義すると仮定、次の電話をかけることができます

new Test().t.f(true) 

これは明らかに安全ではありません。