为什么 Scala 在使用按名称参数重载的情况下的行为与使用按值参数重载的情况不同？

Question

给定以下 Scala 代码：

object test {

  def byval(a: Int) = println("Int")
  def byval(a: Long) = println("Long")

  def byname(a: => Int) = println("=> Int")
  def byname(a: => Long) = println("=> Long")

  def main(args: Array[String]) {
      byval(5)
      byname(5)
  }
}

调用 byval(5) 可以正确编译，但 byname 无法编译：

ambiguous reference to overloaded definition

为什么？我希望在重载方面观察到按值和按名称参数的相同行为……如何修复？

Answer 1

如果您不想使用不同的方法名称，则无需重载的可能解决方法（除了前面所说的之外）：

def byname[A](a: => A)(implicit manifest:Manifest[A]) = 
manifest.erasure match {
   case erasure if(erasure.isAssignableFrom(classOf[Long])) => println("=> Long")
   case erasure if(erasure.isAssignableFrom(classOf[Int])) => println("=> Int")
}

Answer 2

这是因为 JVM 不支持“按名称”参数，因此 Scala 必须以另一种方式实现它。 <代码> => X 实际上编译为 Function0[X]，它会擦除​​为 Function0[Object]，这使得 Scala 无法区分仅在以下方面有所不同的两个方法：按名称参数的预期类型。