如何通過正確的包裝類線程類型？

Question

trait Thing { 
    type Out 
    def get: Out 
} 

case class Wrapper(t: Thing) extends Thing { 
    type Out = t.Out 
    override def get = t.get 
} 

def hey(t: Thing): t.Out = Wrapper(t).get 

這給了我一個類型錯誤，雖然它顯然是類型安全的。我想知道如何能夠向編譯器正確證明這是安全的，而無需執行演員。

任何想法？

Answer 1

如果你真的，真的不希望把一個類型參數上Wrapper，您可以用較少的丟三落四apply推出自己的假案例類：

trait Thing { 
    type Out 
    def get: Out 
} 

abstract class Wrapper(t: Thing) extends Thing 

object Wrapper { 
    def apply(t: Thing): Wrapper { type Out = t.Out } = 
    new Wrapper(t) { 
     type Out = t.Out 
     def get: Out = t.get 
    } 
} 

def hey(t0: Thing): t0.Out = Wrapper(t0: Thing { type Out = t0.Out }).get 

（在現實生活中，你會還想要定義案例類給你的所有其他東西 - 有用的平等等）

問題是當定義一個case類時自動生成的Wrapper.apply只返回Wrapper，這意味着編譯器已經全部丟失有關其Out的靜態信息。如果您編寫自己的apply，則可以通過將返回類型設置爲指定Out的優化類型來保留該信息。

爲了證明它的工作原理：

scala> val myThing = new Thing { 
    | type Out = String 
    | def get = "foo" 
    | } 
myThing: Thing{type Out = String} = $anon$1@5e265ba4 

scala> hey(myThing) 
res0: myThing.Out = foo 

scala> val foo: String = hey(myThing) 
foo: String = foo 

所以編譯器能夠跟蹤的事實Out是String一路過關斬將。