Scala for推导式转换

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 操作，确保符合之前的模式匹配，在进行相应的操作。