用Scala语言中的 Option 对象来处理 null-like 返回值

David Pollak, 使用the lift framework将Scala应用于企业级web开发的先锋,在他最近的一篇Blog : The Scala Option class and how lift uses it.里强调了Scala的这个很有用的语言特征.

Pollak's 介绍Scala's Option class 的出发点是在Java平台上经常碰到的使用null来表达一个方法的成功执行结果,这样一种没有意义的返回值. 例如,为了说明一个具有特定名称的用户没有找到,于是就返回 null.

也许更可取的是抛出一个异常—但这个没有找到用户的事件很难达到使用异常的条件—Java里没有对应于null的类型和方法. 一个例子,那些可以接受null返回值的代码如果没有检查是否是null值,就会容易的导致一个NullPointerExceptions.

那些把null跟系统里类型同等对待的语言,例如Ruby,能够在null值上调用nil?,是应该受到赞赏的.

根据David Pollak Blog里介绍的,Scala's Option class在这个概念上走的更远.  .

 
def findUser(name: String): Option[User] = {
  val query = buildQuery(name)
  val resultSet = performQuery(query)
  val retVal = if (resultSet.next) Some(createUser(resultSet))
               else None
  resultSet.close
  retVal
}

Pollak 在他的lift framework里展示了如何使用Options进行简单的编码:

这就意味着你的代码应该象下面的样子:

def confirmDelete {
    (for (val id <- param("id"); // get the ID
          val user <- User.find(id)) // find the user                              
     yield {
         user.delete_!
         notice("User deleted")
         redirectTo("/simple/index.html")
       }) getOrElse {error("User not found"); redirectTo("/simple/index.html")}
   }

这里没有显式的防止/测试这个"id"参数是否被传入,也没有显式的测试这个用户是否被找到. 如果这个id没有提供,或者是系统中没有符合这个id的用户,"else"语句就会被执行. 你可以看到这些代码是完全的类型安全的(type-safe). 尽管这里没有显式的类型声明,编译器仍然知道每个对象的类型是什么.

What do you think of Scala's Option class?