好吧,伙计们,我现在开始学习一些 scala,但时不时会遇到一些更棘手的概念。让我向您介绍水果世界:
class Fruit
class Pear extends Fruit
class Apple extends Fruit
class GrannySmith extends Apple
现在,如果我想要一个新的通用集合,该集合允许我从通用集合中挑选 Fruits 子集,该怎么办?简单的实现:
class MyArray[T](var a:Array[T]) {
def select[U <: T] =
a.filter(_ match {
case u:U => true
case _ => false
})
}
但这不起作用。
scala> var ma = new MyArray(
Array(
new Apple,
new Fruit,
new Pear,
new GrannySmith,
new Apple,
new Fruit
))
scala> ma.select[Apple]
res1: Array[Fruit] = Array(Apple@4d815146, Fruit@64fef26a, Pear@1ddd40f3, GrannySmith@28d320d6, Apple@3d10d68a, Fruit@1c751d58)
控制台警告未检查的错误,使用 -unchecked 重新运行在定义 MyArray 时给出了此信息:
<console>:8: warning: abstract type U in type pattern U is unchecked since it is eliminated by erasure
case u:U => true
所以我对类型删除的理解非常模糊。我知道它在某种程度上与 jvm 中有限的动态类型有关,并且有时您可以使用 list 来解决它,正如 Daniel 所说的 here 。我特别不明白的是,在这个例子中它是如何工作的,以及如何绕过它。
非常感谢您的帮助!
最佳答案
这个怎么样?您甚至可以获得正确的返回类型。
ma.a.collect { case a: Apple => a }
关于generics - 从通用集合中选择类型的子集,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/7067332/