7

让我们看看下面的代码：

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并且它被转换为Fooby 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在这种情况下，只有最后一条语句被视为按名称调用的参数。我无法理解这种差异背后存在什么样的理由。

4

1 回答 1

1

我认为 Scala 规范对于如何在这里应用隐式视图是模棱两可的。换句话说，该声明的以下两种解释都符合规范：

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

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

于 2015-07-08T15:16:59.757 回答