Scala 隐式与隐式参数

Question

我是 Scala 新手，当我查看不同的项目时，我看到了两种处理隐式参数的风格

scala]]>def sum[A](xs:List[A])(implicit m:Monoid[A]): A = xs.foldLeft(m.mzero)(m.mappend)
sum:[A](xs:List[A])(implicit m:Monoid[A])A

和

scala]]>def sum[A:Monoid](xs:List[A]): A ={
     val m = implicitly[Monoid[A]]
     xs.foldLeft(m.mzero)(m.mappend)
   }
sum:[A](xs:List[A])(implicit evidence$1:Monoid[A])A

根据这两个函数的类型，它们是匹配的。两者有区别吗？为什么要隐式使用隐式参数？在这个简单的例子中，感觉更加冗长。

当我在 REPL 中使用没有隐式的东西运行上述内容时，我收到以下错误

带有隐式参数

<console>:11: error: could not find implicit value for parameter m: Monoid[String]

和

隐式地和 a: Monoid

<console>:11: error: could not find implicit value for evidence parameter of type Monoid[String]

Answer 1

在某些情况下，隐式形式参数不直接用于将其作为参数的方法体中。相反，它只是变成了一个隐式 val，可以传递给另一个需要相同（或兼容）类型的隐式参数的方法。在这种情况下，没有明显的隐式参数列表很方便。

在其他情况下，上下文绑定表示法，它是显式隐式参数的严格语法糖，在美学上被认为是可取的，即使需要实际参数，因此必须使用implicitly 方法来获得它。最好的。

鉴于两者之间没有语义差异，因此选择是基于相当主观的标准。

随心所欲。最后请注意，从一个更改为另一个不会破坏任何代码，也不需要重新编译（尽管我不知道 SBT 是否具有足够的区别性，可以放弃重新编译可以看到更改定义的代码）。