scala - 如何在 Scala 中为泛型类型提供默认类型类？

Question

在 Scala 中，如果您创建一个类型类，请说代数结构 Monoid[T] ，您可以为作为幺半群的不同类型提供许多默认类型类实现。

假设一个幺半群被定义为:

trait Monoid[T] {
  def op(x: T, y: T): T
  def id: T
}

自 String s在串联操作下形成幺半群，我们可以为String提供一个默认的幺半群。像这样:

implicit object StringMonoid extends Monoid[String] {
  override def op(a: String, b: String): String = a + b
  override def id: String = ""
}

这相当容易，因为 String不是泛型类型。

我要的是如何为 Seq[T] 提供默认的幺半群s ，其中类型参数阻止我像上面那样创建隐式对象。

我可以:

class SeqMonoid[T] extends Monoid[Seq[T]] {
  override def op(a: Seq[T], b: Seq[T]): Seq[T] = a ++ b
  override def id: Seq[T] = Nil
}
implicit object intSeqMonoid extends SeqMonoid[Int]
implicit object doubleSeqMonoid extends SeqMonoid[Double]
implicit object stringSeqMonoid extends SeqMonoid[String]
...

但是这种方法没有利用泛型类型的优点。

所以，总的来说，我的问题是:在 Scala 中有什么方法可以提供 泛型类型的类型类实现 ?

Answer 1

您可以提供具有所需类型的隐式函数:

implicit def SeqMonoid[T]: Monoid[Seq[T]] = new Monoid[Seq[T]] {
  override def op(a: Seq[T], b: Seq[T]): Seq[T] = a ++ b
  override def id: Seq[T] = Nil
}