Scala 类型检查器无法正确推断类型

Question

我简化了 Scala 类型推断的问题：

  case class HalfEdg[N,E](e:E, n:N)
  case class Nod[N,E](head:N, edgs:HalfEdg[N,E])

  case class AA[E](e:E) {
    def ->[N](n:N):HalfEdg[N,E] = HalfEdg(e,n)
  }
  def --[E](e:E):AA[E] = AA(e)

我可以制作这个变量：

val x = Nod[Int,String](13, --("aa")->(12))

然后我想将它扩展到以下类型：

  case class Foo[N](e:N => Boolean)
  case class Bar[E](e:E => Boolean)

  case class BB[E](e:Bar[E]) {
    def ->[N](n:Foo[N]):HalfEdg[Foo[N],Bar[E]] = HalfEdg(e,n)
  }  
  def --?[E](e:E => Boolean):BB[E] = BB(Bar(e))

但这次我不能做同样的事情，因为编译器无法推断 Foo 和 Bar 中的函数类型：（我可以静态键入它们并编译）

  val x1 = Nod[Foo[Int],Bar[String]](Foo(x => x == 10), --?(x => x == "")->(Foo(z => z == 10)))

我该如何解决这个问题？

Answer 1

类型推断失败的中心是编译器无法确定Foo(z => z == 10) 中的N 类型与N 类型相同 N来自较早的Foo(x => x == 10)。一种可能的解决方法是确保Foo、Bar、BB 和--? 的定义都使用相同的N 和E。这可以通过将它们包装在使用N 和E 类型参数化的父（“上下文”）特征中来完成。例如：

trait Baz[N,E] {
  case class Foo(e:N => Boolean)
  case class Bar(e:E => Boolean)

  case class BB(e:Bar) {
    def ->(n:Foo):HalfEdg[Foo,Bar] = HalfEdg(e,n)
  }
  def --?(e:E => Boolean):BB = BB(Bar(e))
}

从这里，您可以在特定上下文中执行所需的操作，作为 Baz 的一个版本，满足 N 和 E 的特定所需类型：

object IntStrBaz extends Baz[Int,String] {
  // do your work in here
  val x1 = Nod[Foo,Bar](Foo(x => x == 10), --?(x => x == "")->(Foo(z => z == 10)))
}

粘贴到 REPL 中，我们不再收到类型推断投诉：

scala> IntStrBaz.x1
res0: Nod[IntStrBaz.Foo,IntStrBaz.Bar] = Nod(Foo(<function1>),HalfEdg(Bar(<funct
ion1>),Foo(<function1>)))

Answer 2

你所需要的只是简化你的表达，它会很容易地显示你的错误。 您错过了两个设置类型的地方：

  val bbE = --?[String](x => x == "")
  val foo = Foo(z => z == 10)
  val zz = bbE->(foo)
  val x1 = Nod[Foo[Int],Bar[String]](Foo(x => x == 10), zz)

对于此类问题，如果您帮助编译器进行类型推断，则更容易识别问题。