相当简单的 Scalaz 解决方案(不是很通用)
您可以使用半组实例来包装许多细节:
import scalaz._, Scalaz._
case class Foo(a: Option[String], b: Option[String], c: Option[String])
implicit object fooSemigroup extends Semigroup[Foo] {
def fromFoo(f: Foo) = (f.a.fst, f.b.fst, f.c.fst)
def toFoo(t: (FirstOption[String], FirstOption[String], FirstOption[String])) =
Foo(t._1.value, t._2.value, t._3.value)
def append(x: Foo, y: => Foo) = toFoo(fromFoo(x) |+| fromFoo(y))
}
这给了我们:
scala> val a = Foo(Some("foo"), Some("bar"), Some("baz"))
a: Foo = Foo(Some(foo),Some(bar),Some(baz))
scala> val b = Foo(None, Some("etch"), None)
b: Foo = Foo(None,Some(etch),None)
scala> b |+| a
res11: Foo = Foo(Some(foo),Some(etch),Some(baz))
我认为这就是你想要的,尽管它不是很普遍。
Scalaz + Shapeless 解决方案
如果您想要适用于所有案例类的东西(给定成员的适当类型类实例),您可以使用以下组合无形的 https://github.com/milessabin/shapeless/和斯卡拉兹。请注意,我正在绘制缺失因素的答案 https://stackoverflow.com/a/11446109/334519 and 这个例子 https://github.com/milessabin/shapeless/blob/master/examples/src/main/scala/shapeless/examples/monoids.scala作者:迈尔斯·萨宾。首先对于一些幺半群实例:
import scalaz._, Scalaz._
import shapeless._, HList._
implicit object hnilMonoid extends Monoid[HNil] {
val zero = HNil
def append(a: HNil, b: => HNil) = HNil
}
implicit def hlistMonoid[H, T <: HList](
implicit mh: Monoid[H],
mt: Monoid[T]
): Monoid[H :: T] = new Monoid[H :: T] {
val zero = mh.zero :: mt.zero
def append(a: H :: T, b: => H :: T) =
(a.head |+| b.head) :: (a.tail |+| b.tail)
}
implicit def caseClassMonoid[C, L <: HList](
implicit iso: Iso[C, L],
ml: Monoid[L]
) = new Monoid[C] {
val zero = iso.from(ml.zero)
def append(a: C, b: => C) = iso.from(iso.to(a) |+| iso.to(b))
}
接下来,为了简单起见,我将把“第一个”幺半群实例放在Option
在范围内,而不是使用FirstOption
包装就像我上面做的那样。
implicit def optionFirstMonoid[A] = new Monoid[Option[A]] {
val zero = None
def append(a: Option[A], b: => Option[A]) = a orElse b
}
现在我们的案例类:
case class Foo(a: Option[String], b: Option[String], c: Option[String])
And the Iso
实例将其转换为HList
然后回来:
implicit def fooIso = Iso.hlist(Foo.apply _, Foo.unapply _)
我们就完成了:
scala> val a = Foo(Some("foo"), Some("bar"), Some("baz"))
a: Foo = Foo(Some(foo),Some(bar),Some(baz))
scala> val b = Foo(None, Some("etch"), None)
b: Foo = Foo(None,Some(etch),None)
scala> b |+| a
res0: Foo = Foo(Some(foo),Some(etch),Some(baz))
您也可以在这里使用半群而不是幺半群并节省几行,但我试图摆脱尽可能多的复制和粘贴shapeless/examples
尽可能编写代码,所以我将其作为练习。
表现
为了解决您对性能的评论,这是后一种解决方案与使用标准库解决方案的完全不科学的基准orElse
(Scala 2.9.2、IcedTea7 2.2.1):
def add(x: Foo, y: Foo) = Foo(x.a orElse y.a, x.b orElse y.b, x.c orElse y.c)
def ros = if (util.Random.nextBoolean)
Some(util.Random.nextString(util.Random.nextInt(10))) else None
val foos = Seq.fill(500000)(Foo(ros, ros, ros))
def time(block: => Unit) = {
val start = System.currentTimeMillis
(block, System.currentTimeMillis - start)
}
然后每个运行几十次后:
scala> Iterator.fill(10)(time(foos.reduce(add(_, _)))._2).sum / 10
res4: Long = 49
scala> Iterator.fill(10)(time(foos.reduce(_ |+| _))._2).sum / 10
res5: Long = 265
有点令人惊讶的是,Shapeless-less Scalaz 解决方案有点慢:
scala> Iterator.fill(10)(time(foos.reduce(_.|+|(_)(fooSemigroup)))._2).sum / 10
res6: Long = 311
但正如我所说,这是一种非常即兴的基准测试方法,您应该运行自己的(Caliper http://code.google.com/p/caliper/是一个很棒的库)。
无论如何,是的,您为抽象付出了代价,但不是那么多,而且通常是值得的。