对call-by-name参数的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
}

此代码不会打印任何内容，因为该块包含被视为=> Int println("Hello")并且它被int2Foo转换为Foo 。 但是如果我们省略重载的函数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规范在如何应用隐式视图方面不明确。 换句话说，该陈述的以下两种解释都符合规范：

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

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