在Scala中避免asInstanceOf的方法

Question

我在Scala中具有以下特征和类层次结构：

trait A
trait B[T] extends A {
  def v: T
}
case class C(v:Int) extends B[Int]
case class D(v:String) extends B[String]
val l:List[A] = C(1) :: D("a") :: Nil
l.foreach(t => println(t.asInstanceOf[B[_]].v))

我无法更改类型层次结构或列表的类型。

有更好的方法来避免asInstanceOf [B [_]]语句吗？

Answer 1

您可以尝试模式匹配。

l.collect{case x :B[_] => println(x.v)}

Answer 2

您可以尝试如下操作：

for (x <- l.view; y <- Some(x).collect { case b: B[_] => b }) println(y.v)

它不需要任何isInstanceOf或asInstanceOf ，并且永远不会崩溃，即使您的列表包含不是B[_]的A 它还不会创建任何冗长的列表作为中间结果，而只会创建短期的Option 。

---

不那么简洁，但是也没有那么令人惊讶的解决方案：

for (x <- l) {
  x match {
    case b: B[_] => println(b.v)
    case _ => /* do nothing */
  }
}

---

如果可以将l的类型更改为List[B[_]] ，则这将是更可取的解决方案。

Answer 3

我认为最理想的方法是为B提供一个提取器对象，并为B值提供模式匹配：

object B {
    def unapply[T](arg: B[T]): Some[T] =  Some(arg.v)
  }
l.collect{case B(x) => println(x)} 

如果在源文件中声明了B则无法更改，您可能需要为extractor对象使用其他名称。