5

我正在尝试将两个组合Option[Iterable[_]]成一个新的Option[Iterable[_]]. 如果其中一个(或两个)元素是 Some ,我想返回 Some ,否则返回 None 。似乎应该有一种惯用的方式来做到这一点,但我似乎找不到。以下似乎可以满足我的要求,但并不是我希望的完美解决方案。

def merge(
    i1: Option[Iterable[_]], i2: Option[Iterable[_]]
): Option[Iterable[_]] = (i1, i2) match {
   case (Some(as), Some(bs)) => Some(as ++ bs)
   case (a @ Some(as), None) => a
   case (None, b @ Some(bs)) => b
   case _ => None
}

任何提示表示赞赏。谢谢!

4

3 回答 3

12

如果你愿意忍受一些抽象代数,这里有一个很好的概括:Iterable[_]是一个连接下的半群,其中一个幺半群只是一组事物(在这种情况下是可迭代的集合)和一个类似加法的操作 (连接)具有一些简单的属性和一个标识元素(空集合)。

类似地,如果A是一个幺半群,那么Option[A]在你的稍微更一般的版本下也是一个幺半群merge

Some(xs) + Some(ys) == Some(xs + ys)
Some(xs) + None     == Some(xs)
None     + Some(ys) == Some(ys)
None     + None     == None

(请注意,我们需要一个幺半群的事实A来知道在第一行要做什么。)

Scalaz在其类型类中捕获了所有这些泛化Monoid,它允许您merge这样编写:

import scalaz._, Scalaz._

def merge(i1: Option[Iterable[_]], i2: Option[Iterable[_]]) = i1 |+| i2

哪个按预期工作:

scala> merge(Some(1 to 5), None)
res0: Option[Iterable[_]] = Some(Range(1, 2, 3, 4, 5))

scala> merge(Some(1 to 5), Some(4 :: 3 :: 2 :: 1 :: Nil))
res1: Option[Iterable[_]] = Some(Vector(1, 2, 3, 4, 5, 4, 3, 2, 1))

scala> merge(None, None)
res2: Option[Iterable[_]] = None

(请注意,还有其他操作可以为and提供有效Monoid实例,但您的操作是最常用的,也是 Scalaz 默认提供的操作。)IterableOption

于 2012-08-05T23:37:17.170 回答
3

这有效:

def merge(i1: Option[Iterable[_]], i2: Option[Iterable[_]]): Option[Iterable[_]] =
  (for (a <- i1; b <- i2) yield a ++ b).orElse(i1).orElse(i2)

for/yield部分将添加选项的内容当且仅当两者都是Some

如果需要,您还可以删除一些点和括号:

  (for (a <- i1; b <- i2) yield a ++ b) orElse i1 orElse i2
于 2012-08-05T22:48:04.607 回答
1

您可以将其用于任意数量:

def merge(xs: Option[Iterable[_]]*) = 
  if (xs.forall(_.isEmpty)) None else Some(xs.flatten.flatten)
于 2012-08-06T02:04:04.990 回答