gpt4 book ai didi

Scala:可选类型参数?

转载 作者:行者123 更新时间:2023-12-05 09:24:03 26 4
gpt4 key购买 nike

我写了一个这样的方法:

def typeOnly[T, S](seq: Seq[S]): Seq[T] = {
seq.flatMap{
case t: T => Some(t)
case _ => None
}
}

我希望以这种方式调用它:

typeOnly[String](List(1, "2", 3, "4"))

这是行不通的。我好像要指定第二个类型参数S:

typeOnly[String, Any](List(1, "2", 3, "4"))

但是为什么?编译器难道不应该知道 List(1, "2", 3, "4") 是一个 Seq[Any] 吗?

最佳答案

长话短说

将此用于 Scala 2.9.x:

def typeOnly[T](seq : Seq[Any])(implicit m : Manifest[T]) : Seq[T] = { 
seq.collect {
case t if m.erasure.isInstance(t) => t.asInstanceOf[T]
}
}

scala> typeOnly[String](List(1,2,"3",4))
res1: Seq[String] = List(3)

这是 Scala 2.10.x 的:

def typeOnly[T](seq : Seq[Any])(implicit tag : scala.reflect.ClassTag[T]) = { 
seq.collect {
case t if tag.runtimeClass.isInstance(t) => t.asInstanceOf[T]
}
}

由于Seq被定义为trait Seq[+A](关键是+),任何Seq[S ] 也是一个 Seq[Any]

另一方面,正如已经说过的,T 在函数编译时被“遗忘”,因此您不能直接使用它。您必须以某种方式将 T 的类作为参数传递。

def typeOnly[T](seq : Seq[Any], c : Class[T]) : Seq[T] = { 
seq.flatMap {
case t if c.isInstance(t) => Some(t.asInstanceOf[T])
case _ => None
}
}

在 Scala 中,除了 Class[T] 之外,还有 Manifest[T],它更强大一点,因此也更地道.特别是,它有一个返回 Class[T] 的方法 erasure。使用它,您可以像这样编写函数:

def typeOnly[T](seq : Seq[Any], m : Manifest[T]) : Seq[T] = { 
seq.flatMap {
case t if m.erasure.isInstance(t) => Some(t.asInstanceOf[T])
case _ => None
}
}

看来我们一无所获。但是,如果您友好地询问编译器(使用 implicit),它会在您调用该函数时为您传递 Manifest

def typeOnly[T](seq : Seq[Any])(implicit m : Manifest[T]) : Seq[T] = { 
seq.flatMap {
case t if m.erasure.isInstance(t) => Some(t.asInstanceOf[T])
case _ => None
}
}

例子:

scala> typeOnly[java.lang.Integer](List(1,2,"3",4))
res2: Seq[java.lang.Integer] = List(1, 2, 4)

scala> typeOnly[String](List(1,2,"3",4))
res3: Seq[String] = List(3)

scala> typeOnly[java.lang.Double](List(1,2,"3",4))
res4: Seq[java.lang.Double] = List()

还有更多选择,其中一些更符合惯用语。例如,你可以将 collect 与部分定义的函数一起使用:

def typeOnly[T](seq : Seq[Any])(implicit m : Manifest[T]) : Seq[T] = { 
seq.collect {
case t if m.erasure.isInstance(t) => t.asInstanceOf[T]
}
}

警告:前面的示例适用于 Scala 2.9.3 及以下版本。如果您正在为 Scala 2.10.x 开发,则 Manifest#erasure 已被弃用。使用 runtimeClass 代替:

def typeOnly[T](seq : Seq[Any])(implicit m : Manifest[T]) = { 
seq.collect {
case t if m.runtimeClass.isInstance(t) => t.asInstanceOf[T]
}
}

由于 list 也将很快被弃用(请参阅下面的评论),您应该考虑使用 ClassTag。

def typeOnly[T](seq : Seq[Any])(implicit tag : scala.reflect.ClassTag[T]) = { 
seq.collect {
case t if tag.runtimeClass.isInstance(t) => t.asInstanceOf[T]
}
}

关于Scala:可选类型参数?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/16815073/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com