在Scala中,如果您创建一个类型类,例如代数结构Monoid[T]
,则可以为不同的类型(如monoid)提供许多默认的类型类实现。
假设一个monoid定义为:
trait Monoid[T] {
def op(x: T, y: T): T
def id: T
}
由于String
s在串联操作下形成一个monoid,因此我们可以为String
s提供一个默认的monoid,如下所示:
implicit object StringMonoid extends Monoid[String] {
override def op(a: String, b: String): String = a + b
override def id: String = ""
}
这很简单,因为String
它不是泛型类型。
我要问的是如何为Seq[T]
s提供默认的monoid,其中type参数使我无法像上面那样创建隐式对象。
我可以做:
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中,我可以为通用类型提供类型类实现吗?
您可以提供具有所需类型的隐式函数:
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
}
本文收集自互联网,转载请注明来源。
如有侵权,请联系[email protected] 删除。
我来说两句