Option类型
Scala 为可选值定义了一个Option的标准类型。这种类型只有两种形式。一种是用样例子类Some包装起来的——Some(x)形式,其中x是实际值,另一种是样例对象None,代表缺省的值或者说没有值。
Option支持泛型
-
Scala集合类的某些标准操作会产生可选值。比如Map类的get方法返回一个Option,如果对于给定的键有对应的值,就会把值包装到Some中返回,否则就返回None
scala> val map = Map("id" -> 1234, "name" -> "steven", "gender" -> "male", "age" -> 18) map: scala.collection.immutable.Map[String,Any] = Map(id -> 1234, name -> steven, gender -> male, age -> 18) scala> map get "id" res2: Option[Any] = Some(1234) scala> map get "phone" res3: Option[Any] = None
-
通常使用模式匹配分离可选值
def display(arg: Option[Any]) = arg match { case Some(attr) => attr case None => "???" } display: (arg: Option[Any])Any scala> display(map get "id") res6: Any = 1234 scala> display(map get "phone") res8: Any = ???
-
可以把Option当作一个要么为空,要么是只有一个元素的集合。map,foreach,filter等方法都可以直接使用
scala> map get "id" foreach println _ 1234 // 如果是None,就什么也不做 scala> map get "phone" foreach println _
总结:
Option类型在Scala中经常用到。与之相较,在Java中最常用的是代表没有值的null。例如java.util.HashMap的get方法要么返回储存参HashMap中的值,要么返回null。这种方式对Java起效,不过可能会隐藏错误,因为很难在实际记住程序中那个变量可以为null。如果变量允许为null,那么在每次使用时都必须检查是否为null。一旦忘记检查,就很难避免运行时发生的NullPointerException异常。又因为这种异常不是经常发生,所以想要通过测试发现是很困难的。对于Scala来说,这种方式根本不起作用,因为可以在哈希映射中存储值类型,而null不是值类型的合法元素。也就是说,HashMap[Int, Int] 不能返回null来表明没有元素。
Scala鼓励对Option的使用说明值是可选的。这种处理可选值的方式有若干超越Java的优点。首先,对于代码读者来说,Option[String] 类型的变量是可选的String,这比String类型的变量或可能有时是null来说要更为明显。但最重要的是,之前描述的因为使用可能为null而没有首先检查是否为null的变量产生的编程错误在Scala中就变成了类型错误。如果变量是Option[String]类型,而你把它当作String类型使用,是无法通过编译的。