我在玩与路径相关的类型，并且对一个简单的情况感到困惑，在这种情况下，类型推断无法帮助我，而且我不知道应该如何手动指定类型
final class Dependency[A]() {
final case class Box protected[Dependency] (data : A)
def box(data : A) : Box = Box(data)
def unbox(box : Box) : A = box.data
}
def correct() {
val dep = new Dependency[Int]
val u = dep.box(0)
val v = dep.unbox(u)
}
object InCorrect {
def wrap(src : Int) = { // what return type should be here?
val dep = new Dependency[Int]
val box = dep.box(src)
(dep, box)
}
def unwrap() {
val (dep,box) = wrap(0)
val v = dep.unbox(box) //type mismatch found
}
}
我只是将一个函数一分为二，并且两次调用之间的类型信息丢失了。如何重新建立？
至于返回类型：
def wrap(src: Int): (Dependency[Int], Dependency[Int]#Box) = {
val dep = new Dependency[Int]
val box = dep.box(src)
(dep, box)
}
至于从元组获取值：
def unwrap() = {
val x = wrap(20)
val (dep, _) = x
val (_, box: dep.Box) = x
val v = dep.unbox(box)
v
}
因此，此解决方法会拉出第一个值，并在类型说明中使用其类型来获取第二个值。
本文收集自互联网，转载请注明来源。
如有侵权，请联系 [email protected] 删除。
我来说两句