Scala 类型推断问题

Question

我只是在和 Tony Morris' excellent exercise on catamorphisms 闲聊，当我在思考在以下情况下发生的事情时......

def cata[X](some: A => X, none: => X): X

现在让我按如下方式调用此方法:

def isDefined: Boolean = cata( _ => true, false)

我想知道类型推断器是否确定了 _ => true 的类型成为 A => Boolean或 Any => Boolean .由于 Function1在其输入参数中是逆变的，以下两个编译都很好:

def isDefined: Boolean = cata( (_: A) => true, false)    //#1
def isDefined: Boolean = cata( (_: Any) => true, false)  //#2

所以问题是，类型推断器是想出#1 还是#2？

Answer 1

我试过了:

trait MyOption[+A] {
   def cata[X](some: A => X, none: => X): X
   def isDefined: Boolean = cata( _ => true, false)
}

并用 scalac -Xprint:types 编译它.这给出了以下输出:

[[syntax trees at end of typer]]// Scala source: myoption.scala
package  {
  abstract trait MyOption[A >: Nothing : Nothing  X, none: => X): X;
    def isDefined: Boolean = MyOption.this.cata[Boolean](((x$1: A) => true), false)
  }
}

因此，从外观上看，类型推断器提出了选项 #1。