如何使用模式匹配中的类型信息

Question

我有以下设置：

trait TypeA { override def toString() = "A" }
trait TypeB { override def toString() = "B" }
trait TypeC { override def toString() = "C" }
def foo[T](t: T) = println(t)

现在我可以做这样的事情：

val valueB: Any = new TypeB {}
val typedValue = valueB match {
  case t: TypeA => foo(t)
  case t: TypeB => foo(t)
  case t: TypeC => foo(t)
}
// prints "B"

如果我想推广这个模式匹配块，我可以简单地做：

val typedValue = valueB match {
  case t => foo(t)
}

它会起作用的。然而，在我的实际用例中，我需要在调用该方法时显式地声明类型信息，因为没有函数参数可以推断它。因此，如果foo()是一个用类型参数T参数化的泛型方法，但没有该类型的实际参数可供推断，我是否可以将其归纳为只匹配一个case语句的模式（可能使用Reflection API）？

那么，如何对此进行概括呢？

val typedValue = valueB match {
  case t: TypeA => foo[TypeA]()
  case t: TypeB => foo[TypeB]()
  case t: TypeC => foo[TypeC]()
  ...
}

Answer 1

如果我想推广这个模式匹配块，我可以简单地做：

val typedValue = valueB match {
  case t => foo(t)
}

一般来说，你不能。例如，如果foo(x: TypeA)、foo(x: TypeB)和foo(x: TypeC)是单独的过载。这就是实际代码的情况：您必须为JsObject等编写单独的方法，因为这些value调用恰好具有相同的名称；你不能写foo(x: JsValue)或foo[T <: JsValue](x: T)，它们会做你想做的事情（如果没有你想避免的相同匹配）。

在您有一个多态方法的情况下：因为泛型参数会被擦除，如果您有def foo[T]() = ...、foo[TypeA]()、foo[TypeB]()和foo[TypeC]()，它们将执行相同的实际代码（这不适用于classOf、isInstanceOf或asInstanceOf，但它们是唯一的例外，因为它们不是真正的泛型方法）。所以您可以直接拨打foo[<type-of-valueB>]。为了使它们不同，foo必须有一个隐含的自变量，该自变量取决于T，例如

trait Baz[A] { ... }
object Baz {
  implicit val bazTypeA: Baz[TypeA] = ...
  ...
}
def foo[A]()(implicit baz: Baz[A]) = ...

在这种情况下，避免分支的方法是调用foo的方法接受相同的隐式：

def bar[A](value: A)(implicit baz: Baz[A]) = foo[A]()
bar(new TypeA) // uses bazTypeA