Scala 对按名称调用参数的隐式转换的工作方式因函数是否重载而异

Question

让我们看看下面的代码:

import scala.language.implicitConversions
class Foo
implicit def int2Foo(a: => Int): Foo = new Foo
def bar(foo: Foo) = {}
def bar(foo: Boolean) = {}
bar {
  println("Hello")
  64
}

此代码不打印任何内容，因为该块包含 println("Hello")视为 => Int并转换为 Foo来自 int2Foo .但是如果我们省略重载函数bar(foo: Boolean)，就会发生令人惊讶的事情。

import scala.language.implicitConversions
class Foo
implicit def int2Foo(a: => Int): Foo = new Foo
def bar(foo: Foo) = {}
bar {
  println("Hello")
  64
}

这打印 Hello因为它计算块，而且只计算最后一条语句，64在这种情况下， 被视为按名称调用参数。我无法理解这种差异背后存在什么样的理由。

Answer 1

我认为 Scala 规范对于如何在此处应用隐式 View 是模棱两可的。换句话说，声明的以下两种解释都符合规范:

bar { println("Hello"); int2Foo(64) }
bar { int2Foo({ println("Hello"); 64 }) }

当然，不相关的重载影响这种行为是非常违反直觉的。在我看来，这种行为虽然模棱两可，但至少应该是一致的。这必须是重载解析、按名称参数和隐式 View 之间编译器交互的实现细节。我已提交 SI-9386来解决这个问题。