パターンマッチングと実在型

Question

なぜこれは機能しませんか？ Scalaは、case HasIntsの場合には、outer.type <: HasInts.typeを理解する必要があります。回避策（型メンバーを削除せずに）は何ですか？

sealed trait Outer { 
    type Inner 
} 

case object HasInts extends Outer { 
    override type Inner = Int 
} 

def id(outer: Outer): outer.Inner = 
    outer match { 
    case HasInts => 0 
    } 

編集：私たちは実存からユニバーサルへの型のメンバを変更した場合otherhandで

、それがコンパイルされます。

sealed trait Outer[Inner] 

case object HasInts extends Outer[Int] 

def id[I](outer: Outer[I]): I = 
    outer match { 
    case HasInts => 0 
    } 

なぜそれが最初のケースではなく第二に働くだろうか？彼らは間違いなく同一です（実際にはDottyになります）。

Answer 1

従属型。コンパイラがIntを返すときに何であるかを特定する方法はありません。エラーがうまくそれを置く：

scala> def id(outer: Outer): outer.Inner = 
    | outer match { 
    |  case x@ HasInts => 0 : HasInts.Inner 
    | } 
<console>:15: error: type mismatch; 
found : HasInts.Inner 
    (which expands to) Int 
required: outer.Inner 
      case x@ HasInts => 0 : HasInts.Inner 
           ^

コンパイラは特にそれがIntであることを知っています。しかし、メソッドの定義によれば、それはouter.Innerを返します。従属型を静的に使用すると、outer.Inner以外の情報はありません。基本的には何も伝えません。

sealed trait Outer { 
    type Inner >: Int 
} 

をそれとも、できます：たとえば、以下の変更と、それは動作します

sealed trait Outer { 
    type Inner 
    def f: Inner 
} 

case object HasInts extends Outer { 
    override type Inner = Int 
    def f:Inner = 23 
} 

def id(outer: Outer): outer.Inner = outer.f 

私は1つは、右のそれらを得るために、その少し難しいように依存するタイプの方に行かなければならないかどうかわからないです（彼らは可能性があります一度dottyが入ってくると、後で削除されることもあります。versions）私は、私はむしろOuter[T]

Answer 2

スカラ座を使用することができた場合は、単にouterマッチHasIntsがouterの種類を絞り込むという事実を使用していません。ただ、はるかに簡単なケースのように：

val x: Object = ... 
x match { 
    case _: String => x.length 
} 

はコンパイルされません、代わりにあなたはcase s: String => s.lengthを記述する必要があります。

0はouter: Outerの場合はouter.Innerと表示されている必要がありますが、もちろんそうではありません。

の回避策については

は、Jatinが言及したものに加えて、ブルートフォースもちろん

(outer match { 
    case HasInts => 0 
}).asInstanceOf[outer.Inner] 

があり、これはあなたのタイプをチェックする必要が代わりにコンパイラの正しい意味します！編集のために

：typeパラメータのケースのための特別なサポートがコンパイラ

In the method case, what you have here is a GADT: Patterns determine the type parameters of an corresponding methods in the scope of a pattern case.

でありしかし、そこタイプのメンバーには、このようなサポートはありません、と私はそれは次のようになり加えることを期待自明ではない。

Answer 3

関数の戻り値の型は引数に依存できないため、静的でなければなりません。これを考慮してください：

case object HasStrings extends Outer { 
    override type Inner = Int 
} 

val list = Seq(HasInts, HasStrings).map { obj => id(obj) } 

あなたがしたいことがうまくいくなら、上記の行は有効です。しかし、結果として生じるタイプの可能性があるのは何でしょうか？

メンバーを入力するのではなくジェネリックタイプを探していると思います。 （実際には、これはではなく、「実在のタイプ」です。これはまったく別の獣です）。