scala - 在 scala 中使用两个隐式定义变量

Question

我在 twitter 上看到了 scalaLang 的一篇有趣的帖子。此代码在哪里编译和工作

class A(implicit implicit val b: Int) 

val objA = new A()(42)

有人可以解释一下它是如何工作的吗？我阅读了implicits的文档，但没有找到这样的案例。请解释一下这里发生了什么。

任何帮助表示赞赏！

score 3 · Accepted Answer

经过一番挖掘，我确认了@Alexey Romanov 所说的话。考虑以下示例：

case class A(implicit implicit val a: Int)

def foo(x: Int)(implicit y: Int): Int = x * y

我们可以这样使用它：

implicit val m: Int = 2
val myA = A()

以及以下应用程序：

val myAA = A()(2)
val n = myAA.a 
foo(3)

现在，foo(3)显然会产生 6，因为它是n隐式的。如果我们将类更改为

case class A(implicit val a: Int)

它不会改变foo. 因此，我们得出了相同的结论，@Alexey - firstimplicit表明构造函数参数可以隐式传递；而第二个定义了隐含值——即使在这种情况下，它们也做同样的事情。

score 2 · Accepted Answer

您可以implicit在类或方法的最后一个参数列表之前，也可以在类或特征的任何成员之前。这只是结合了两者，这可能是合法的，因为禁止它会使语言规范和解析器稍微复杂一些，而没有真正的好处。我认为没有任何理由使用它或与编写implicit一次有任何区别。

2 回答 2