scala – 惯用法替代`if(x)Some(y)else None`

发布时间：2020-12-16 18:53:34 所属栏目：安全来源：网络整理

导读：我发现在我的代码中反复弹出以下模式,我的直觉说必须有一些惯用的 Scala方法来更好地表达这个(Monadic或其他)： val someCollection: Seq[Thing] = ...val makeBlah: Seq[Thing] = Blah = ......if (someCollection.nonEmpty) Some(makeBlah(someCollection)

我发现在我的代码中反复弹出以下模式,我的直觉说必须有一些惯用的 Scala方法来更好地表达这个(Monadic或其他)：

val someCollection: Seq[Thing] = ...
val makeBlah: Seq[Thing] => Blah = ...
...
if (someCollection.nonEmpty) Some(makeBlah(someCollection)) else None

更具体地说,我正在寻找与使用Option [T]可以做的事情相符的事情：

val someOption: Option[Thing] = ...
val makeBlah: Thing => Blah = ...
...
val result: Option[Blah] = someOption.map(makeBlah)

…但是基于某些谓词的评估语义而不是地图中的Some / None模式匹配.

虽然上面的示例使用了一个集合 – 首先对它执行测试,然后可选地执行操作 – 但我并不是要暗示集合特定的用例.您可以想象一下将布尔值提升或强制转换为某些monad的情况：

val aThing: Thing = ...
val makeBlah: Thing => Blah = ...
val thingTest: Thing => Boolean ...
// theoretical
implicit def optionOnBoolean(b: Boolean): MonadOps[Option[Boolean]] = ... 
...
// NB: map could either have a Boolean parameter
//     that's always true,or be Unit.
//     Neither seem like good design 
val result: Option[Blah] = thingTest(aThing).map(makeBlah(aThing))

直观地说,这对我来说似乎是一个坏主意,因为它明确地分割了数据流,因为你没有任何东西可以通过地图传递.

当寻找具有“monadic-like”行为而没有闭包来捕获数据的一般方法时,必须回答要传递给映射的内容以及它与谓词的连接的问题.这是我想到的构造类型：

val thing: Thing = ....
val makeBlah: Thing => Blah = ...
val thingTest: (Thing) => Boolean = ...
val result: Option[Blah] = WhenOption(thing,thingTest).map(makeBlah)

我的问题：Scala中是否存在某些东西,或者是否必须冒险去Scalaz才能获得这种构造？

或者是否有一些习惯/惯用Scala的其他方法？

编辑：我的问题接近Scala – “if(true) Some(1)” without having to type “else None”但我希望解决在没有关闭的情况下实现它的问题.

解决方法

FWIW,我做同样的事情你建议：

implicit class RichBoolean(val b: Boolean) extends AnyVal {
  def map[T](f: => T): Option[T] = if (b) Some(f) else None
  def flatMap[T](f: => Option[T]): Option[T] = if (b) f else None   
}

“地图”在这里感觉不对,但我想不出更好的东西.我非常喜欢这种结构,它可以帮助您在对数据进行连续几次操作时保持“流量”.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!