[英]scala - using asInstanceOf with Generics
我有泛型的编译问题。 当我使用asInstanceOf
时,代码编译得很好。 我想摆脱asInstanceOf
。
我看到了一些与asInstanceOf
的使用有关的其他问题,但我没有帮助我。
trait RoundRobin[R <: Resource, F[_] <: mutable.ListBuffer[_]] {
self: RoundRobin[R, F] =>
// some public functions
private def overrideMutableResourceList(original: F[R], updated: F[R]): F[R] = {
val tempPool = original.asInstanceOf[mutable.ListBuffer[R]]
original.indices.foreach(i => {
val e = updated(i).asInstanceOf[R]
tempPool.update(i, e)
})
tempPool.asInstanceOf[F[R]]
}
当我从tempPool.asInstanceOf[F[R]]
删除asInstanceOf
,我得到以下错误
[error] /Users/...../RoundRobin.scala:108: type mismatch;
[error] found : tempPool.type (with underlying type scala.collection.mutable.ListBuffer[R])
[error] required: F[R]
[error] tempPool
[error] ^
[error] one error found
[error] (clustering/compile:compileIncremental) Compilation failed
[error] Total time: 3 s, completed Oct 3, 2017 2:53:34 AM
这个问题也发生在original.asInstanceOf[mutable.ListBuffer[R]]
行original.asInstanceOf[mutable.ListBuffer[R]]
asInstanceOf
? 谢谢
F[A]
和ListBuffer[A]
之间没有关系,只有∀A∃BF[A] <: ListBuffer[B]
。 这个很重要:
type ConstLBInt[A] = ListBuffer[Int]
val x: RoundRobin[Resource, ConstLBInt] = ??? // Legal
// Tries to manipulate ListBuffer[Int]s as if they were ListBuffer[Resources]s
将类型声明更改为
trait RoundRobin[R <: Resource, F[A] <: mutable.ListBuffer[A]]
// ! !
这迫使∀AF[A] <: ListBuffer[A]
,因此例如overrideMutableResourceList
的updated: F[R]
已知为ListBuffer[R]
。
这个类可能会被简化。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.