存在类型的类型推断

Question

我有一个通用特征SomeTrait 定义如下：

trait SomeTrait[T] {
  def foo(t: T): String
}

和方法bar 和qux 一样：

def bar[T](t: SomeTrait[T]): T
def qux: List[SomeTrait[_]]

我无法控制上述内容。我正在尝试对qux返回的列表进行操作，像这样

qux map { x => x.foo(bar(x))}

但是，编译器抱怨类型不匹配。据我所知，这应该没问题。

我尝试添加一个通用方法（签名[T](SomeTrait[T])String），并调用它来完成工作，但编译器仍然抱怨。我可以像这样绕过它：

qux map { x =>
  val casted = x.asInstanceOf[SomeTrait[T forSome { type T }]] // !!!
  casted.foo(bar(casted))
}

但这更令人困惑，因为x 已经有SomeTrait[_] 类型，而SomeTrait[T forSome { type T }] 的含义相同。我知道的唯一区别是前者是后者的简写，它使编译器创建自己的合成名称。我希望有更好的方法来做到这一点。我见过this question，但我认为它不适用。

Answer 1

正确的做法是使用类型变量为T命名：

qux map { case x: SomeTrait[t] => x.foo(bar(x)) }

这样编译器就知道bar(x): t，因此它是x.foo 可接受的参数。

或者，或者，您可以将foo 和bar 组合成一个方法（请记住，方法可以是本地的，因此您可以在需要的地方定义它）：

def fooOfBar[T](x: SomeTrait[T]) = x.foo(bar(x))
qux map { fooOfBar(_) }