方法重载中的类型擦除问题

如何解决方法重载中的类型擦除问题

我有两个具有以下签名的重载方法-

def fun(x: Seq[String]): Future[Seq[Int]] = ???
def fun(x: Seq[(String,String)]): Future[Seq[Int]] = ???

由于类型擦除，这些方法不能重载，因此显示编译错误。我尝试使用类型标签作为解决方法-

def fun[t: TypeTag](values: Seq[T]): Future[Seq[Int]] = {
    typeOf[T] match {
        case t if t =:= typeOf[String] => ???
        case t if t =:= typeOf[(String,String)] => ???
        case _ => ???    // Should not come here
     }
}

此方法面临两个问题-

如何使用Seq中的值？
如何避免发生Should not come here案件？

谢谢。

解决方法

尝试使用DummyImplicit而非TypeTag方法

def fun(x: Seq[String]): Future[Seq[Int]] = ???
def fun(x: Seq[(String,String)])(implicit ev: DummyImplicit): Future[Seq[Int]] = ???

如何使用Seq中的值？

请注意，即使TypeTag启用了克服类型擦除功能，我也不认为编译器会自动插入强制类型转换，因此您应该手动调用asInstanceOf或同等功能

case t if t =:= typeOf[String] => 
  val vs: Seq[String] = values.asInstanceOf[Seq[String]]
  ???

请注意，TypeTag需要依赖scala-reflect.jar（例如，如果我们关心包装的大小，这可能是不利的）。

在这种情况下，常见的做法是使用Magnet Pattern

对于方法重载，您可以使用

DummyImplicit（请参阅 @MarioGalic 的答案）

def fun(x: Seq[String]): Future[Seq[Int]] = ???
def fun(x: Seq[(String,String)])(implicit ev: DummyImplicit): Future[Seq[Int]] = ???

fun(Seq("a","b"))
fun(Seq(("a","b"),("c","d")))

type class

trait FunTypeclass[A] {
  def fun(x: A): Future[Seq[Int]]
}
object FunTypeclass {
  implicit val string: FunTypeclass[Seq[String]] = x => ???
  implicit val stringTuple2: FunTypeclass[Seq[(String,String)]] = x => ???
}
def fun[A](x: A)(implicit ftc: FunTypeclass[A]): Future[Seq[Int]] = ftc.fun(x)

fun(Seq("a","d")))

或

magnet

import scala.language.implicitConversions

trait FunMagnet {
  def fun(): Future[Seq[Int]]
}
object FunMagnet {
  implicit def fromString(x: Seq[String]): FunMagnet = () => ???
  implicit def fromStringTuple2(x: Seq[(String,String)]): FunMagnet = () => ???
}
def fun(x: FunMagnet): Future[Seq[Int]] = x.fun()

fun(Seq("a","d")))

Overloading methods based on generics