30

我希望能够对Scalaf: (T,T) => T中的值应用操作。Option[T]我希望结果是None如果两个值中的任何一个是None.

更具体地说，我想知道是否有更短的方法来执行以下操作：

def opt_apply[T](f: (T,T) => T, x: Option[T], y: Option[T]): Option[T] = {
  (x,y) match {
    case (Some(u),Some(v)) => Some(f(u,v))
    case _ => None
  }
}

我试过(x zip y) map {case (u,v) => f(u,v)}了，但结果Iterator[T]不是Option[T].

4

6 回答 6

34 
scala> val (x, y) = (Some(4), Some(9))
x: Some[Int] = Some(4)
y: Some[Int] = Some(9)

scala> def f(x: Int, y: Int) = Math.max(x, y)
f: (x: Int,y: Int)Int

scala> for { x0 <- x; y0 <- y } yield f(x0, y0)
res26: Option[Int] = Some(9)

scala> val x = None
x: None.type = None

scala> for { x0 <- x; y0 <- y } yield f(x0, y0)
res27: Option[Int] = None
于 2010-04-26T09:56:40.743 回答
19

@RahulG的答案利用了 monad 的事实Option（即使 Scala 库中没有类型来表示它）。编译器将for理解扩展为以下内容：

def a: Option[Int]
def b: Option[Int]
val calc: Option[Int] = a flatMap {aa => b map {bb => aa + bb}}

在 Scalaz 的帮助下，您还可以将其视为应用函子：

import scalaz._
import Scalaz._

def a: Option[Int]
def b: Option[Int]
val calc: Option[Int] = (a ⊛ b) {_ + _}

一个关键的区别在于，在单子计算中，计算失败（即None）a会使评估短路。在 applicative 风格中，a和b都被求值，如果都是Somes，则调用纯函数。您还可以看到，在单子计算中，该值aa可能已用于计算b；在应用版本中，b不能依赖a.

于 2010-04-26T11:33:03.777 回答
3

我有一个比retronym 稍旧的scalaz 版本，但以下对我来说是一个例子，并且可以推广到你有3 种类型而不仅仅是一种类型的情况：T, U, V

def main(args: Array[String]) {
  import scalaz._
  import Scalaz._

  val opt1 = some(4.0) //Option[Double]
  val opt2 = some(3)   //Option[Int]

  val f: (Double, Int) => String = (d, i) => "[%d and %.2f]".format(i, d)

  val res = (opt1 <|*|> opt2).map(f.tupled)
  println(res) //Some([3 and 4.00])
}

然后我可以添加：

val opt3 = none[Int]
val res2 = (opt1 <|*|> opt3).map(f.tupled)
println(res2) //None
于 2010-04-26T12:09:34.763 回答
1

开始Scala 2.13，Option#zip可以应用于另一个Option返回一个Option（在早期版本中，它会返回一个Iterable）；因此：

def optApply[T](f: (T,T) => T, a: Option[T], b: Option[T]): Option[T] =
  a.zip(b).map(f.tupled)

其中的行为zip是：

Some(2).zip(Some(3)) // Some((2, 3))
Some(2).zip(None)    // None
None.zip(Some(3))    // None
None.zip(None)       // None

并且可以这样应用：

optApply[Int]((a, b) => a max b, Some(2), Some(5)) // Some(5)
optApply[Int]((a, b) => a max b, Some(2), None)    // None
于 2019-02-08T21:26:44.190 回答
0

您可以使用理解：

def opt_apply[T](f: (T,T) => T, x: Option[T], y: Option[T]): Option[T] = 
     for (xp <- x; yp <- y) yield (f(xp,yp))

哪个是糖：

x flatMap {xp => y map {yp => f(xp, yp)}}

这也是可能的，因为 Option 是 Monad

于 2010-04-26T13:52:25.253 回答
0 
def optApply[A,B,C](f: (A, B) => C, a: Option[A], b: Option[B]): Option[C] =
  a.zip(b).headOption.map { tup => f.tupled(tup) }

a.zip(b)确实会导致 Iterable[(A, B)] （因为它来自选项，最多一个元素）。 headOption然后将第一个元素作为选项返回。

于 2017-11-08T16:49:10.973 回答