Scala:可选的类型参数？

Question

我写了一个像这样的方法:

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]？

Answer 1

TL; DR

用于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,appart from Class[T],也有Manifest[T]更强大的功能,因此更具惯用性.特别是,它有一个erasure返回a 的方法Class[T].使用它,你可以像这样编写你的函数:

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]
    }
}

由于清单很快也会被弃用(请参阅下面的评论),您应该考虑使用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]
    }
}