scala - Scala - 隐式方法参数不起作用

Question

我编译以下代码

def foo(implicit x: Int, x2: Int) = println(x2 + x)
implicit val x : Int = 2
foo(1)

但是编译器抱怨参数的数量。如果只有参数标记为隐式，为什么上面的方法会起作用x，但在这个例子中不起作用？

Answer 1

你必须把隐含的参数是一个单独的，它自己的括号：

scala> def foo(x2: Int)(implicit x: Int) = println(x2 + x)
scala> implicit val x: Int 2
scala> foo(1)
3

如果将非隐式参数和隐式参数放在同一个括号中，则必须显式传递两个参数，否则编译器会抱怨参数数量错误。当 Scala 编译器看到参数被标记为隐式并且没有显式传递参数时，它会尝试查找隐式参数。但是编译器会在检查隐式之前检查是否传递了正确数量的参数。

Answer 2

这将按您的意愿工作：

def foo(x2: Int)(implicit x: Int) = println(x2 + x)
implicit val x : Int = 2
foo(1)

我对 Scala 内部结构和规范不是太深入，所以我无法深入解释为什么会这样，但你必须用一组额外的括号传递隐含。

编辑：因为我很好奇，所以我浏览了互联网。我不会重新输入我刚刚找到的所有内容，因此您可以在此处找到更详细的信息：http: //daily-scala.blogspot.de/2010/04/implicit-parameters.html

Answer 3

隐式参数是全有或全无。要么显式传递所有这些，要么不传递任何一个，编译器为所有选择隐式。

在示例中，您应该将参数传递给foo，因此您必须传递所有内容。如果你只有一个参数foo，它会起作用，因为参数的数量是正确的（并且参数将被显式传递）。如果您在foo没有传递任何参数的情况下调用，它也会起作用，因为它会implicit val x为两个参数选择。