Scala case 语句 与偏函数

Scala通过case语句提供了形式简单、功能强大的模式匹配功能。但是也许你不知道，Scala还具有一个与case语句相关的语言特性，
 那就是：在Scala中， 被“{}”包含的一系列case语句可以被看成是一个函数字面量，它可以被用在任何普通的函数字面量适用的地方，例如被当做参数传递。

 

什么是偏函数？它与Case语句有什么关系？ 

在Scala中，偏函数是具有类型PartialFunction[-A,+B]的一种函数。A是其接受的函数类型，B是其返回的结果类型。偏函数最大的特点就是它只接受和处理其参数定义域的一个子集，而对于这个子集之外的参数则抛出运行时异常。这与Case语句的特性非常契合，因为我们在使用case语句是，常常是匹配一组具体的模式，最后用“_”来代表剩余的模式。如果一一组case语句没有涵盖所有的情况，那么这组case语句就可以被看做是一个偏函数。 

 

//实际上，scala编译器把函数字面量： 

{  case List(x::y::_) => y  } 





//编译成了如下的等价形式： 

new PartialFunction[List[Int], Int] {  

    def apply(xs: List[Int]) = xs match {  
        case x :: y :: _ => y  
    }  

    def isDefinedAt(xs: List[Int]) = xs match {  
        case x :: y :: _ => true  
        case _ => false  
    }  

}  

 

val partialFunction :PartialFunction[List[Int], Int]= {

    case x :: y :: _ => y

    case x :: _ => x

}


//编译为如下:

val partialFunction = new PartialFunction[List[Int], Int] {

   def apply(xs: List[Int]) = xs match {
     case x :: y :: _ => y
     case x ::  _ => x
   }

   def isDefinedAt(xs: List[Int]) = xs match {
     case x :: y :: _ => true
     case x ::  _ => true
     case _ => false
   }
}