用于从集合中检索特定类型的项的通用强类型scala方法

Question

想象一下,我有这堂课:

class Example {
    val list = List(new Apple(), new Orange(), Banana());
    def getIfPresent[T <: Fruit] : Option[T] = list.collectFirst { case x : T => x }
}

你这样使用它:

val example = new Example();
match example.getIfPresent[Apple] {
    case Some(apple) => apple.someAppleSpecificMethod();
    case None => println("No apple");
}

当然,现在,由于类型擦除,这在JVM中不起作用.getIfPresent只是相匹配的类型Fruit中的collectFirst部分功能,而不是在调用中指定的实际类型.

我试图了解类型标签和类标签,并且真的不知道我将如何实现上述方法.我看到的例子正在尝试做很多不同的事情.我怎么能用TypeTags或其他一些我不知道的机制来实现我想要的方法呢？

---

编辑:下面的mz答案是完整的解决方案,但这是我的示例代码的外观:

class Example {
    val list = List(new Apple(), new Orange(), Banana());
    def getIfPresent[T <: Fruit : ClassTag] : Option[T] = list.collectFirst { case x : T => x }
}

只需要添加: ClassTag!

Answer 1

你可以ClassTag在一定程度上使用它.

import scala.reflect.ClassTag

// Modify to apply whatever type bounds you find necessary
// Requires Scala ~2.11.5 or greater (not sure of the exact version, but 2.11.1 does not work, and 2.11.5 does)
def findFirst[A : ClassTag](list: List[Any]): Option[A] =
    list collectFirst { case a: A => a }

val l = List(1, "a", false, List(1, 2, 3), List("a", "b"))

scala> findFirst[Boolean](l)
res22: Option[Boolean] = Some(false)

scala> findFirst[Long](l)
res23: Option[Long] = None

但是有一些警告ClassTag,因为它只匹配类,而不是类型:

scala> findFirst[List[String]](l)
res24: Option[List[String]] = Some(List(1, 2, 3)) // No!

您可以使用a TypeTag来解决这个问题,但它无法使用List[Any].这是一种可能(有点丑陋)的伎俩:

import scala.reflect.runtime.universe.{typeOf, TypeTag}

case class Tagged[A : TypeTag](a: A) {
    def tpe = typeOf[A]
}

implicit class AnyTagged[A : TypeTag](a: A) {
    def tag = Tagged(a)
}

def findFirst[A : TypeTag](list: List[Tagged[_]]): Option[A] =
    list collectFirst { case tag @ Tagged(a) if(tag.tpe =:= typeOf[A]) => a.asInstanceOf[A] }

我能想到保持TypeTag每个元素的唯一方法是使用包装类来保持它.所以我必须像这样构建列表:

val l = List(1.tag, "a".tag, false.tag, List(1, 2, 3).tag, List("a", "b").tag)

但它有效:

scala> findFirst[List[String]](l)
res26: Option[List[String]] = Some(List(a, b))

使用TypeTags 构造这样的列表可能有更优雅的方式.

为了好玩,你也可以尝试使用和无形状来做到这一点.区别在于,不会返回,而是返回(您想要的类型),但如果包含否,则不会编译.HListselectOption[A]selectAHListA

import shapeless._

val l = 1 :: "a" :: false :: List(1, 2, 3) :: List("a", "b") :: HNil

scala> l.select[Boolean]
res0: Boolean = false

scala> l.select[Boolean]
res1: Boolean = false

scala> l.select[List[String]]
res2: List[String] = List(a, b)

scala> l.select[Long]
<console>:12: error: Implicit not found: shapeless.Ops.Selector[shapeless.::[Int,shapeless.::[String,shapeless.::[Boolean,shapeless.::[List[Int],shapeless.::[List[String],shapeless.HNil]]]]], Long]. You requested an element of type Long, but there is none in the HList shapeless.::[Int,shapeless.::[String,shapeless.::[Boolean,shapeless.::[List[Int],shapeless.::[List[String],shapeless.HNil]]]]].
              l.select[Long]
                      ^