为什么scala不会将这种类型的lambda与底层类型统一起来？

Question

trait A {
  type T
  def test(t: T): Unit
}

case class B[S <: A](a: S, t : S#T) {
  def test() = a.test(t) // Error: type mismatch;
    // found   : B.this.t.type (with underlying type S#T)
    // required: B.this.a.T
}

我错误地期望上面的编译？我的代码可以修复吗？

Answer 1

编译器没有足够的证据S#T可以test在具体实例中用作参数.

考虑弱化scala编译器的这个低级示例

trait A2 extends A{
  type T <: AnyRef
}

class A3 extends A2{
  override type T = Integer

  def test(t: Integer): Unit = println(t * 2)
}

所以B[A2]应该接受的情况下A3不惜一切是<: AnyRef同时A3需要准确地Integer为自己test实施

您可以在定义中捕获具体类型B,以确保将使用哪种类型

case class B[S <: A, ST](a: S {type T = ST}, t: ST) {
  def test() = a.test(t) 
}