Scala for推导式转换

最新推荐文章于 2025-01-23 08:22:25 发布

nyzzht123

最新推荐文章于 2025-01-23 08:22:25 发布

阅读量455

点赞数

CC 4.0 BY-SA版权

分类专栏： Scala 文章标签： scala

本文链接：https://blog.youkuaiyun.com/nyzzht123/article/details/53207098

Scala 专栏收录该内容

1 篇文章

订阅专栏

本文解析了Scala中Option类的withFilter方法的工作原理及其在for表达式中的应用。通过具体的代码示例，详细介绍了如何利用withFilter进行模式匹配，确保在后续的操作如map或flatMap中只处理符合特定条件的数据。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

for推导式的转化

//对于语句
pat <- expr
//转换为
pat <- expr withFilter {
     case pat => true //注意到这里为，模式匹配
     case _   => false
}

以Option类为例

//仅展示了与withFilter相关的部分代码
sealed abstract class Option[+T] { self => //为Option实例的一个别名，在WithFilter中使用
...
final def withFilter(p: A => Boolean): WithFilter = new WithFilter(p)

class WithFilter(p: A => Boolean) {
def map[B](f: A => B): Option[B] = self filter p map f //
def flatMap[B](f: A => Option[B]): Option[B] = self filter p flatMap f
def foreach[U](f: A => U): Unit = self filter p foreach f
def withFilter(q: A => Boolean): WithFilter =
      new WithFilter(x => p(x) && q(x))
 }
}

从代码中可以看出，withFilter方法接受一个P:A=>Boolean的函数(在for表达式的转化中，该函数就是模式匹配)作为参数，同时将该参数传给WithFilter对象，并返回。在后续的对map，flatMap的调用中，都会先进行一个filter 操作，确保符合之前的模式匹配，在进行相应的操作。