Question

从this link，我了解以下代码：

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> implicit val intMonoid = IntMonoid
intMonoid: IntMonoid.type = IntMonoid$@3387dfac

scala> sum(List(1, 2, 3, 4))
res9: Int = 10

但我不明白以下代码：

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

scala> sum(List(1, 2, 3, 4))
res10: Int = 10

如果我们考虑List(1, 2, 3, 4)，A是Int。

那么我们怎样才能在A中Monoid A Int def sum[A: Monoid](xs: List[A]): A = {和{{1}}？

谢谢

Answer 1

语法A : X被称为“上下文绑定”，它等同于接收类型为X[A]的隐式参数。也就是说，以下两个声明是相同的：

def sum[A: Monoid](xs: List[A]): A
def sum[A](xs: List[A])(implicit $ev0: Monoid[A]): A

但是，使用上下文边界时隐式参数的名称不可用，因此如果需要直接使用它，则需要“检索”它。一种方法是使用implicitly方法，如下所示：

val m = implicitly[Monoid[A]]

以下是implicitly：

的定义

def implicitly[T](implicit v: T): T = v

无论如何，您展示的两个定义几乎相同。如果您理解第一个，只要知道第二个是相同的，但用不同的语法编写。

关于上下文边界的最后一点注意事项：使用上下文绑定语法之后使用implicitly来获取参数的名称可能看起来很愚蠢。但是如果你只需要隐式参数作为隐式传递给其他方法 - 因此，不需要知道名称 - 它会使声明更加整洁。

Ad-hoc多态 - 类型类

1 个答案: