Scala：如何将for-yield生成的Option元组转为元组形式的Option？

原Scala代码通过for-yield处理Option类型时，仅当所有Option均为Some时，才会返回包含计算元组的Option；只要有一个值为None，整个结果就会变成None，无法单独保留有效的计算结果：

object main {
  def main(args: Array[String]) = {
    val x: Option[Int] = Some(2)
    val y: Option[Int] = Some(3)
    val z: Option[Int] = Some(5)

    val result1 = for {
      x <- x
      y <- y
      z <- z
    } yield {
      (x + y, x + z, y + z)
    }

    println(result1) // 输出 Some((5,7,8))
  }
}

当把y设为None时，result1会变为None，但实际需求是要得到元素为Option的元组（比如(None, Some(7), None)），而非包含元组的Option，且希望避免依赖异常处理或繁琐的if判断逻辑。

方案1：独立推导每个组合 #

直接对每个需要计算的数值对，单独用for推导式生成对应的Option，让每个组合的有效性判断独立进行：

val x: Option[Int] = Some(2)
val y: Option[Int] = None
val z: Option[Int] = Some(5)

val result = (
  for { a <- x; b <- y } yield a + b,
  for { a <- x; b <- z } yield a + b,
  for { a <- y; b <- z } yield a + b
)

println(result) // 输出 (None,Some(7),None)

这种方式完全利用Option的Monad特性，无异常、代码直观，每个组合的逻辑清晰独立。

方案2：抽离辅助函数复用逻辑 #

如果需要计算的数值对较多，可以封装一个通用的辅助函数来简化代码：

def addOpt(a: Option[Int], b: Option[Int]): Option[Int] = 
  for { x <- a; y <- b } yield x + y

val x: Option[Int] = Some(2)
val y: Option[Int] = None
val z: Option[Int] = Some(5)

val result = (addOpt(x,y), addOpt(x,z), addOpt(y,z))

后续新增数值组合时，直接调用addOpt即可，复用性更强。

方案3：Applicative风格实现（Scala 2.13+） #

如果使用Scala 2.13及以上版本，可以通过自定义map2函数（或借助Cats等函数式库的Applicative实例），以更贴合函数式风格的方式实现：

// 自定义简单的map2函数，替代库依赖
def map2[A,B,C](a: Option[A], b: Option[B])(f: (A,B) => C): Option[C] =
  for { x <- a; y <- b } yield f(x,y)

val x: Option[Int] = Some(2)
val y: Option[Int] = None
val z: Option[Int] = Some(5)

val result = (map2(x,y)(_+_), map2(x,z)(_+_), map2(y,z)(_+_))

这种方式适合复杂场景下的多组合操作，扩展性更好。

内容的提问来源于stack exchange，提问作者Amaterasu